Package gnu.lists

Class PositionManager

java.lang.Object

gnu.lists.PositionManager

public class PositionManager
extends Object

Constructor Summary

Constructors

Constructor	Description
PositionManager()

Method Summary

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

PositionManager

public PositionManager()

Method Details

getPositionObject

public static SeqPosition getPositionObject(int ipos)

register

public int register(SeqPosition pos)

release

public void release(int ipos)