Aktualisierungsfunktionen für Markierungen

org.eclipse.ui.editors.markerUpdaters

3.0 (ursprünglicher Name 'org.eclipse.ui.markerUpdaters')

An diesem Erweiterungspunkt können Aktualisierungsstrategien mit Markierungsanmerkungsmodellen 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 Markierugnen ü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.

<!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.editors.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.editors.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.

Registrierte Aktualisierungsstrategien für Markierungen müssen die Schnittstelle org.eclipse.ui.texteditor.IMarkerUpdater implementieren.