gnu.lists
Class ExtPosition
public
class
ExtPosition
extends SeqPosition
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.
public int getPos()
public final boolean isAfter()
public void release()