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
Constructors -
Method Summary
Modifier and TypeMethodDescriptionString[]Returns the attributes for which this updater is responsible.Returns the marker type for which this updater is responsible.booleanupdateMarker(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:IMarkerUpdaterReturns the attributes for which this updater is responsible. If the result isnull, the updater assumes responsibility for any attributes.- Specified by:
getAttributein interfaceIMarkerUpdater- Returns:
- the attributes or
nullfor any attribute
-
getMarkerType
Description copied from interface:IMarkerUpdaterReturns the marker type for which this updater is responsible. If the result isnull, the updater assumes responsibility for any marker type.- Specified by:
getMarkerTypein interfaceIMarkerUpdater- Returns:
- the marker type or
nullfor any marker type
-
updateMarker
Description copied from interface:IMarkerUpdaterUpdates 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:
updateMarkerin 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:
falseif the updater recognizes that the marker should be deleted
-