public class Scanner
extends java.lang.Object
implements java_cup.runtime.Scanner
Modifier and Type | Field and Description |
---|---|
static int |
STRING1 |
static int |
STRING2 |
static int |
YYEOF
This character denotes the end of file.
|
static int |
YYINITIAL |
Constructor and Description |
---|
Scanner(java.io.Reader in)
Creates a new scanner
|
Modifier and Type | Method and Description |
---|---|
java_cup.runtime.Symbol |
next_token()
Resumes scanning until the next regular expression is matched, the end of input is encountered
or an I/O-Error occurs.
|
boolean |
yyatEOF()
Returns whether the scanner has reached the end of the reader it reads from.
|
void |
yybegin(int newState)
Enters a new lexical state.
|
char |
yycharat(int position)
Returns the character at the given position from the matched text.
|
void |
yyclose()
Closes the input reader.
|
int |
yylength()
How many characters were matched.
|
void |
yypushback(int number)
Pushes the specified amount of characters back into the input stream.
|
void |
yyreset(java.io.Reader reader)
Resets the scanner to read from a new input stream.
|
int |
yystate()
Returns the current lexical state.
|
java.lang.String |
yytext()
Returns the text matched by the current regular expression.
|
public static final int YYEOF
public static final int YYINITIAL
public static final int STRING1
public static final int STRING2
public Scanner(java.io.Reader in)
in
- the java.io.Reader to read input from.public final void yyclose() throws java.io.IOException
java.io.IOException
- if the reader could not be closed.public final void yyreset(java.io.Reader reader)
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.
reader
- The new input stream.public final boolean yyatEOF()
public final int yystate()
public final void yybegin(int newState)
newState
- the new lexical statepublic final java.lang.String yytext()
public final char yycharat(int position)
It is equivalent to yytext().charAt(pos)
, but faster.
position
- the position of the character to fetch. A value from 0 to yylength()-1
.position
.public final int yylength()
public void yypushback(int number) throws SyntaxException
They will be read again by then next call of the scanning method.
number
- the number of characters to be read again. This number must not be greater than
yylength()
.SyntaxException
public java_cup.runtime.Symbol next_token() throws java.io.IOException, SyntaxException
next_token
in interface java_cup.runtime.Scanner
java.io.IOException
- if any I/O-Error occurs.SyntaxException