public class PositionManager
extends java.lang.Object
| Constructor and Description |
|---|
PositionManager () |
| Modifier and Type | Method and Description |
|---|---|
static SeqPosition |
getPositionObject (int ipos) |
int |
register (SeqPosition pos) |
void |
release (int ipos) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitpublic PositionManager()
public static SeqPosition getPositionObject(int ipos)
public int register(SeqPosition pos)
public void release(int ipos)