|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Numberer
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 | |
---|---|
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(). |
Method Detail |
---|
long get(java.lang.Object o)
java.lang.Object get(long number)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |