public interface DictionaryDiskFile extends DictionaryFile
| Modifier and Type | Method and Description |
|---|---|
boolean |
delete()
Deletes the file.
|
java.io.File |
getFile()
Returns the file.
|
close, edit, getFilename, getFileType, getPOS, isOpen, open, savegetDictionary, setDictionaryjava.io.File getFile()
boolean delete()
throws JWNLException
JWNLException - JWNLException