Aktualisierungsfunktionen für Markierungen
Kennung:
org.eclipse.ui.editors.markerUpdaters
Seit:
3.0 (ursprünglicher Name 'org.eclipse.ui.markerUpdaters')
Beschreibung:
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.
Konfigurationsbefehle:
<!ELEMENT extension (updater*)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED>
- point - Vollständig qualifizierte Kennung des Zielerweiterungspunktes
- id - Optionale ID des Erweiterungsexemplars
- name - Optionaler Name des Erweiterungsexemplars
<!ELEMENT updater EMPTY>
<!ATTLIST updater
id CDATA #REQUIRED
markerType CDATA #IMPLIED
class CDATA #REQUIRED>
- id - Die eindeutige ID dieses Providers
- markerType - Der Name des Markierungstyps
- class - Der qualifizierte Name der Markierungsaktualisierungsklasse
Beispiele:
<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.
API-Information:
Registrierte Aktualisierungsstrategien für Markierungen müssen die Schnittstelle org.eclipse.ui.texteditor.IMarkerUpdater implementieren.
Copyright (c) 2001, 2004 IBM Corporation und Andere.
Alle Rechte vorbehalten. Dieses Programm und sein Begleitmaterial werden unter den Bedingungen der "Common Public License v1.0" zur Verfügung gestellt, die diese Verteilung begleitet und unter http://www.eclipse.org/legal/cpl-v10.html abgerufen werden kann.