gnu.lists

Class 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)

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)