public class RangeMarkerImpl extends UserDataHolderBase implements RangeMarkerEx
BY_START_OFFSETBY_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, setUserMapequals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetUserData, putUserDataprotected void registerInTree(int start,
int end,
boolean greedyToLeft,
boolean greedyToRight,
int layer)
protected void unregisterInTree()
public long getId()
getId in interface RangeMarkerExpublic void dispose()
dispose in interface RangeMarkerpublic int getStartOffset()
RangeMarkergetStartOffset in interface RangeMarkergetStartOffset in interface Segmentpublic int getEndOffset()
RangeMarkergetEndOffset in interface RangeMarkergetEndOffset in interface Segmentpublic final DocumentEx getDocument()
RangeMarkergetDocument in interface RangeMarkerpublic int getLayer()
public void setGreedyToLeft(boolean greedy)
RangeMarkersetGreedyToLeft in interface RangeMarkergreedy - true if text added at the beginning is included in the range, false otherwise.public void setGreedyToRight(boolean greedy)
RangeMarkersetGreedyToRight in interface RangeMarkergreedy - true if text added at the end is included in the range, false otherwise.public boolean isGreedyToLeft()
isGreedyToLeft in interface RangeMarkerpublic boolean isGreedyToRight()
isGreedyToRight in interface RangeMarkerpublic final void documentChanged(DocumentEvent e)
documentChanged in interface RangeMarkerExprotected void changedUpdateImpl(DocumentEvent e)
protected void onReTarget(DocumentEvent e)
public java.lang.String toString()
toString in class java.lang.Objectpublic boolean isValid()
RangeMarkerisValid in interface RangeMarkerpublic boolean setValid(boolean value)
public int intervalStart()
public int intervalEnd()
public RangeMarker findRangeMarkerAfter()
public RangeMarker findRangeMarkerBefore()