Package net.sf.tweety.logics.rpcl.parser.rpclprobabilitydistributionparser

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
      static void adjustBeginLineColumn​(int newLine, int newCol)  
      static void backup​(int amount)  
      static char BeginToken()  
      static void Done()
      Reset buffer when finished.
      protected static void ExpandBuff​(boolean wrapAround)  
      protected static void FillBuff()  
      static int getBeginColumn()  
      static int getBeginLine()  
      static int getColumn()
      Deprecated.
      static int getEndColumn()  
      static int getEndLine()  
      static java.lang.String GetImage()  
      static int getLine()
      Deprecated.
      static char[] GetSuffix​(int len)  
      protected static int getTabSize​(int i)  
      static 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 static void setTabSize​(int i)  
      protected static 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

        static int bufsize

      • available

        static int available

      • tokenBegin

        static int tokenBegin

      • bufpos

        public static int bufpos
        Position in buffer.

      • bufline

        protected static int[] bufline

      • bufcolumn

        protected static int[] bufcolumn

      • column

        protected static int column

      • line

        protected static int line

      • prevCharIsCR

        protected static boolean prevCharIsCR

      • prevCharIsLF

        protected static boolean prevCharIsLF

      • inputStream

        protected static java.io.Reader inputStream

      • buffer

        protected static char[] buffer

      • maxNextCharInd

        protected static int maxNextCharInd

      • inBuf

        protected static int inBuf

      • tabSize

        protected static 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 static void setTabSize​(int i)

      • getTabSize

        protected static int getTabSize​(int i)

      • ExpandBuff

        protected static void ExpandBuff​(boolean wrapAround)

      • FillBuff

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

      • BeginToken

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

      • UpdateLineColumn

        protected static void UpdateLineColumn​(char c)

      • readChar

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

      • getColumn

        @Deprecated
public static int getColumn()
        Deprecated.

      • getLine

        @Deprecated
public static int getLine()
        Deprecated.

      • getEndColumn

        public static int getEndColumn()

      • getEndLine

        public static int getEndLine()

      • getBeginColumn

        public static int getBeginColumn()

      • getBeginLine

        public static int getBeginLine()

      • backup

        public static 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 static java.lang.String GetImage()

      • GetSuffix

        public static char[] GetSuffix​(int len)

      • Done

        public static void Done()
        Reset buffer when finished.

      • adjustBeginLineColumn

        public static void adjustBeginLineColumn​(int newLine,
                                         int newCol)