Class TologLexer

  • All Implemented Interfaces:
    antlr.TokenStream

    public class TologLexer
    extends Object
    implements antlr.TokenStream
    A tolog lexer, to be used with the Antlr-generated parser.
    • Constructor Detail

      • TologLexer

        public TologLexer​(Reader in)
        Creates a new scanner
        Parameters:
        in - the java.io.Reader to read input from.
    • Method Detail

      • nextToken

        public antlr.Token nextToken()
        Specified by:
        nextToken in interface antlr.TokenStream
      • getStartOfToken

        public int getStartOfToken()
      • yyreset

        public final void yyreset​(Reader reader)
        Resets the scanner to read from a new input stream. Does not close the old reader. All internal variables are reset, the old input stream cannot be reused (internal buffer is discarded and lost). Lexical state is set to ZZ_INITIAL. Internal scan buffer is resized down to its initial length, if it has grown.
        Parameters:
        reader - the new input stream
      • yystate

        public final int yystate()
        Returns the current lexical state.
      • yybegin

        public final void yybegin​(int newState)
        Enters a new lexical state
        Parameters:
        newState - the new lexical state
      • yytext

        public final String yytext()
        Returns the text matched by the current regular expression.
      • yycharat

        public final char yycharat​(int pos)
        Returns the character at position pos from the matched text. It is equivalent to yytext().charAt(pos), but faster
        Parameters:
        pos - the position of the character to fetch. A value from 0 to yylength()-1.
        Returns:
        the character at position pos
      • yylength

        public final int yylength()
        Returns the length of the matched text region.
      • yypushback

        public void yypushback​(int number)
        Pushes the specified amount of characters back into the input stream. They will be read again by then next call of the scanning method
        Parameters:
        number - the number of characters to be read again. This number must not be greater than yylength()!
      • nextToken2

        public antlr.Token nextToken2()
                               throws IOException
        Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
        Returns:
        the next token
        Throws:
        IOException - if any I/O-Error occurs