public interface RandomAccessDictionaryFile extends DictionaryFile
DictionaryFile that reads lines from a random-access text file.COMMENT_HEADER| Modifier and Type | Method and Description |
|---|---|
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
|
close, getFile, getFileType, getPOS, isOpen, newInstance, openint read() throws java.io.IOException
java.io.IOExceptionjava.lang.String readLine()
throws java.io.IOException
java.io.IOExceptionvoid seek(long pos) throws java.io.IOException
java.io.IOExceptionlong getFilePointer()
throws java.io.IOException
java.io.IOExceptionlong length()
throws java.io.IOException
java.io.IOExceptionvoid setNextLineOffset(long previousOffset,
long nextOffset)
boolean isPreviousLineOffset(long offset)
offset is the previous offset.long getNextLineOffset()