Aktualisierungsfunktionen für Markierungen

Kennung: org.eclipse.ui.markerUpdaters

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
   >

Beispiele:
<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.

Copyright (c) 2000, 2003 IBM Corporation und Andere. Alle Rechte vorbehalten.