Verfügbar seit: Release 1.0
Beschreibung: An diesem Erweiterungspunkt können Aktualisierungsstrategien für Markierungen registriert werden. Eine Ressource, die in einem Texteditor geöffnet wird, wird mit einem Anmerkungsmodell für Markierungen verbunden. Für jede mit der Ressource verbundene Markierung verwaltet dieses Modell eine Position, die bei jeder Änderungen des Texts im Editor aktualisiert wird. Beim Speichern der Ressource werden der Text im Editor und die für eine Markierung verwaltete Position an die registrierten Aktualisierungsstrategien für Markierungen übergeben. Diese Strategien können dann die Markierungsattribute basierend auf dem Text und der Position aktualisieren. Aktualisierungsstrategien für Markierungen müssen die Schnittstelle org.eclipse.ui.texteditor.IMarkerUpdater implementieren. Die Aktualisierungsstrategien können entweder für einen bestimmten Markierungstyp oder für alle Markierungstypen registriert werden. Zweiteres erfolgt durch Verzicht auf einen Markierungstyp in der Erweiterung.
Konfigurationsbefehle:
<!ELEMENT extension (updater*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA
#IMPLIED
name CDATA
#IMPLIED
>
<!ELEMENT updater EMPTY>
<!ATTLIST updater
id CDATA #REQUIRED
markerType CDATA #IMPLIED
class CDATA #REQUIRED
>
<extension point= "org.eclipse.ui.markerUpdaters"> <updater id="org.eclipse.jdt.ui.markerUpdaters.JavaSearchMarkerUpdater" class="org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater" markerType="org.eclipse.search.searchmarker"> </updater> </extension>
Dieses Beispiel registriert org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater als Markierungsaktualisierungsstrategie für alle Markierungen des Typs org.eclipse.search.searchmarker (einschließlich aller von diesem Typ abgeleiteten Typen).
<extension point= "org.eclipse.ui.markerUpdaters"> <updater id="org.eclipse.ui.texteditor.BasicMarkerUpdater" class="org.eclipse.ui.texteditor.BasicMarkerUpdater"> </updater> </extension>
Dieses Beispiel registriert org.eclipse.ui.texteditor.BasicMarkerUpdater als Markierungsaktualisierung unabhängig vom Typ der Markierung.
API-Informationen: Registrierte Markierungsaktualisierungen müssen die Schnittstelle org.eclipse.ui.texteditor.IMarkerUpdater implementieren.