Merktekens in de Eclipse IDE

Merktekens die zijn gemaakt met behulp van de ondersteuning voor org.eclipse.core.resources.markers kunnen in de gebruikersinterface worden afgebeeld met behulp van de extensiepunten org.eclipse.ui.ide.markerHelp, org.eclipse.ui.ide.markerResolution en org.eclipse.ui.ide.markerSupport. De API org.eclipse.ui.ide.markerImageProvider is met ingang van release 3.2 een interne API.

org.eclipse.ui.ide.markerHelp

org.eclipse.ui.ide.markerHelp is het extensiepunt dat u in staat stelt een Help-context te koppelen aan uw merktekentype.

org.eclipse.ui.ide.markerResolution

org.eclipse.ui.ide.markerResolution is het extensiepunt dat u in staat stelt snelfixes te leveren voor merktekens. De Java-editor en de view Problemen zijn twee locaties waar u deze momenteel kunt toepassen. Met dit extensiepunt kan de pluginontwikkelaar de IMarkerResolutionGenerator opgeven waarmee de mogelijke oplossingen voor een merkteken kunnen worden bepaald.

Vanaf release 3.2 ondersteunt de view Problemen verschillende oplossingen en kan de gebruiker andere vergelijkbare problemen toevoegen aan de lijst met problemen zodat de geselecteerde fix tegelijkertijd op alle problemen kan worden toegepast. Als IMarkerResolutions instances zijn van de WorkbenchMarkerResolution kunnen gebruikers andere vergelijkbare WorkbenchMarkerResolutions toevoegen in het dialoogvenster Snelfix.

Venster Snelfixes met twee ontbrekende externaliseringen

org.eclipse.ui.ide.markerSupport

org.eclipse.ui.ide.markerSupport is de extensie voor het opgeven van de wijze waarop merktekens worden afgebeeld in de view Problemen. Met dit extensiepunt worden filters en groepering afgehandeld.

Filters

Vanaf Eclipse 3.2 worden door de view Problemen meerdere filters afgehandeld. Onthoud dat deze filters hun resultaten optellen in plaats van hun union vinden. Nieuwe filters kunnen worden toegevoegd met behulp van het extensie-element problemFilter of handmatig door de gebruiker. Hieronder ziet u het filtersgedeelte van de view Problemen waarin gebruikerfilters en filters die zijn toegevoegd via het extensiepunt (systeemfilters) worden afgebeeld.

Gegroepeerd

Merktekens kunnen op twee manieren worden gegroepeerd. De eerste manier is om merktekentypen te groeperen met behulp van de extensie markerTypeCategory. Dit wordt afgebeeld als de gebruiker klikt op Groeperen op - > Type. Hieronder ziet u een voorbeeld van Java-problemen waarvan sommige een testgroepering gebruiken.

Als merktekentypen worden gegroepeerd dan worden deze in die groepen afgebeeld in het dialoogvenster voor filters.

Het is ook mogelijk om uw eigen groepering te maken met behulp van de extensie markerGrouping dat als een extra item wordt afgebeeld in het menu van Groeperen op van de view Problemen. De IDE biedt een groepering die gebaseerd is op de severity (de standaardwaarde). JDT biedt ook een Java-typegroepering in de SDK.

markerGroupings worden opgelost door het controleren van kenmerken op de IMarker. markerAttributeMappings worden gebruikt om deze toewijzingen op te geven. Hieronder ziet u het menu Groeperen op met de extra markerGroupings die zijn toegevoegd. De view Problemen is momenteel gegroepeerd op severity.