eu.cqse.check.framework.scanner

Class UnicodeEscapes

java.lang.Object

java.io.Reader

java.io.FilterReader

eu.cqse.check.framework.scanner.UnicodeEscapes

All Implemented Interfaces:

java.io.Closeable, java.lang.AutoCloseable, java.lang.Readable

public final class UnicodeEscapes
extends java.io.FilterReader

This class is a scanner generated by JFlex 1.6.1 from the specification file /builds/cqse/teamscale/lib/eu.cqse.check/grammars/unicode.flex

Field Summary

Fields

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

Fields inherited from class java.io.FilterReader

in

Fields inherited from class java.io.Reader

lock

Constructor Summary

Constructors

Constructor and Description
UnicodeEscapes(java.io.Reader in) Creates a new scanner

Method Summary

Modifier and Type	Method and Description
boolean	markSupported()
int	read() Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.
int	read(char[] cbuf, int off, int len)
boolean	ready()
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.io.FilterReader

close, mark, reset, skip

Methods inherited from class java.io.Reader

read, read

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

DIGITS

public static final int DIGITS

See Also:

Constant Field Values

Constructor Detail

UnicodeEscapes

public UnicodeEscapes(java.io.Reader in)

Creates a new scanner

Parameters:

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

Method Detail

read

public int read(char[] cbuf,
                int off,
                int len)
         throws java.io.IOException

Overrides:

read in class java.io.FilterReader

Throws:

java.io.IOException

markSupported

public boolean markSupported()

Overrides:

markSupported in class java.io.FilterReader

ready

public boolean ready()
              throws java.io.IOException

Overrides:

ready in class java.io.FilterReader

Throws:

java.io.IOException

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. Internal scan buffer is resized down to its initial length, if it has grown.

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

read

public int read()
         throws java.io.IOException

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

Overrides:

read in class java.io.FilterReader

Returns:

the next token

Throws:

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