|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface RandomAccessDictionaryFile
DictionaryFile
that reads lines from a random-access text file.
Field Summary |
---|
Fields inherited from interface net.didion.jwnl.dictionary.file.DictionaryFile |
---|
COMMENT_HEADER |
Method Summary | |
---|---|
long |
getFilePointer()
Get the current position of the file pointer. |
long |
getNextLineOffset()
Get the byte offset of the next line (after the position of the file pointer) |
boolean |
isPreviousLineOffset(long offset)
Return true if offset is the previous offset. |
long |
length()
Get the length, in bytes, of the file |
int |
read()
Read a byte from the file |
java.lang.String |
readLine()
Read a line from the file |
void |
seek(long pos)
Go to postion pos in the file. |
void |
setNextLineOffset(long previousOffset,
long nextOffset)
Move the file pointer so that its next line offset is nextOffset |
Methods inherited from interface net.didion.jwnl.dictionary.file.DictionaryFile |
---|
close, getFile, getFileType, getPOS, isOpen, newInstance, open |
Method Detail |
---|
int read() throws java.io.IOException
java.io.IOException
java.lang.String readLine() throws java.io.IOException
java.io.IOException
void seek(long pos) throws java.io.IOException
java.io.IOException
long getFilePointer() throws java.io.IOException
java.io.IOException
long length() throws java.io.IOException
java.io.IOException
void setNextLineOffset(long previousOffset, long nextOffset)
boolean isPreviousLineOffset(long offset)
offset
is the previous offset.
long getNextLineOffset()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |