jedd
Interface Numberer


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

get

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().


get

java.lang.Object get(long number)
Should return the object that was assigned the number number.