Merker i Eclipse IDE

Merker som opprettes ved hjelp av støtten for org.eclipse.core.resources.markers, kan vises i brukergrensesnittet med utvidelsespunktet org.eclipse.ui.ide.markerHelp, org.eclipse.ui.ide.markerResolution og org.eclipse.ui.ide.markerSupport. APIen org.eclipse.ui.ide.markerImageProvider er intern i utgave 3.2.

org.eclipse.ui.ide.markerHelp

org.eclipse.ui.ide.markerHelp er utvidelsespunktet som gjør det mulig å knytte en hjelpekontekst til merketypen.

org.eclipse.ui.ide.markerResolution

org.eclipse.ui.ide.markerResolution er utvidelsespunktet som gjør det mulig å levere hurtigrettelser for merker. Java-redigeringsprogrammet og Problemer-visningen er to steder der dette kan brukes nå. Med dette utvidelsespunktet kan plugin-utviklerne oppgi en IMarkerResolutionGenerator som kan fastsette de mulige løsningene for et merke.

Fra utgave 3.2 støtter Problemer-visningen flere løsninger som gjør det mulig for brukeren å legge til andre tilsvarende problemer på listen over problemer som skal rettes, og så ta i bruk den valgte rettelsen for alle problemene på en gang. Hvis IMarkerResolutions er forekomster av WorkbenchMarkerResolution, kan brukere legge til andre tilsvarende WorkbenchMarkerResolutions i dialogboksen Hurtigrettelse.

Dialogboksen Hurtigrettelse med to manglende eksternaliseringer

org.eclipse.ui.ide.markerSupport

org.eclipse.ui.ide.markerSupport er utvidelsen for å oppgi hvordan merker vises i Problemer-visningen. Dette utvidelsespunktet håndterer filtre og gruppering.

Filtre

Fra Eclipse 3.2 håndterer Problemer-visningen flere filtre. Vær oppmerksom på at disse filtrene summerer resultatene i stedet for å finne unionen. Nye filtre kan legges til ved hjelp av problemFilter-utvidelseselementet eller manuelt av brukeren. Nedenfor er filterseksjonen i Problemer-visningen, som viser brukerfiltre og filtre lagt til via utvidelsespunktet (systemfiltre).

Gruppering

Merker kan grupperes på to måter. Den første er å gruppere merketyper i grupper ved hjelp av utvidelsen markerTypeCategory. Dette blir vist når brukeren velger Grupper etter - > Type. Nedenfor er et eksempel som viser Java-problemer, og noen som bruker en testgruppering.

Når merketyper grupperes sammen, vil de bli vist i disse grupperingene i filterkatalogen.

Du kan også opprette din egen gruppering ved hjelp av markerGrouping-utvidelsen, som vises som en ekstra oppføring i Grupper etter->Meny i Problemer-visningen. IDE har en gruppering basert på alvorsgrad (standard). JDT har dessuten en Java-type-gruppering i SDK.

markerGroupings tolkes ved kontroll av attributter på IMarker. markerAttributeMappings brukes for å spesifisere disse tilordningene. Nedenfor er Grupper etter-menyen med den ekstra markerGroupings som er lagt til. Problemer-visningen er gruppert etter alvorsgrad.