support.Ticker
Class IDManager

java.lang.Object
  |
  +--support.Ticker.IDManager

public class IDManager
extends java.lang.Object


Constructor Summary
IDManager()
           
 
Method Summary
 int createID(Locator loc)
           
 Locator locator(int id)
           
 void removeID(int id)
           
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

IDManager

public IDManager()
Method Detail

createID

public int createID(Locator loc)

locator

public Locator locator(int id)

removeID

public void removeID(int id)