|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Indexer<K>
An index generator for a set of keys. An indexer maps each key in its keyset to a unique integer.
keys: set K |
indices: keys lone->one int |
Method Summary | |
---|---|
int |
indexOf(K key)
Returns the index of the given key, if it is in this.keys. |
K |
keyAt(int index)
Returns the key at the given index. |
int |
size()
Returns the number of keys in this.indexer. |
Method Detail |
---|
int indexOf(K key)
K keyAt(int index)
java.lang.IndexOutOfBoundsException
- - index !in this.indices[this.keys]int size()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |