Marker Updaters
Identifier:
org.eclipse.ui.editors.markerUpdaters
Since:
3.0 (originally named org.eclipse.ui.markerUpdaters)
Description:
This extension point is used for registering marker update strategies with marker annotation models. A resource that is opened in a text editor is associated with a marker annotation model. For each marker attached to the resource this model manages a position that is updated with each change applied to the text in the editor. If the resource is saved, the text in the editor and the position managed for a marker are passed over to the registered marker update strategies. These strategies can then update the marker's attributes based on the text and the position. Marker update strategies are requested to implement the interface
org.eclipse.ui.texteditor.IMarkerUpdater
. The update strategies can be registered either for a particular marker type or all marker types. The latter by omitting any marker type in the extension.
Configuration Markup:
<!ELEMENT extension (
updater+)>
<!ATTLIST extension
point CDATA #REQUIRED
id CDATA #IMPLIED
name CDATA #IMPLIED
>
-
point - a fully qualified identifier of the target extension point
-
id - an optional identifier of the extension instance
-
name - an optional name of the extension instance
<!ELEMENT updater EMPTY>
<!ATTLIST updater
id CDATA #REQUIRED
markerType IDREF #IMPLIED
class CDATA #REQUIRED
>
-
id - the unique id of this updater
-
markerType - the name of the marker type
-
class - the qualified name of the marker updater class
Examples:
<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>
This example registers org.eclipse.jdt.internal.ui.search.JavaSearchMarkerUpdater as a marker updater for all markers of the
type org.eclipse.search.searchmarker including all its derived types.
<extension point=
"org.eclipse.ui.editors.markerUpdaters"
>
<updater
id=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
class=
"org.eclipse.ui.texteditor.BasicMarkerUpdater"
>
</updater>
</extension>
This example registers org.eclipse.ui.texteditor.BasicMarkerUpdater as a marker updater independent from the type of the marker.
Copyright (c) 2001, 2008 IBM Corporation and others.
All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at
https://www.eclipse.org/legal/epl-v10.html