public interface IndexedDictionary extends Dictionary
Modifier and Type | Method and Description |
---|---|
void |
buildIndex()
Rebuild the index or add missing index data to an already existing index file.
|
boolean |
loadIndex()
Load the index for the dictionary.
|
dispose, getAttributeValues, getName, getSupportedAttributes, getSupportedFields, search, supports
boolean loadIndex() throws IndexException
true
if the index was loaded successfully, false
if
the index does not exist, does not contain all needed index data or is
damaged. In this case, buildIndex
must be called.IndexException
- if reading the index failed for an unforeseeable reason.
In this case, calling buildIndex
will likely also fail
and the dictionary object can't be used.void buildIndex() throws IndexException
loadIndex
after
buildIndex
is not neccessary.IndexException
- if the index creation failed.Copyright © 2001-2013 the JGloss developers. All Rights Reserved.