|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectpl.kernelpanic.dbmonster.DictionaryManager
Dictionary Manager.
Constructor Summary | |
DictionaryManager()
|
Method Summary | |
Dictionary |
getDictionary(String schemaPath,
String path)
Returns a dictionary. |
Dictionary |
getDictionary(URL url)
Loads a dictionary using specified url. |
void |
setRandom(Random rnd)
Sets the random number generator. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
public DictionaryManager()
Method Detail |
public final void setRandom(Random rnd)
rnd
- random number generatorpublic final Dictionary getDictionary(String schemaPath, String path) throws Exception
schemaPath
- the schema file homepath
- pathname
Exception
- if dictionary cannot be obtainedpublic final Dictionary getDictionary(URL url) throws Exception
url
- url
Exception
- if dictionary cannot be loded.
|
|||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |