public static class GrammarSpelunker.Scanner
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) int |
c |
static int |
EOF |
(package private) java.io.Reader |
input |
Constructor and Description |
---|
Scanner(java.io.Reader input) |
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() |
public static final int EOF
java.io.Reader input
int c
public Scanner(java.io.Reader input) throws java.io.IOException
java.io.IOException
boolean isDIGIT()
boolean isID_START()
boolean isID_LETTER()
void consume() throws java.io.IOException
java.io.IOException
public java.lang.String nextToken() throws java.io.IOException
java.io.IOException
java.lang.String ID() throws java.io.IOException
java.io.IOException
java.lang.String INT() throws java.io.IOException
java.io.IOException
java.lang.String STRING() throws java.io.IOException
java.io.IOException
void COMMENT() throws java.io.IOException
java.io.IOException