Package com.uppaal.engine

Class LexicalAnalyser

java.lang.Object

com.uppaal.engine.LexicalAnalyser

Direct Known Subclasses:

Parser

public class LexicalAnalyser
extends Object

Lexical analyzer used by EngineStub. It generates tokens from an InputStream. You most likely do not want to use this directly.

Field Summary

Fields

Modifier and Type	Field	Description
static int	BLOCK
static int	END
static int	ERROR_EOL
static int	FLOAT
static int	INT
static int	LONG
static int	NEWLINE
static int	NONE
static int	PARTIAL_END
static int	WORD

Constructor Summary

Constructors

Constructor	Description
LexicalAnalyser(InputStream r)	Constructor

Method Summary

Modifier and Type	Method	Description
protected ProtocolException	getException(String errorMsg)	Get the the protocol exception
BigDecimal	getFloat()	Get the float value of 'word'
int	getIntValue()	Get the integer value 'word'
int	getLookahead()	Get the value 'lookahead'
long	getValue()	Get the value the string
String	getWord()	Get the 'word' string
int	nextToken()	Find the next token
char	read()	Reads the char and stops by '\r'
String	readBlock()	Read the context of the block

Methods inherited from class java.lang.Object

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

Field Details

NEWLINE

public static final int NEWLINE

See Also:

Constant Field Values

END

public static final int END

See Also:

Constant Field Values

WORD

public static final int WORD

See Also:

Constant Field Values

BLOCK

public static final int BLOCK

See Also:

Constant Field Values

INT

public static final int INT

See Also:

Constant Field Values

FLOAT

public static final int FLOAT

See Also:

Constant Field Values

LONG

public static final int LONG

See Also:

Constant Field Values

NONE

public static final int NONE

See Also:

Constant Field Values

PARTIAL_END

public static final int PARTIAL_END

See Also:

Constant Field Values

ERROR_EOL

public static final int ERROR_EOL

See Also:

Constant Field Values

Constructor Details

LexicalAnalyser

public LexicalAnalyser(InputStream r)

Constructor

Parameters:

r - - The input stream

Method Details

getLookahead

public int getLookahead() throws IOException

Get the value 'lookahead'

Returns:

lookahead - The look ahead value

Throws:

IOException - engine crash or problem in communication.

getWord

public String getWord()

Get the 'word' string

Returns:

The word string

getIntValue

public int getIntValue()

Get the integer value 'word'

Returns:

The initial word value

getValue

public long getValue()

Get the value the string

Returns:

The long value of the word

getFloat

public BigDecimal getFloat()

Get the float value of 'word'

Returns:

The parsed value

readBlock

public String readBlock() throws IOException

Read the context of the block

Returns:

word - The context

Throws:

IOException - engine crash or problem in communication.

read

public char read() throws IOException

Reads the char and stops by '\r'

Returns:

The char

Throws:

IOException - engine crash or problem in communication.

nextToken

public int nextToken() throws IOException

Find the next token

Returns:

The token integer

Throws:

IOException - engine crash or problem in communication.

getException

protected ProtocolException getException(String errorMsg)

Get the the protocol exception

Parameters:

errorMsg - - The error message string

Returns:

- The protocol exception