support.Ticker
Class IDManager

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

public class IDManager
extends java.lang.Object


Field Summary
private  Dictionary dict_
           
private  int nextID_
           
 
Constructor Summary
IDManager()
           
 
Method Summary
 int createID(Locator loc)
           
 Locator locator(int id)
           
 void removeID(int id)
           
 
Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait
 

Field Detail

dict_

private Dictionary dict_

nextID_

private int nextID_
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)