gnu.lists

Class PositionManager

java.lang.Object

gnu.lists.PositionManager

public class PositionManager
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PositionManager()

Method Summary

Modifier and Type	Method and Description
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)