|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
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 |
public int read()
throws java.io.IOException
java.io.IOException
public java.lang.String readLine()
throws java.io.IOException
java.io.IOException
public void seek(long pos)
throws java.io.IOException
java.io.IOException
public long getFilePointer()
throws java.io.IOException
java.io.IOException
public long length()
throws java.io.IOException
java.io.IOException
public void setNextLineOffset(long previousOffset,
long nextOffset)
public boolean isPreviousLineOffset(long offset)
offset is the previous offset.
public long getNextLineOffset()
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||