Interface RandomAccessDictionaryFile

    • Method Detail

      • getFilePointer

        long getFilePointer()
                     throws IOException
        Get the current position of the file pointer.
        Throws:
        IOException
      • setNextLineOffset

        void setNextLineOffset​(long previousOffset,
                               long nextOffset)
        Move the file pointer so that its next line offset is nextOffset
      • isPreviousLineOffset

        boolean isPreviousLineOffset​(long offset)
        Return true if offset is the previous offset.
      • getNextLineOffset

        long getNextLineOffset()
        Get the byte offset of the next line (after the position of the file pointer)