Маркеры, созданные с помощью org.eclipse.core.resources.markers, могут быть показаны в интерфейсе с помощью точек расширения org.eclipse.ui.ide.markerHelp, org.eclipse.ui.ide.markerResolution и org.eclipse.ui.ide.markerSupport. API org.eclipse.ui.ide.markerImageProvider принадлежит выпуску 3.2.
org.eclipse.ui.ide.markerHelp
org.eclipse.ui.ide.markerHelp
- это точка расширения,
которая позволяет связывать контекст справки с определенным типом маркера.
org.eclipse.ui.ide.markerResolution
org.eclipse.ui.ide.markerResolution
- это точка
расширения, которая позволяет добавлять Быстрые исправления для маркеров.
В данный момент это можно сделать в Редакторе Java и Панели неполадок. Эта
точка расширения позволяет разработчику модуля указать
IMarkerResolutionGenerator
, в котором могут быть определены
возможные интерпретации маркера.
В выпуске 3.2 Панель неполадок поддерживает множественные
интерпретации, что позволяет пользователю добавлять другие неполадки к
списку неполадок, чтобы их можно было исправить за одну операцию, применив
исправление ко всем сразу. Если
IMarkerResolutions
- это экземпляры
WorkbenchMarkerResolution,
пользователи могут добавлять другие соответствия
WorkbenchMarkerResolutions
в окне диалога Быстрое
исправление.
Окно диалога Быстрое исправление с двумя отсутствующими службами экспорта
org.eclipse.ui.ide.markerSupport
org.eclipse.ui.ide.markerSupport
- это расширение для
указания способа отображения маркеров на Панели неполадок. Эта точка
расширения управляет фильтрами и группировкой.
Фильтры
В Eclipse 3.2 Панель неполадок управляет несколькими фильтрами. Заметьте, что результаты применения этих фильтров объединяются, а не наоборот - применяется объединение фильтров. Новые фильтры можно добавить с помощью элемента расширения problemFilter или вручную. Ниже показан раздел фильтров Панели неполадок, в котором содержатся пользовательские фильтры и фильтры, добавленные посредством точки расширения (системные фильтры).
Группировка
Маркеры можно сгруппировать двумя способами. Первый способ состоит в
том, чтобы сгруппировать типы маркеров с помощью расширения
markerTypeCategory
. Здесь показан случай, когда пользователь
выбрал Сгруппировать по - > Типу. Ниже приведен пример, показывающий
Неполадки Java и использование группировки.
Когда типы маркеров сгруппированы вместе, они показываются в этих группах в окне диалога фильтров.
Можно также создать собственную группу с помощью расширения
markerGrouping
, которое показывает дополнительную запись в
меню Сгруппировать по -> на Панели неполадок. IDE предоставляет
группировку на основе серьезности (по умолчанию). JDT предоставляет
группировку по Типу Java, как в SDK.
markerGroupings
обрабатываются с помощью проверки
атрибутов в
IMarker.
markerAttributeMappings
используются для указания этих
соответствий. Ниже показано меню Сгруппировать по с дополнительными
markerGroupings
, которые были добавлены. Панель неполадок в
настоящее время сгруппирована по серьезности.