|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectpl.kernelpanic.dbmonster.DictionaryManager
public class 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 void setRandom(Random rnd)
rnd - random number generator
public Dictionary getDictionary(String schemaPath,
String path)
throws Exception
schemaPath - the schema file homepath - pathname
Exception - if dictionary cannot be obtained
public 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 | |||||||||