|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||
java.lang.Object | +--support.Ticker.IDManager
| 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 |
|
| Field Detail |
private Dictionary dict_
private int nextID_
| Constructor Detail |
public IDManager()
| Method Detail |
public int createID(Locator loc)
public Locator locator(int id)
public void removeID(int id)
|
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
| SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||