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
|
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, open
int read() throws IOException
IOException
String readLine() throws IOException
IOException
void seek(long pos) throws IOException
IOException
long getFilePointer() throws IOException
IOException
long length() throws IOException
IOException
void setNextLineOffset(long previousOffset, long nextOffset)
boolean isPreviousLineOffset(long offset)
offset
is the previous offset.long getNextLineOffset()
Copyright © 2022. All rights reserved.