Interface RandomAccessDictionaryFile

    • Method Detail

      • read

        int read()
          throws java.io.IOException
        Read a byte from the file
        Throws:
        java.io.IOException
      • readLine

        java.lang.String readLine()
                           throws java.io.IOException
        Read a line from the file
        Throws:
        java.io.IOException
      • seek

        void seek​(long pos)
           throws java.io.IOException
        Go to postion pos in the file.
        Throws:
        java.io.IOException
      • getFilePointer

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

        long length()
             throws java.io.IOException
        Get the length, in bytes, of the file
        Throws:
        java.io.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)