edu.mit.csail.sdg.alloy4compiler.parser
Class CompLexer

java.lang.Object
  edu.mit.csail.sdg.alloy4compiler.parser.CompLexer

All Implemented Interfaces:

Scanner

public final class CompLexer
extends java.lang.Object
implements Scanner

Autogenerated by JFlex 1.4.1

Field Summary

java.lang.String	alloy_filename
int	alloy_lineoffset
CompModule	alloy_module
java.util.List<java.lang.Object>	alloy_seenDollar
static int	YYEOF This character denotes the end of file
static int	YYINITIAL lexical states

Constructor Summary

CompLexer(java.io.InputStream in)
Creates a new scanner.

CompLexer(java.io.Reader in)
Creates a new scanner There is also a java.io.InputStream version of this constructor.

Method Summary

Symbol	next_token() 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(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.

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

YYINITIAL

public static final int YYINITIAL

lexical states

See Also:

Constant Field Values

alloy_filename

public java.lang.String alloy_filename

alloy_lineoffset

public int alloy_lineoffset

alloy_seenDollar

public java.util.List<java.lang.Object> alloy_seenDollar

alloy_module

public CompModule alloy_module

Constructor Detail

CompLexer

public CompLexer(java.io.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.

CompLexer

public CompLexer(java.io.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 java.io.IOException

Closes the input stream.

Throws:

java.io.IOException

yyreset

public final void yyreset(java.io.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 java.lang.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()!

next_token

public Symbol next_token()
                  throws java.io.IOException,
                         Err

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

Specified by:

next_token in interface Scanner

Returns:

the next token

Throws:

java.io.IOException - if any I/O-Error occurs

Err