|
Eclipse Platform 2.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.eclipse.ui.texteditor.BasicMarkerUpdater
Updates a marker's positional attributes which are start position, end position, and line number.
Constructor Summary | |
BasicMarkerUpdater()
Creates a new basic marker updater. |
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. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public BasicMarkerUpdater()
Method Detail |
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. If the updater recognizes that
the marker should be deleted, it returns false
.
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 document
|
Eclipse Platform 2.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |