Class SimpleCharStream


  • public class SimpleCharStream
    extends java.lang.Object
    An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (without unicode processing).
    • Field Summary

      Fields 
      Modifier and Type Field Description
      int bufpos
      Position in buffer.
      static boolean staticFlag
      Whether parser is static.
    • Constructor Summary

      Constructors 
      Constructor Description
      SimpleCharStream​(java.io.InputStream dstream)  
      SimpleCharStream​(java.io.InputStream dstream, int startline, int startcolumn)  
      SimpleCharStream​(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)  
      SimpleCharStream​(java.io.InputStream dstream, java.lang.String encoding)  
      SimpleCharStream​(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn)  
      SimpleCharStream​(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize)  
      SimpleCharStream​(java.io.Reader dstream)  
      SimpleCharStream​(java.io.Reader dstream, int startline, int startcolumn)  
      SimpleCharStream​(java.io.Reader dstream, int startline, int startcolumn, int buffersize)  
    • Method Summary

      Modifier and Type Method Description
      void adjustBeginLineColumn​(int newLine, int newCol)  
      void backup​(int amount)  
      char BeginToken()  
      void Done()
      Reset buffer when finished.
      int getBeginColumn()  
      int getBeginLine()  
      int getColumn()
      Deprecated.
      int getEndColumn()  
      int getEndLine()  
      java.lang.String GetImage()  
      int getLine()
      Deprecated.
      char[] GetSuffix​(int len)  
      char readChar()  
      void ReInit​(java.io.InputStream dstream)  
      void ReInit​(java.io.InputStream dstream, int startline, int startcolumn)  
      void ReInit​(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)  
      void ReInit​(java.io.InputStream dstream, java.lang.String encoding)  
      void ReInit​(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn)  
      void ReInit​(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize)  
      void ReInit​(java.io.Reader dstream)  
      void ReInit​(java.io.Reader dstream, int startline, int startcolumn)  
      void ReInit​(java.io.Reader dstream, int startline, int startcolumn, int buffersize)  
      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • staticFlag

        public static final boolean staticFlag
        Whether parser is static.
        See Also:
        Constant Field Values
      • bufpos

        public int bufpos
        Position in buffer.
    • 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.Reader dstream)
      • 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
      • SimpleCharStream

        public SimpleCharStream​(java.io.InputStream dstream)
    • Method Detail

      • 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.
      • getEndColumn

        public int getEndColumn()
      • getEndLine

        public int getEndLine()
      • getBeginColumn

        public int getBeginColumn()
      • getBeginLine

        public int getBeginLine()
      • 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()
        Reset buffer when finished.
      • adjustBeginLineColumn

        public void adjustBeginLineColumn​(int newLine,
                                          int newCol)