public interface DictionaryFile
| Modifier and Type | Field and Description |
|---|---|
static java.lang.String |
COMMENT_HEADER |
| Modifier and Type | Method and Description |
|---|---|
void |
close()
Close the file
|
java.io.File |
getFile() |
DictionaryFileType |
getFileType()
The file type associated with this file.
|
POS |
getPOS()
The POS associated with this file.
|
boolean |
isOpen()
Return true if the file is open
|
DictionaryFile |
newInstance(java.lang.String path,
POS pos,
DictionaryFileType fileType)
Create a new instance of the dictionary file
|
void |
open()
Open the file.
|
static final java.lang.String COMMENT_HEADER
DictionaryFile newInstance(java.lang.String path, POS pos, DictionaryFileType fileType)
void close()
boolean isOpen()
POS getPOS()
java.io.File getFile()
DictionaryFileType getFileType()
void open() throws java.io.IOException
java.io.IOException