gnu.lists
Class ExtPosition
- java.util.Enumeration, java.util.ListIterator
A SeqPosition for sequences that need more than a Pos int for a position.
For such sequences, a Pos int is an index into a PositionManager,
which manages a table of ExtPositions, which may contain more state
than a regular SeqPosition does.
add, copy, finalize, fromEndIndex, getContainingSequenceSize, getNext, getNextKind, getNextTypeName, getNextTypeObject, getPos, getPrevious, gotoChildrenStart, gotoEnd, gotoNext, gotoPrevious, gotoStart, hasMoreElements, hasNext, hasPrevious, isAfter, make, next, nextElement, nextIndex, previous, previousIndex, release, remove, set, set, set, setNext, setPos, setPos, setPrevious, toInfo, toString |