Class FastCharStream


  • public class FastCharStream
    extends java.lang.Object
    Author:
    Simon Thoresen Hult
    • Constructor Detail

      • FastCharStream

        public FastCharStream​(java.lang.String input)
    • Method Detail

      • readChar

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

        public int getEndColumn()
      • getEndLine

        public int getEndLine()
      • getBeginColumn

        public int getBeginColumn()
      • getBeginLine

        public int getBeginLine()
      • backup

        public void backup​(int amount)
      • beginToken

        public char beginToken()
                        throws java.io.IOException
        Throws:
        java.io.IOException
      • getImage

        public java.lang.String getImage()
      • getSuffix

        public char[] getSuffix​(int len)
      • done

        public void done()
      • setTabSize

        public void setTabSize​(int i)
      • getTabSize

        public int getTabSize()
      • setTrackLineColumn

        public void setTrackLineColumn​(boolean tlc)
      • isTrackLineColumn

        public boolean isTrackLineColumn()
      • formatException

        public java.lang.String formatException​(java.lang.String parseException)