gnu.lists
Class PositionManager

java.lang.Object
  gnu.lists.PositionManager

public class PositionManager
extends java.lang.Object

Constructor Summary

PositionManager()

Method Summary

static SeqPosition	getPositionObject(int ipos)
int	register(SeqPosition pos)
void	release(int ipos)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PositionManager

public PositionManager()

Method Detail

getPositionObject

public static SeqPosition getPositionObject(int ipos)

register

public int register(SeqPosition pos)

release

public void release(int ipos)