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, save
getDictionary, setDictionary
java.io.File getFile()
boolean delete() throws JWNLException
JWNLException
- JWNLException