Package org.svvrl.goal.core.logic.ltl.parser

Class SimpleCharStream

java.lang.Object
org.svvrl.goal.core.logic.ltl.parser.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
    (package private) int available  
    protected int[] bufcolumn  
    protected char[] buffer  
    protected int[] bufline  
    int bufpos
    Position in buffer.
    (package private) int bufsize  
    protected int column  
    protected int inBuf  
    protected java.io.Reader inputStream  
    protected int line  
    protected int maxNextCharInd  
    protected boolean prevCharIsCR  
    protected boolean prevCharIsLF  
    static boolean staticFlag
    Whether parser is static.
    protected int tabSize  
    (package private) int tokenBegin  

  • Constructor Summary

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

  • Method Summary

    Modifier and Type Method Description
    void adjustBeginLineColumn​(int newLine, int newCol)
    Method to adjust line and column numbers for the start of a token.
    void backup​(int amount)
    Backup a number of characters.
    char BeginToken()
    Start.
    void Done()
    Reset buffer when finished.
    protected void ExpandBuff​(boolean wrapAround)  
    protected void FillBuff()  
    int getBeginColumn()
    Get token beginning column number.
    int getBeginLine()
    Get token beginning line number.
    int getColumn()
    Deprecated.
    int getEndColumn()
    Get token end column number.
    int getEndLine()
    Get token end line number.
    java.lang.String GetImage()
    Get token literal value.
    int getLine()
    Deprecated.
    char[] GetSuffix​(int len)
    Get the suffix.
    protected int getTabSize​(int i)  
    char readChar()
    Read a character.
    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)
    Reinitialise.
    void ReInit​(java.io.Reader dstream, int startline, int startcolumn)
    Reinitialise.
    void ReInit​(java.io.Reader dstream, int startline, int startcolumn, int buffersize)
    Reinitialise.
    protected 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 Details

  • Constructor Details

    • SimpleCharStream

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

    • SimpleCharStream

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

    • SimpleCharStream

      public SimpleCharStream​(java.io.Reader dstream)
      Constructor.

    • SimpleCharStream

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

    • SimpleCharStream

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

    • SimpleCharStream

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

    • SimpleCharStream

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

    • SimpleCharStream

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

    • SimpleCharStream

      public SimpleCharStream​(java.io.InputStream dstream)
      Constructor.

  • Method Details

    • setTabSize

      protected void setTabSize​(int i)

    • getTabSize

      protected int getTabSize​(int i)

    • 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
      Start.
      Throws:
      java.io.IOException

    • UpdateLineColumn

      protected void UpdateLineColumn​(char c)

    • readChar

      public char readChar() throws java.io.IOException
      Read a character.
      Throws:
      java.io.IOException

    • getColumn

      @Deprecated public int getColumn()
      Deprecated.

    • getLine

      @Deprecated public int getLine()
      Deprecated.

    • getEndColumn

      public int getEndColumn()
      Get token end column number.

    • getEndLine

      public int getEndLine()
      Get token end line number.

    • getBeginColumn

      public int getBeginColumn()
      Get token beginning column number.

    • getBeginLine

      public int getBeginLine()
      Get token beginning line number.

    • backup

      public void backup​(int amount)
      Backup a number of characters.

    • ReInit

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

    • ReInit

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

    • ReInit

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

    • ReInit

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

    • ReInit

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

    • ReInit

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

    • ReInit

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

    • ReInit

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

    • ReInit

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

    • GetImage

      public java.lang.String GetImage()
      Get token literal value.

    • GetSuffix

      public char[] GetSuffix​(int len)
      Get the suffix.

    • Done

      public void Done()
      Reset buffer when finished.

    • adjustBeginLineColumn

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