Znaczniki w środowisku IDE Eclipse

Znaczniki utworzone przy użyciu obsługi punktu rozszerzenia org.eclipse.core.resources.markers mogą być wyświetlane w interfejsie użytkownika przy użyciu punktów rozszerzeń org.eclipse.ui.ide.markerHelp, org.eclipse.ui.ide.markerResolution i org.eclipse.ui.ide.markerSupport. Interfejs API org.eclipse.ui.ide.markerImageProvider jest od wersji 3.2 interfejsem wewnętrznym.

org.eclipse.ui.ide.markerHelp

org.eclipse.ui.ide.markerHelp to punkt rozszerzenia, który umożliwia powiązanie kontekstu pomocy z typem znacznika.

org.eclipse.ui.ide.markerResolution

org.eclipse.ui.ide.markerResolution to punkt rozszerzenia, który umożliwia wnoszenie szybkich poprawek dla znaczników. Można je obecnie stosować w edytorze Java i widoku Problemy. Ten punkt rozszerzenia umożliwia programistom wtyczek podanie interfejsu IMarkerResolutionGenerator, który może określić możliwe rozwiązania dla znacznika.

Od wersji 3.2 Eclipse widok Problemy obsługuje wiele rozwiązań, co umożliwia użytkownikowi dodawanie pasujących problemów do listy problemów wymagających rozwiązania, a także stosowanie wybranej poprawki do wszystkich problemów jednocześnie. Jeśli interfejsy IMarkerResolution są instancjami klasy WorkbenchMarkerResolution, to użytkownicy mogą dodawać inne pasujące klasy WorkbenchMarkerResolution w oknie dialogowym Szybkie poprawki.

Okno dialogowe Szybkie poprawki z dwoma brakującymi eksternalizacjami

org.eclipse.ui.ide.markerSupport

org.eclipse.ui.ide.markerSupport jest rozszerzeniem służącym do określania, w jaki sposób znaczniki są wyświetlane w widoku Problemy. Ten punkt rozszerzenia obsługuje filtry i grupowanie.

Filtry

Od wersji 3.2 platformy Eclipse widok Problemy obsługuje wiele filtrów. Należy zauważyć, że filtry te dają w wyniku sumę logiczną, a nie iloczyn logiczny wyników. Nowe filtry można dodawać przy użyciu elementu problemFilter lub ręcznie (mogą być dodawane przez użytkownika). Poniżej przedstawiono sekcję filtrów widoku Problemy, która uwzględnia filtry użytkownika oraz filtry dodane przez punkt rozszerzenia (filtry systemowe).

Grupowanie

Znaczniki można pogrupować na dwa sposoby. Pierwszy z nich polega na grupowaniu typów znaczników przy użyciu rozszerzenia markerTypeCategory. Ten sposób zaprezentowano przy wyborze opcji Grupuj wg -> Typ przez użytkownika. Poniżej przedstawiono przykład Problemów Java i wykorzystywanie grupowania testowego.

Po pogrupowaniu typów znaczników będą one wyświetlane w grupach w oknie dialogowym Filtry.

Można też utworzyć własną grupę przy użyciu rozszerzenia markerGrouping. Będzie ona widoczna jako dodatkowy wpis w menu Grupuj wg -> w widoku Problemy. Środowisko IDE umożliwia grupowanie według istotności (wartość domyślna). Narzędzia JDT umożliwiają grupowanie według typu Java także w pakiecie SDK.

Elementy markerGrouping są interpretowane przez sprawdzenie atrybutów w interfejsie IMarker. Elementy markerAttributeMapping służą do określania tych odwzorowań. Poniżej przedstawiono menu Grupuj wg z elementami markerGrouping, które zostały do niego dodane. Widok Problemy jest obecnie pogrupowany według istotności.