com.borland.primetime.editor
Class EditorDocument.MarkChain
java.lang.Object
|
+--com.borland.primetime.editor.EditorDocument.MarkChain
- Enclosing class:
- EditorDocument
- protected class EditorDocument.MarkChain
- extends java.lang.Object
This class maintains the list of LineMarks on a particular line of this
document. Internally, an array of LineMarks is maintained because an
ArrayList is somewhat heavy for this purpose.
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
EditorDocument.MarkChain
public EditorDocument.MarkChain(LineMark firstMark,
LineMark secondMark)
size
public int size()
getMarks
public LineMark[] getMarks()
addMark
public void addMark(LineMark mark)
removeMark
public void removeMark(LineMark mark)
indexOf
public int indexOf(LineMark mark)
contains
public boolean contains(LineMark mark)