| org.eclipse.ui.texteditor.IMarkerUpdater
All known Subclasses: org.eclipse.ui.texteditor.BasicMarkerUpdater,
IMarkerUpdater | public interface IMarkerUpdater (Code) | | A marker updater is responsible for saving changes to markers.
Marker updaters either update markers of a specific types or
any type. Also they either assume update responsibility for a
specific set of marker attributes or any marker attribute.
Marker updater must be registered with an
org.eclipse.ui.texteditor.AbstractMarkerAnnotationModel .
|
Method Summary | |
String[] | getAttribute() Returns the attributes for which this updater is responsible. | String | getMarkerType() Returns the marker type for which this updater is responsible. | boolean | updateMarker(IMarker marker, IDocument document, Position position) Updates the given marker according to the position of the given document. |
getAttribute | String[] getAttribute()(Code) | | Returns the attributes for which this updater is responsible. If the
result is null , the updater assumes responsibility for
any attributes.
the attributes or null for any attribute |
getMarkerType | String getMarkerType()(Code) | | Returns the marker type for which this updater is responsible. If
the result is null , the updater assumes responsibility
for any marker type.
the marker type or null for any marker type |
updateMarker | boolean updateMarker(IMarker marker, IDocument document, Position position)(Code) | | Updates the given marker according to the position of the given document.
If the given position is null , the marker is assumed to
carry the correct positional information.
Parameters: marker - the marker to be updated Parameters: document - the document into which the given position points Parameters: position - the current position of the marker inside the given document false if the updater recognizes that the marker should be deleted |
|
|