|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--com.borland.primetime.editor.EditorDocument.MarkList
This class maintains the list of LineMarks for this document.
Constructor Summary | |
protected |
EditorDocument.MarkList()
|
Method Summary | |
int |
addMark(int index,
LineMark mark)
Add a mark to the document. |
boolean |
contains(LineMark mark)
Test to see if a particular mark is in the list. |
LineMark[] |
getMarks(int index)
Retrieve the set of marks on a particular line. |
int |
indexOf(LineMark mark)
Retrieve the 0-based index of a particular mark. |
void |
insertLine(int index)
Insert a line into the MarkList. |
void |
removeLightweightMark(LineMark mark)
Remove all occurances of this mark from the list. |
void |
removeLine(int index)
Remove a line from the MarkList. |
int |
removeMark(LineMark mark)
Remove a mark from the document. |
int |
size()
Get the size of the internal list. |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
protected EditorDocument.MarkList()
Method Detail |
public int size()
public LineMark[] getMarks(int index)
public void removeLine(int index)
public void insertLine(int index)
public int addMark(int index, LineMark mark)
index
- The 0-based index at which to add the mark.mark
- The LineMark to add.public int removeMark(LineMark mark)
mark
- The LineMark to remove.public void removeLightweightMark(LineMark mark)
mark
- The lightweight LineMark to remove.public int indexOf(LineMark mark)
mark
- The LineMark to lookup.public boolean contains(LineMark mark)
mark
- The LineMark to check.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |