soot.JastAddJ

Class JavaScanner

java.lang.Object

beaver.Scanner

soot.JastAddJ.JavaScanner

public final class JavaScanner
extends Scanner

This class is a scanner generated by JFlex 1.4 on 1/18/13 11:47 AM from the specification file /Users/eric/Documents/workspaces/clara-soot/JastAddExtensions/SootJastAddJ/soot/JastAddJ/JavaScanner.flex

Nested Class Summary

Nested classes/interfaces inherited from class beaver.Scanner

Scanner.Exception

Field Summary

Fields

Modifier and Type	Field and Description
static int	STRING lexical states
static int	YYEOF This character denotes the end of file
static int	YYINITIAL

Constructor Summary

Constructors

Constructor and Description
JavaScanner(InputStream in) Creates a new scanner.
JavaScanner(Reader in) Creates a new scanner There is also a java.io.InputStream version of this constructor.

Method Summary

Modifier and Type	Method and Description
Symbol	nextToken() Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
void	yybegin(int newState) Enters a new lexical state
char	yycharat(int pos) Returns the character at position pos from the matched text.
void	yyclose() Closes the input stream.
int	yylength() Returns the length of the matched text region.
void	yypushback(int number) Pushes the specified amount of characters back into the input stream.
void	yyreset(Reader reader) Resets the scanner to read from a new input stream.
int	yystate() Returns the current lexical state.
String	yytext() Returns the text matched by the current regular expression.

Methods inherited from class java.lang.Object

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

Field Detail

YYEOF

public static final int YYEOF

This character denotes the end of file

See Also:

Constant Field Values

STRING

public static final int STRING

lexical states

See Also:

Constant Field Values

YYINITIAL

public static final int YYINITIAL

See Also:

Constant Field Values

Constructor Detail

JavaScanner

public JavaScanner(Reader in)

Creates a new scanner There is also a java.io.InputStream version of this constructor.

Parameters:

in - the java.io.Reader to read input from.

JavaScanner

public JavaScanner(InputStream in)

Creates a new scanner. There is also java.io.Reader version of this constructor.

Parameters:

in - the java.io.Inputstream to read input from.

Method Detail

yyclose

public final void yyclose()
                   throws IOException

Closes the input stream.

Throws:

IOException

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.

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()!

nextToken

public Symbol nextToken()
                 throws IOException,
                        Scanner.Exception

Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.

Specified by:

nextToken in class Scanner

Returns:

the next token

Throws:

IOException - if any I/O-Error occurs

Scanner.Exception