Class RandomAccessCharacterFile


  • public class RandomAccessCharacterFile
    extends java.lang.Object
    • Constructor Detail

      • RandomAccessCharacterFile

        public RandomAccessCharacterFile​(java.io.RandomAccessFile raf,
                                         java.lang.String encoding)
                                  throws java.io.IOException
        Throws:
        java.io.IOException
    • Method Detail

      • setEncoding

        public void setEncoding​(java.lang.String encoding)
      • getWriter

        public java.io.Writer getWriter()
      • getReader

        public java.io.PushbackReader getReader()
      • getInputStream

        public java.io.PushbackInputStream getInputStream()
      • getOutputStream

        public java.io.OutputStream getOutputStream()
      • close

        public final void close()
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • flush

        public final void flush()
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • position

        public final void position​(long newPosition)
                            throws java.io.IOException
        Throws:
        java.io.IOException
      • position

        public final long position()
                            throws java.io.IOException
        Throws:
        java.io.IOException
      • length

        public final long length()
                          throws java.io.IOException
        Throws:
        java.io.IOException
      • read

        public final int read​(byte[] b,
                              int off,
                              int len)
                       throws java.io.IOException
        Throws:
        java.io.IOException
      • unreadChar

        public final void unreadChar​(char c)
                              throws java.io.IOException
        Throws:
        java.io.IOException
      • unreadByte

        public final void unreadByte​(byte b)
                              throws java.io.IOException
        Throws:
        java.io.IOException