public final class BasicMarkerUpdater extends Object implements IMarkerUpdater
Constructor and Description |
---|
BasicMarkerUpdater()
Creates a new basic marker updater.
|
Modifier and Type | Method and Description |
---|---|
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.
|
public BasicMarkerUpdater()
public String[] getAttribute()
IMarkerUpdater
null
, the updater assumes responsibility for
any attributes.getAttribute
in interface IMarkerUpdater
null
for any attributepublic String getMarkerType()
IMarkerUpdater
null
, the updater assumes responsibility
for any marker type.getMarkerType
in interface IMarkerUpdater
null
for any marker typepublic boolean updateMarker(IMarker marker, IDocument document, Position position)
IMarkerUpdater
null
, the marker is assumed to
carry the correct positional information.updateMarker
in interface IMarkerUpdater
marker
- the marker to be updateddocument
- the document into which the given position pointsposition
- the current position of the marker inside the given documentfalse
if the updater recognizes that the marker should be deleted
Copyright (c) 2000, 2014 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.