Markeerfixes toevoegen

Door plugins kunnen ook markeringsoplossingen worden gedefinieerd, zodat probleemmarkeringen ook samen met snelfixes kunnen worden gebruikt. U kunt een markering selecteren en daarna een snelfix kiezen uit een voorgrondmenu met een lijst van mogelijke fixes.

Snelfixmenu van markering

U kunt markeringsoplossingen toevoegen met het extensiepunt org.eclipse.ui.ide.markerResolution. Met dit extensiepunt kan door plugins een klasse worden gekoppeld die IMarkerResolutionGenerator met een bepaald markeringstype implementeert. De markering kan alleen op het type worden gekwalificeerd of anders verder worden gekwalificeerd met de waarde van een of meer kenmerken. JDT biedt markeerfixes voor Java-problemen:

    <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>

De generator van markeerfixes zorgt ervoor dat een array met markeerfixes (IMarkerResolution) word t afgebeeld in het menu met snelfixen. Zodra een fix wordt geselecteerd, wordt deze uitgevoerd (run()).

Markeerfixes