|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
public interface Dictionary
An interface for dictionaries. This interface only supports a few methods that both in memory and disk resident dictionaries will need.
A dictionary is a map from entry names to entries. An entry name can be
any class that defines Comparator.
Entry| Method Summary | |
|---|---|
QueryEntry |
get(java.lang.Object name)
Gets a entry from the dictionary, given the name for the entry. |
Partition |
getPartition()
Gets the partition to which this dictionary belongs. |
DictionaryIterator |
iterator()
Gets an iterator for the entries in the dictionary. |
IndexEntry |
put(java.lang.Object name,
IndexEntry e)
Puts a entry into the dictionary. |
int |
size()
Gets the number of entries in the dictionary. |
| Method Detail |
|---|
IndexEntry put(java.lang.Object name,
IndexEntry e)
name - The name of the entry to put in the dictionary.e - The entry to put in the dictionary.
QueryEntry get(java.lang.Object name)
name - The name of the entry.
null if
the name doesn't appear in the dictionary.Partition getPartition()
int size()
DictionaryIterator iterator()
iterator in interface java.lang.Iterable<QueryEntry>
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||