Markeringer i Eclipse IDE

Markeringer, der er oprettet vha. org.eclipse.core.resources.markers-understøttelsen, kan vises på brugergrænseflade vha. udvidelsespunkterne org.eclipse.ui.ide.markerHelp, org.eclipse.ui.ide.markerResolution og org.eclipse.ui.ide.markerSupport. API'et org.eclipse.ui.ide.markerImageProvider er internt fra og med release 3.2.

org.eclipse.ui.ide.markerHelp

org.eclipse.ui.ide.markerHelp er det udvidelsespunkt, der gør det muligt at tilknytte en hjælpekontekst til en markeringstype.

org.eclipse.ui.ide.markerResolution

org.eclipse.ui.ide.markerResolution er det udvidelsespunkt, der gør det muligt at bidrage med hurtige rettelser til markeringer. I øjeblikket kan disse anvendes to steder - i Java-editoren og i oversigten Problemer. Dette udvidelsespunkt giver en plugin-udvikler mulighed for at angive den IMarkerResolutionGenerator, der kan afgøre de mulige løsninger på en markering.

Fra og med release 3.2 understøtter oversigten Problemer flere løsninger, hvilket giver brugeren mulighed for at tilføje andre matchende problemer til listen over problemer, der skal løses, og anvende den valgte rettelse til dem alle på én gang. Hvis IMarkerResolutions er forekomster af WorkbenchMarkerResolution, kan brugerne tilføje andre matchende WorkbenchMarkerResolutions i dialogboksen Hurtig rettelse.

Dialogboksen Hurtig rettelse med to manglende eksternaliseringer

org.eclipse.ui.ide.markerSupport

org.eclipse.ui.ide.markerSupport er den udvidelse, der angiver, hvordan markeringer vises i oversigten Problemer. Udvidelsespunktet håndterer filtre og gruppering.

Filtre

Fra og med Eclipse 3.2 kan oversigten Problemer håndtere flere filtre. Bemærk, at filtrene opsummerer deres resultater. De finder ikke deres foreningsmængde. Nye filtre kan tilføjes vha. udvidelsen problemFilter eller manuelt af brugeren. Nedenfor ses filterafsnittet i oversigten Problemer med brugerfiltre og filtre tilføjet vha. udvidelsespunktet (systemfiltre).

Gruppér

Markeringer kan grupperes på to måder. Den første måde er at gruppere markeringstyper i grupper vha. udvidelsen markerTypeCategory. Den vises, når brugeren vælger Gruppér efter -> Type. Nedenfor er et eksempel, der viser Java-problemer og brug af testgruppering.

Når markeringstyper grupperes sammen, vises de i disse grupper i dialogboksen Filtre.

Du kan også oprette din egen gruppering vha. udvidelsen markerGrouping, som vises som en ekstra indgang på menuen Gruppér efter-> i oversigten Problemer. IDE'en stiller en gruppering til rådighed baseret på niveau (standard). JDT stiller også en Java-typegruppering til rådighed i SDK.

markerGroupings opløses ved at kontrollere attributter i IMarker. markerAttributeMappings anvendes til at angive disse tilknytninger vha. mapping. Nedenfor er en Gruppér efter-menu med den ekstra markerGroupings, der er tilføjet. Problemoversigten grupperes aktuelt efter problemniveau.