Modifier and Type | Field and Description |
---|---|
static String |
DICTREFPROPERTYNAME |
Constructor and Description |
---|
DictionaryDatabase() |
Modifier and Type | Method and Description |
---|---|
Dictionary |
getDictionary(String dictionaryName) |
String[] |
getDictionaryEntries(String dictionaryName)
Returns a String[] with the id's of all entries in the specified database.
|
Entry[] |
getDictionaryEntry(String dictionaryName) |
String[] |
getDictionaryNames()
Returns a String[] with the names of the known dictionaries.
|
boolean |
hasDictionary(String name)
Returns true if the database contains the dictionary.
|
boolean |
hasEntry(String dictName,
String entryID)
Returns true if the given dictionary contains the given
entry.
|
Iterator<String> |
listDictionaries()
Returns true if the database contains the dictionary.
|
void |
readDictionary(Reader reader,
String name)
Reads a custom dictionary into the database.
|
public static final String DICTREFPROPERTYNAME
public void readDictionary(Reader reader, String name)
reader
- The reader from which the dictionary data will be readname
- The name of the dictionarypublic String[] getDictionaryNames()
public Dictionary getDictionary(String dictionaryName)
public String[] getDictionaryEntries(String dictionaryName)
dictionaryName
- The name of the dictionarypublic boolean hasDictionary(String name)
public Iterator<String> listDictionaries()
Copyright © 2017. All Rights Reserved.