Package org.eclipse.ui.texteditor
Class BasicMarkerUpdater
java.lang.Object
org.eclipse.ui.texteditor.BasicMarkerUpdater
- All Implemented Interfaces:
IMarkerUpdater
Updates a marker's positional attributes which are
start position, end position, and line number.
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionString[]
Returns the attributes for which this updater is responsible.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.
-
Constructor Details
-
BasicMarkerUpdater
public BasicMarkerUpdater()Creates a new basic marker updater.
-
-
Method Details
-
getAttribute
Description copied from interface:IMarkerUpdater
Returns the attributes for which this updater is responsible. If the result isnull
, the updater assumes responsibility for any attributes.- Specified by:
getAttribute
in interfaceIMarkerUpdater
- Returns:
- the attributes or
null
for any attribute
-
getMarkerType
Description copied from interface:IMarkerUpdater
Returns the marker type for which this updater is responsible. If the result isnull
, the updater assumes responsibility for any marker type.- Specified by:
getMarkerType
in interfaceIMarkerUpdater
- Returns:
- the marker type or
null
for any marker type
-
updateMarker
Description copied from interface:IMarkerUpdater
Updates the given marker according to the position of the given document. If the given position isnull
, the marker is assumed to carry the correct positional information.- Specified by:
updateMarker
in interfaceIMarkerUpdater
- Parameters:
marker
- the marker to be updateddocument
- the document into which the given position pointsposition
- the current position of the marker inside the given document- Returns:
false
if the updater recognizes that the marker should be deleted
-