Маркеры в IDE Eclipse

Маркеры, созданные с помощью 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, которые были добавлены. Панель неполадок в настоящее время сгруппирована по серьезности.