|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
A numberer converts objects to unique non-negative integers, and vice-versa. The Jedd programmer must implement numberers for domains used in the program.
Method Summary | |
void |
add(java.lang.Object o)
Tells the numberer that a new object needs to be assigned a number. |
java.lang.Object |
get(long number)
Should return the object that was assigned the number number. |
long |
get(java.lang.Object o)
Should return the number that was assigned to object o that was previously passed as an argument to add(). |
int |
size()
Should return the number of objects that have been assigned numbers. |
Method Detail |
public void add(java.lang.Object o)
public long get(java.lang.Object o)
public java.lang.Object get(long number)
public int size()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |