public class RangeMarkerImpl extends UserDataHolderBase implements RangeMarkerEx
BY_START_OFFSET
BY_START_OFFSET_THEN_END_OFFSET, EMPTY_ARRAY
Modifier and Type | Method and Description |
---|---|
protected void |
changedUpdateImpl(DocumentEvent e) |
void |
dispose() |
void |
documentChanged(DocumentEvent e) |
RangeMarker |
findRangeMarkerAfter() |
RangeMarker |
findRangeMarkerBefore() |
DocumentEx |
getDocument()
Returns the document to which the marker belongs.
|
int |
getEndOffset()
Returns the end offset of the text range covered by the marker.
|
long |
getId() |
int |
getLayer() |
int |
getStartOffset()
Returns the start offset of the text range covered by the marker.
|
int |
intervalEnd() |
int |
intervalStart() |
boolean |
isGreedyToLeft() |
boolean |
isGreedyToRight() |
boolean |
isValid()
Checks if the marker has been invalidated by deleting the entire fragment of text
containing the marker.
|
protected void |
onReTarget(DocumentEvent e) |
protected void |
registerInTree(int start,
int end,
boolean greedyToLeft,
boolean greedyToRight,
int layer) |
void |
setGreedyToLeft(boolean greedy)
Sets the value indicating whether the text added exactly at the beginning of the
marker should be included in the text range of the marker.
|
void |
setGreedyToRight(boolean greedy)
Sets the value indicating whether the text added exactly at the end of the
marker should be included in the text range of the marker.
|
boolean |
setValid(boolean value) |
java.lang.String |
toString() |
protected void |
unregisterInTree() |
changeUserMap, clearUserData, clone, copyCopyableDataTo, copyUserDataTo, getCopyableUserData, getUserData, getUserDataString, getUserMap, isUserDataEmpty, putCopyableUserData, putUserData, putUserDataIfAbsent, replace, setUserMap
equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getUserData, putUserData
protected void registerInTree(int start, int end, boolean greedyToLeft, boolean greedyToRight, int layer)
protected void unregisterInTree()
public long getId()
getId
in interface RangeMarkerEx
public void dispose()
dispose
in interface RangeMarker
public int getStartOffset()
RangeMarker
getStartOffset
in interface RangeMarker
getStartOffset
in interface Segment
public int getEndOffset()
RangeMarker
getEndOffset
in interface RangeMarker
getEndOffset
in interface Segment
public final DocumentEx getDocument()
RangeMarker
getDocument
in interface RangeMarker
public int getLayer()
public void setGreedyToLeft(boolean greedy)
RangeMarker
setGreedyToLeft
in interface RangeMarker
greedy
- true if text added at the beginning is included in the range, false otherwise.public void setGreedyToRight(boolean greedy)
RangeMarker
setGreedyToRight
in interface RangeMarker
greedy
- true if text added at the end is included in the range, false otherwise.public boolean isGreedyToLeft()
isGreedyToLeft
in interface RangeMarker
public boolean isGreedyToRight()
isGreedyToRight
in interface RangeMarker
public final void documentChanged(DocumentEvent e)
documentChanged
in interface RangeMarkerEx
protected void changedUpdateImpl(DocumentEvent e)
protected void onReTarget(DocumentEvent e)
public java.lang.String toString()
toString
in class java.lang.Object
public boolean isValid()
RangeMarker
isValid
in interface RangeMarker
public boolean setValid(boolean value)
public int intervalStart()
public int intervalEnd()
public RangeMarker findRangeMarkerAfter()
public RangeMarker findRangeMarkerBefore()