| java.lang.Object gnu.lists.SeqPosition gnu.lists.ExtPosition
All known Subclasses: gnu.lists.LListPosition,
ExtPosition | public class ExtPosition extends SeqPosition (Code) | | 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.
|
Field Summary | |
int | position Index into PositionManager.positions, if >= 0.
This is used if we need a single Pos integer for this position. |
position | int position(Code) | | Index into PositionManager.positions, if >= 0.
This is used if we need a single Pos integer for this position.
|
getPos | public int getPos()(Code) | | |
isAfter | final public boolean isAfter()(Code) | | |
release | public void release()(Code) | | |
|
|