Package net.sf.tweety.arg.delp.parser

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).

    • 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()  
      protected void ExpandBuff​(boolean wrapAround)  
      protected void FillBuff()  
      int getBeginColumn()  
      int getBeginLine()  
      int getColumn()
      Deprecated.
      int getEndColumn()  
      int getEndLine()  
      java.lang.String GetImage()  
      int getLine()
      Deprecated.
      char[] GetSuffix​(int len)  
      protected int getTabSize​(int i)  
      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)  
      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 Detail

      • staticFlag

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

      • bufsize

        int bufsize

      • available

        int available

      • tokenBegin

        int tokenBegin

      • bufpos

        public int bufpos
        Position in buffer.

      • 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

      • buffer

        protected char[] buffer

      • maxNextCharInd

        protected int maxNextCharInd

      • inBuf

        protected int inBuf

      • tabSize

        protected int tabSize

    • 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

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

      • 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()

      • 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()

      • adjustBeginLineColumn

        public void adjustBeginLineColumn​(int newLine,
                                  int newCol)