org.antlr.tool

Class GrammarSpelunker.Scanner

java.lang.Object

org.antlr.tool.GrammarSpelunker.Scanner

Enclosing class:

GrammarSpelunker

public static class GrammarSpelunker.Scanner
extends java.lang.Object

Strip comments and then return stream of words and tokens {';', ':', '{', '}'}

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	c
static int	EOF
(package private) java.io.Reader	input

Constructor Summary

Constructors

Constructor and Description
Scanner(java.io.Reader input)

Method Summary

Modifier and Type	Method and Description
(package private) void	COMMENT()
(package private) void	consume()
(package private) java.lang.String	ID() NAME : LETTER+ ; // NAME is sequence of >=1 letter
(package private) java.lang.String	INT()
(package private) boolean	isDIGIT()
(package private) boolean	isID_LETTER()
(package private) boolean	isID_START()
java.lang.String	nextToken()
(package private) java.lang.String	STRING()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

EOF

public static final int EOF

See Also:

Constant Field Values

input

java.io.Reader input

c

int c

Constructor Detail

Scanner

public Scanner(java.io.Reader input)
        throws java.io.IOException

Throws:

java.io.IOException

Method Detail

isDIGIT

boolean isDIGIT()

isID_START

boolean isID_START()

isID_LETTER

boolean isID_LETTER()

consume

void consume()
      throws java.io.IOException

Throws:

java.io.IOException

nextToken

public java.lang.String nextToken()
                           throws java.io.IOException

Throws:

java.io.IOException

ID

java.lang.String ID()
             throws java.io.IOException

NAME : LETTER+ ; // NAME is sequence of >=1 letter

Throws:

java.io.IOException

INT

java.lang.String INT()
              throws java.io.IOException

Throws:

java.io.IOException

STRING

java.lang.String STRING()
                 throws java.io.IOException

Throws:

java.io.IOException

COMMENT

void COMMENT()
      throws java.io.IOException

Throws:

java.io.IOException