Модули могут также задавать исправления для маркеров, чтобы маркеры неполадок могли работать с функцией Быстрое исправление. Пользователи могут указать маркер неполадки и выбрать пункт Быстрое исправление в всплывающем меню, содержащий список исправлений, добавленных для маркера.
Исправления для маркера добавляются с помощью точки расширения 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), которые будут показаны в всплывающем меню Быстрое исправление. Исправление будет выполнено, если пользователь выберет одно из исправлений.