|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface MarkedList
interface MarkedList
is a extention of List that allows to mark
a position in the list and to go back to it. Operations like remove (index)
and add (index) that may alter the order in the list are not
supported . Also no remove operations are suported, only restore.
Method Summary | |
---|---|
void |
mark()
Marks the current state of the list. |
void |
restore()
removes the last mark and all the assertions done after the mark. |
void |
restore(int markNumber)
if markNumber is the last mark, works like restore () else removes all the asserts done after mark (markNumber +1) together with the mark number (markNumber + 1) |
Methods inherited from interface java.util.List |
---|
add, add, addAll, addAll, clear, contains, containsAll, equals, get, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, toArray, toArray |
Method Detail |
---|
void mark()
void restore()
void restore(int markNumber)
markNumber
- what to restore the list to.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |