Class SimpleCharStream

    • Constructor Detail

      • SimpleCharStream

        public SimpleCharStream​(java.io.Reader dstream,
                                int startline,
                                int startcolumn,
                                int buffersize)
      • SimpleCharStream

        public SimpleCharStream​(java.io.Reader dstream,
                                int startline,
                                int startcolumn)
      • SimpleCharStream

        public SimpleCharStream​(java.io.InputStream dstream,
                                java.lang.String encoding,
                                int startline,
                                int startcolumn,
                                int buffersize)
                         throws java.io.UnsupportedEncodingException
        Throws:
        java.io.UnsupportedEncodingException
      • SimpleCharStream

        public SimpleCharStream​(java.io.InputStream dstream,
                                int startline,
                                int startcolumn,
                                int buffersize)
      • SimpleCharStream

        public SimpleCharStream​(java.io.InputStream dstream,
                                java.lang.String encoding,
                                int startline,
                                int startcolumn)
                         throws java.io.UnsupportedEncodingException
        Throws:
        java.io.UnsupportedEncodingException
      • SimpleCharStream

        public SimpleCharStream​(java.io.InputStream dstream,
                                int startline,
                                int startcolumn)
      • SimpleCharStream

        public SimpleCharStream​(java.io.InputStream dstream,
                                java.lang.String encoding)
                         throws java.io.UnsupportedEncodingException
        Throws:
        java.io.UnsupportedEncodingException
    • Method Detail

      • ExpandBuff

        protected void ExpandBuff​(boolean wrapAround)
      • FillBuff

        protected void FillBuff()
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • BeginToken

        public char BeginToken()
                        throws java.io.IOException
        Throws:
        java.io.IOException
      • readChar

        public char readChar()
                      throws java.io.IOException
        Throws:
        java.io.IOException
      • getColumn

        @Deprecated
        public int getColumn()
        Deprecated.
      • getLine

        @Deprecated
        public int getLine()
        Deprecated.
      • backup

        public void backup​(int amount)
      • ReInit

        public void ReInit​(java.io.Reader dstream,
                           int startline,
                           int startcolumn,
                           int buffersize)
      • ReInit

        public void ReInit​(java.io.Reader dstream,
                           int startline,
                           int startcolumn)
      • ReInit

        public void ReInit​(java.io.Reader dstream)
      • ReInit

        public void ReInit​(java.io.InputStream dstream,
                           java.lang.String encoding,
                           int startline,
                           int startcolumn,
                           int buffersize)
                    throws java.io.UnsupportedEncodingException
        Throws:
        java.io.UnsupportedEncodingException
      • ReInit

        public void ReInit​(java.io.InputStream dstream,
                           int startline,
                           int startcolumn,
                           int buffersize)
      • ReInit

        public void ReInit​(java.io.InputStream dstream,
                           java.lang.String encoding)
                    throws java.io.UnsupportedEncodingException
        Throws:
        java.io.UnsupportedEncodingException
      • ReInit

        public void ReInit​(java.io.InputStream dstream)
      • ReInit

        public void ReInit​(java.io.InputStream dstream,
                           java.lang.String encoding,
                           int startline,
                           int startcolumn)
                    throws java.io.UnsupportedEncodingException
        Throws:
        java.io.UnsupportedEncodingException
      • ReInit

        public void ReInit​(java.io.InputStream dstream,
                           int startline,
                           int startcolumn)
      • GetImage

        public java.lang.String GetImage()
      • GetSuffix

        public char[] GetSuffix​(int len)
      • Done

        public void Done()