Class PrincetonChannelDictionaryFile

    • Field Detail

      • _buffer

        private java.nio.CharBuffer _buffer
        The random-access file.
      • _channel

        private java.nio.channels.FileChannel _channel
    • Constructor Detail

      • PrincetonChannelDictionaryFile

        public PrincetonChannelDictionaryFile()
      • PrincetonChannelDictionaryFile

        public PrincetonChannelDictionaryFile​(java.lang.String path,
                                              POS pos,
                                              DictionaryFileType fileType)
    • Method Detail

      • readLine

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

        public void seek​(long pos)
                  throws java.io.IOException
        Description copied from interface: RandomAccessDictionaryFile
        Go to postion pos in the file.
        Throws:
        java.io.IOException
      • getFilePointer

        public long getFilePointer()
                            throws java.io.IOException
        Description copied from interface: RandomAccessDictionaryFile
        Get the current position of the file pointer.
        Throws:
        java.io.IOException
      • isOpen

        public boolean isOpen()
        Description copied from interface: DictionaryFile
        Return true if the file is open
      • close

        public void close()
        Description copied from interface: DictionaryFile
        Close the file
      • length

        public long length()
                    throws java.io.IOException
        Description copied from interface: RandomAccessDictionaryFile
        Get the length, in bytes, of the file
        Throws:
        java.io.IOException
      • read

        public int read()
                 throws java.io.IOException
        Description copied from interface: RandomAccessDictionaryFile
        Read a byte from the file
        Throws:
        java.io.IOException