com.uppaal.engine

Class LexicalAnalyser

java.lang.Object

com.uppaal.engine.LexicalAnalyser

Direct Known Subclasses:

Parser

public class LexicalAnalyser
extends Object

Lexical analyser 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 and 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 and Description
LexicalAnalyser(InputStream r)

Method Summary

Methods

Modifier and Type	Method and Description
protected ProtocolException	getException(String errorMsg)
BigDecimal	getFloat()
int	getIntValue()
int	getLookahead()
long	getValue()
String	getWord()
int	nextToken()
char	read()
String	readBlock()

Methods inherited from class java.lang.Object

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

Field Detail

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 Detail

LexicalAnalyser

public LexicalAnalyser(InputStream r)

Method Detail

getLookahead

public int getLookahead()
                 throws IOException

Throws:

IOException

getWord

public String getWord()

getIntValue

public int getIntValue()

getValue

public long getValue()

getFloat

public BigDecimal getFloat()

readBlock

public String readBlock()
                 throws IOException

Throws:

IOException

read

public char read()
          throws IOException

Throws:

IOException

nextToken

public int nextToken()
              throws IOException

Throws:

IOException

getException

protected ProtocolException getException(String errorMsg)