Class JavaCharStream


  • public class JavaCharStream
    extends java.lang.Object
    An implementation of interface CharStream, where the stream is assumed to contain only ASCII characters (with java-like unicode escape processing).
    • Constructor Summary

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

      All Methods Instance Methods Concrete Methods Deprecated Methods 
      Modifier and Type Method Description
      void adjustBeginLineColumn​(int newLine, int newCol)
      Method to adjust line and column numbers for the start of a token.
      protected void AdjustBuffSize()  
      void backup​(int amount)
      Retreat.
      char BeginToken()  
      void Done()
      Set buffers back to null when finished.
      protected void ExpandBuff​(boolean wrapAround)  
      protected void FillBuff()  
      int getBeginColumn()
      Get the beginning column.
      int getBeginLine()  
      int getColumn()
      Deprecated.
      int getEndColumn()
      Get end column.
      int getEndLine()
      Get end line.
      java.lang.String GetImage()
      Get the token timage.
      int getLine()
      Deprecated.
      char[] GetSuffix​(int len)
      Get the suffix as an array of characters.
      int getTabSize()  
      protected char ReadByte()  
      char readChar()  
      void ReInit​(java.io.InputStream dstream)
      Reinitialise.
      void ReInit​(java.io.InputStream dstream, int startline, int startcolumn)
      Reinitialise.
      void ReInit​(java.io.InputStream dstream, int startline, int startcolumn, int buffersize)
      Reinitialise.
      void ReInit​(java.io.InputStream dstream, java.lang.String encoding)
      Reinitialise.
      void ReInit​(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn)
      Reinitialise.
      void ReInit​(java.io.InputStream dstream, java.lang.String encoding, int startline, int startcolumn, int buffersize)
      Reinitialise.
      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)  
      void setTabSize​(int i)  
      protected void UpdateLineColumn​(char c)  
      • Methods inherited from class java.lang.Object

        clone, equals, finalize, 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
      • bufline

        protected int[] bufline
      • bufcolumn

        protected int[] bufcolumn
      • column

        protected int column
      • line

        protected int line
      • prevCharIsCR

        protected boolean prevCharIsCR
      • prevCharIsLF

        protected boolean prevCharIsLF
      • inputStream

        protected java.io.Reader inputStream
      • nextCharBuf

        protected char[] nextCharBuf
      • buffer

        protected char[] buffer
      • maxNextCharInd

        protected int maxNextCharInd
      • nextCharInd

        protected int nextCharInd
      • inBuf

        protected int inBuf
      • tabSize

        protected int tabSize
      • trackLineColumn

        protected boolean trackLineColumn
    • Constructor Detail

      • JavaCharStream

        public JavaCharStream​(java.io.Reader dstream,
                              int startline,
                              int startcolumn,
                              int buffersize)
        Constructor.
        Parameters:
        dstream - the underlying data source.
        startline - line number of the first character of the stream, mostly for error messages.
        startcolumn - column number of the first character of the stream.
        buffersize - size of the buffer
      • JavaCharStream

        public JavaCharStream​(java.io.Reader dstream,
                              int startline,
                              int startcolumn)
        Constructor.
        Parameters:
        dstream - the underlying data source.
        startline - line number of the first character of the stream, mostly for error messages.
        startcolumn - column number of the first character of the stream.
      • JavaCharStream

        public JavaCharStream​(java.io.Reader dstream)
        Constructor.
        Parameters:
        dstream - the underlying data source.
      • JavaCharStream

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

        public JavaCharStream​(java.io.InputStream dstream,
                              int startline,
                              int startcolumn,
                              int buffersize)
        Constructor.
        Parameters:
        dstream - the underlying data source.
        startline - line number of the first character of the stream, mostly for error messages.
        startcolumn - column number of the first character of the stream.
        buffersize - size of the buffer
      • JavaCharStream

        public JavaCharStream​(java.io.InputStream dstream,
                              java.lang.String encoding,
                              int startline,
                              int startcolumn)
                       throws java.io.UnsupportedEncodingException
        Constructor.
        Parameters:
        dstream - the underlying data source.
        encoding - the character encoding of the data stream.
        startline - line number of the first character of the stream, mostly for error messages.
        startcolumn - column number of the first character of the stream.
        Throws:
        java.io.UnsupportedEncodingException - encoding is invalid or unsupported.
      • JavaCharStream

        public JavaCharStream​(java.io.InputStream dstream,
                              int startline,
                              int startcolumn)
        Constructor.
        Parameters:
        dstream - the underlying data source.
        startline - line number of the first character of the stream, mostly for error messages.
        startcolumn - column number of the first character of the stream.
      • JavaCharStream

        public JavaCharStream​(java.io.InputStream dstream,
                              java.lang.String encoding)
                       throws java.io.UnsupportedEncodingException
        Constructor.
        Parameters:
        dstream - the underlying data source.
        encoding - the character encoding of the data stream.
        Throws:
        java.io.UnsupportedEncodingException - encoding is invalid or unsupported.
      • JavaCharStream

        public JavaCharStream​(java.io.InputStream dstream)
        Constructor.
        Parameters:
        dstream - the underlying data source.
    • Method Detail

      • setTabSize

        public void setTabSize​(int i)
      • getTabSize

        public int getTabSize()
      • ExpandBuff

        protected void ExpandBuff​(boolean wrapAround)
      • FillBuff

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

        protected char ReadByte()
                         throws java.io.IOException
        Throws:
        java.io.IOException
      • BeginToken

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

        protected void AdjustBuffSize()
      • UpdateLineColumn

        protected void UpdateLineColumn​(char c)
      • 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()
        Get end column.
        Returns:
        the end column or -1
      • getEndLine

        public int getEndLine()
        Get end line.
        Returns:
        the end line number or -1
      • getBeginColumn

        public int getBeginColumn()
        Get the beginning column.
        Returns:
        column of token start
      • getBeginLine

        public int getBeginLine()
        Returns:
        line number of token start
      • backup

        public void backup​(int amount)
        Retreat.
      • 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
        Reinitialise.
        Parameters:
        dstream - the underlying data source.
        encoding - the character encoding of the data stream.
        startline - line number of the first character of the stream, mostly for error messages.
        startcolumn - column number of the first character of the stream.
        buffersize - size of the buffer
        Throws:
        java.io.UnsupportedEncodingException
      • ReInit

        public void ReInit​(java.io.InputStream dstream,
                           int startline,
                           int startcolumn,
                           int buffersize)
        Reinitialise.
        Parameters:
        dstream - the underlying data source.
        startline - line number of the first character of the stream, mostly for error messages.
        startcolumn - column number of the first character of the stream.
        buffersize - size of the buffer
      • ReInit

        public void ReInit​(java.io.InputStream dstream,
                           java.lang.String encoding,
                           int startline,
                           int startcolumn)
                    throws java.io.UnsupportedEncodingException
        Reinitialise.
        Parameters:
        dstream - the underlying data source.
        encoding - the character encoding of the data stream.
        startline - line number of the first character of the stream, mostly for error messages.
        startcolumn - column number of the first character of the stream.
        Throws:
        java.io.UnsupportedEncodingException - encoding is invalid or unsupported.
      • ReInit

        public void ReInit​(java.io.InputStream dstream,
                           int startline,
                           int startcolumn)
        Reinitialise.
        Parameters:
        dstream - the underlying data source.
        startline - line number of the first character of the stream, mostly for error messages.
        startcolumn - column number of the first character of the stream.
      • ReInit

        public void ReInit​(java.io.InputStream dstream,
                           java.lang.String encoding)
                    throws java.io.UnsupportedEncodingException
        Reinitialise.
        Parameters:
        dstream - the underlying data source.
        encoding - the character encoding of the data stream.
        Throws:
        java.io.UnsupportedEncodingException - encoding is invalid or unsupported.
      • ReInit

        public void ReInit​(java.io.InputStream dstream)
        Reinitialise.
        Parameters:
        dstream - the underlying data source.
      • GetImage

        public java.lang.String GetImage()
        Get the token timage.
        Returns:
        token image as String
      • GetSuffix

        public char[] GetSuffix​(int len)
        Get the suffix as an array of characters.
        Parameters:
        len - the length of the array to return.
        Returns:
        suffix
      • Done

        public void Done()
        Set buffers back to null when finished.
      • adjustBeginLineColumn

        public void adjustBeginLineColumn​(int newLine,
                                          int newCol)
        Method to adjust line and column numbers for the start of a token.
        Parameters:
        newLine - the new line number.
        newCol - the new column number.