|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectnet.didion.jwnl.dictionary.file_manager.FileManagerImpl
An implementation of FileManager that reads files from the local file system.
FileManagerImpl caches the file position before and after readLineAt
in order to eliminate the redundant IO activity that a naive implementation of these methods
would necessitate.
| Field Summary | |
static java.lang.String |
FILE_TYPE
File type install parameter. |
static java.lang.String |
PATH
Dictionary path install parameter. |
| Constructor Summary | |
FileManagerImpl()
|
|
FileManagerImpl(java.lang.String searchDir,
java.lang.Class dictionaryFileType)
Construct a file manager backed by a set of files contained in the default WN search directory. |
|
| Method Summary | |
void |
close()
Shut down the file manager. |
java.lang.Object |
create(java.util.Map params)
|
DictionaryFile |
getFile(POS pos,
DictionaryFileType fileType)
|
long |
getFirstLinePointer(POS pos,
DictionaryFileType fileType)
Return the first valid line pointer in the specified file. |
long |
getIndexedLinePointer(POS pos,
DictionaryFileType fileType,
java.lang.String target)
Search for the line whose first word is index (that is, that begins with index followed by a space or tab). |
long |
getMatchingLinePointer(POS pos,
DictionaryFileType fileType,
long offset,
java.lang.String substring)
Search for a line whose index word contains substring, starting at offset. |
long |
getNextLinePointer(POS pos,
DictionaryFileType fileType,
long offset)
Search for the line following the line that begins at offset. |
long |
getRandomLinePointer(POS pos,
DictionaryFileType fileType)
Return a randomly-chosen line pointer (offset of the beginning of a line). |
java.lang.String |
readLineAt(POS pos,
DictionaryFileType fileType,
long offset)
Read the line that begins at file offset offset. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Field Detail |
public static final java.lang.String FILE_TYPE
public static final java.lang.String PATH
| Constructor Detail |
public FileManagerImpl()
public FileManagerImpl(java.lang.String searchDir,
java.lang.Class dictionaryFileType)
throws java.io.IOException
| Method Detail |
public java.lang.Object create(java.util.Map params)
throws JWNLException
create in interface CreateableJWNLExceptionpublic void close()
FileManager
close in interface FileManager
public DictionaryFile getFile(POS pos,
DictionaryFileType fileType)
public java.lang.String readLineAt(POS pos,
DictionaryFileType fileType,
long offset)
throws java.io.IOException
FileManager
readLineAt in interface FileManagerjava.io.IOException
public long getNextLinePointer(POS pos,
DictionaryFileType fileType,
long offset)
throws java.io.IOException
FileManager
getNextLinePointer in interface FileManager-1 if offset
is the last line in the file.
java.io.IOException
public long getMatchingLinePointer(POS pos,
DictionaryFileType fileType,
long offset,
java.lang.String substring)
throws java.io.IOException
FileManager
getMatchingLinePointer in interface FileManager-1 if
no such line exists.
java.io.IOException
public long getIndexedLinePointer(POS pos,
DictionaryFileType fileType,
java.lang.String target)
throws java.io.IOException
FileManager
getIndexedLinePointer in interface FileManager-1 if no such line exists.
java.io.IOException
public long getRandomLinePointer(POS pos,
DictionaryFileType fileType)
throws java.io.IOException
FileManager
getRandomLinePointer in interface FileManagerpos - fileType -
java.io.IOException
public long getFirstLinePointer(POS pos,
DictionaryFileType fileType)
throws java.io.IOException
FileManager
getFirstLinePointer in interface FileManagerpos - fileType -
java.io.IOException
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||