Добавление исправления для маркера

Модули могут также задавать исправления для маркеров, чтобы маркеры неполадок могли работать с функцией Быстрое исправление. Пользователи могут указать маркер неполадки и выбрать пункт Быстрое исправление в всплывающем меню, содержащий список исправлений, добавленных для маркера.

Меню быстрого исправления маркера

Исправления для маркера добавляются с помощью точки расширения org.eclipse.ui.ide.markerResolution. Эта точка расширения позволяет модулям связывать класс, реализующий IMarkerResolutionGenerator, с определенным типом маркеров.   Маркер может быть определен только по типу маркера или также и по значению одного их его атрибутов. JDT добавляет исправления для маркера для неполадок Java:

<extension
	point="org.eclipse.ui.ide.markerResolution">
	<markerResolutionGenerator
		markerType="org.eclipse.jdt.core.problem"
		class="org.eclipse.jdt.internal.ui.text.correction.CorrectionMarkerResolutionGenerator">
	</markerResolutionGenerator>
</extension>

Генератор исправления для маркера отвечает за возврат массива исправлений маркера (IMarkerResolution), которые будут показаны в всплывающем меню Быстрое исправление. Исправление будет выполнено, если пользователь выберет одно из исправлений.

Исправления маркера