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.
Copyright (c) 2001, 2004 IBM Corporation und Andere.
Alle Rechte vorbehalten. Dieses Programm und sein Begleitmaterial werden gemäß den Bedingungen der "Eclipse Public License v1.0" zur Verfügung gestellt, die dieser Lieferung beiliegt und unter
http://www.eclipse.org/legal/epl-v10.html abgerufen werden kann.