Package com.uppaal.model.io2

Interface XTAReaderConstants

All Known Implementing Classes:

XTAReader, XTAReaderTokenManager

public interface XTAReaderConstants

Token literal values and constants. Generated by org.javacc.parser.OtherFilesGen#start()

Field Summary

Fields

Modifier and Type	Field	Description
static int	ASSIGN	RegularExpression Id.
static int	BECOMES	RegularExpression Id.
static int	BODY	RegularExpression Id.
static int	BRANCHPOINT	RegularExpression Id.
static int	CHAN	RegularExpression Id.
static int	CLBR	RegularExpression Id.
static int	CLBRACE	RegularExpression Id.
static int	CLOCK	RegularExpression Id.
static int	CLOSE	RegularExpression Id.
static int	COLON	RegularExpression Id.
static int	COMMA	RegularExpression Id.
static int	COMMIT	RegularExpression Id.
static int	CONST	RegularExpression Id.
static int	DEFAULT	Lexical state.
static int	DOT	RegularExpression Id.
static int	DOUBLE	RegularExpression Id.
static int	EOF	End of File.
static int	EQUAL	RegularExpression Id.
static int	ERROR	RegularExpression Id.
static int	EXCLMARK	RegularExpression Id.
static int	EXTERNAL	RegularExpression Id.
static int	FROM	RegularExpression Id.
static int	GEQ	RegularExpression Id.
static int	GRT	RegularExpression Id.
static int	GUARD	RegularExpression Id.
static int	ID	RegularExpression Id.
static int	IMPLIES	RegularExpression Id.
static int	IMPORT	RegularExpression Id.
static int	INIT	RegularExpression Id.
static int	INT	RegularExpression Id.
static int	IS	RegularExpression Id.
static int	ISNOT	RegularExpression Id.
static int	LEQ	RegularExpression Id.
static int	LESS	RegularExpression Id.
static int	LOCAL	RegularExpression Id.
static int	MINUS	RegularExpression Id.
static int	MLCOMMENT	RegularExpression Id.
static int	NAT	RegularExpression Id.
static int	OPBR	RegularExpression Id.
static int	OPBRACE	RegularExpression Id.
static int	OPEN	RegularExpression Id.
static int	PLUS	RegularExpression Id.
static int	PROBABILITY	RegularExpression Id.
static int	PROCESS	RegularExpression Id.
static int	QM	RegularExpression Id.
static int	SELECT	RegularExpression Id.
static int	SEMICOLON	RegularExpression Id.
static int	SLASH	RegularExpression Id.
static int	SLCOMMENT	RegularExpression Id.
static int	STATE	RegularExpression Id.
static int	SYNC	RegularExpression Id.
static int	SYSTEM	RegularExpression Id.
static int	TIMES	RegularExpression Id.
static java.lang.String[]	tokenImage	Literal token values.
static int	TRANS	RegularExpression Id.
static int	UNCONTROLLABLETRANS	RegularExpression Id.
static int	URGENT	RegularExpression Id.
static int	WS	RegularExpression Id.

Field Detail

EOF

static final int EOF

End of File.

See Also:

Constant Field Values

WS

static final int WS

RegularExpression Id.

See Also:

Constant Field Values

SLCOMMENT

static final int SLCOMMENT

RegularExpression Id.

See Also:

Constant Field Values

MLCOMMENT

static final int MLCOMMENT

RegularExpression Id.

See Also:

Constant Field Values

BODY

static final int BODY

RegularExpression Id.

See Also:

Constant Field Values

PROCESS

static final int PROCESS

RegularExpression Id.

See Also:

Constant Field Values

LOCAL

static final int LOCAL

RegularExpression Id.

See Also:

Constant Field Values

EXTERNAL

static final int EXTERNAL

RegularExpression Id.

See Also:

Constant Field Values

INT

static final int INT

RegularExpression Id.

See Also:

Constant Field Values

CHAN

static final int CHAN

RegularExpression Id.

See Also:

Constant Field Values

CLOCK

static final int CLOCK

RegularExpression Id.

See Also:

Constant Field Values

DOUBLE

static final int DOUBLE

RegularExpression Id.

See Also:

Constant Field Values

CONST

static final int CONST

RegularExpression Id.

See Also:

Constant Field Values

URGENT

static final int URGENT

RegularExpression Id.

See Also:

Constant Field Values

INIT

static final int INIT

RegularExpression Id.

See Also:

Constant Field Values

STATE

static final int STATE

RegularExpression Id.

See Also:

Constant Field Values

BRANCHPOINT

static final int BRANCHPOINT

RegularExpression Id.

See Also:

Constant Field Values

TRANS

static final int TRANS

RegularExpression Id.

See Also:

Constant Field Values

COMMIT

static final int COMMIT

RegularExpression Id.

See Also:

Constant Field Values

SELECT

static final int SELECT

RegularExpression Id.

See Also:

Constant Field Values

GUARD

static final int GUARD

RegularExpression Id.

See Also:

Constant Field Values

SYNC

static final int SYNC

RegularExpression Id.

See Also:

Constant Field Values

ASSIGN

static final int ASSIGN

RegularExpression Id.

See Also:

Constant Field Values

PROBABILITY

static final int PROBABILITY

RegularExpression Id.

See Also:

Constant Field Values

SYSTEM

static final int SYSTEM

RegularExpression Id.

See Also:

Constant Field Values

IMPORT

static final int IMPORT

RegularExpression Id.

See Also:

Constant Field Values

FROM

static final int FROM

RegularExpression Id.

See Also:

Constant Field Values

BECOMES

static final int BECOMES

RegularExpression Id.

See Also:

Constant Field Values

LESS

static final int LESS

RegularExpression Id.

See Also:

Constant Field Values

LEQ

static final int LEQ

RegularExpression Id.

See Also:

Constant Field Values

OPEN

static final int OPEN

RegularExpression Id.

See Also:

Constant Field Values

CLOSE

static final int CLOSE

RegularExpression Id.

See Also:

Constant Field Values

QM

static final int QM

RegularExpression Id.

See Also:

Constant Field Values

EXCLMARK

static final int EXCLMARK

RegularExpression Id.

See Also:

Constant Field Values

COMMA

static final int COMMA

RegularExpression Id.

See Also:

Constant Field Values

SEMICOLON

static final int SEMICOLON

RegularExpression Id.

See Also:

Constant Field Values

OPBRACE

static final int OPBRACE

RegularExpression Id.

See Also:

Constant Field Values

CLBRACE

static final int CLBRACE

RegularExpression Id.

See Also:

Constant Field Values

SLASH

static final int SLASH

RegularExpression Id.

See Also:

Constant Field Values

DOT

static final int DOT

RegularExpression Id.

See Also:

Constant Field Values

EQUAL

static final int EQUAL

RegularExpression Id.

See Also:

Constant Field Values

OPBR

static final int OPBR

RegularExpression Id.

See Also:

Constant Field Values

CLBR

static final int CLBR

RegularExpression Id.

See Also:

Constant Field Values

PLUS

static final int PLUS

RegularExpression Id.

See Also:

Constant Field Values

TIMES

static final int TIMES

RegularExpression Id.

See Also:

Constant Field Values

MINUS

static final int MINUS

RegularExpression Id.

See Also:

Constant Field Values

IMPLIES

static final int IMPLIES

RegularExpression Id.

See Also:

Constant Field Values

UNCONTROLLABLETRANS

static final int UNCONTROLLABLETRANS

RegularExpression Id.

See Also:

Constant Field Values

COLON

static final int COLON

RegularExpression Id.

See Also:

Constant Field Values

ISNOT

static final int ISNOT

RegularExpression Id.

See Also:

Constant Field Values

IS

static final int IS

RegularExpression Id.

See Also:

Constant Field Values

GEQ

static final int GEQ

RegularExpression Id.

See Also:

Constant Field Values

GRT

static final int GRT

RegularExpression Id.

See Also:

Constant Field Values

ID

static final int ID

RegularExpression Id.

See Also:

Constant Field Values

NAT

static final int NAT

RegularExpression Id.

See Also:

Constant Field Values

ERROR

static final int ERROR

RegularExpression Id.

See Also:

Constant Field Values

DEFAULT

static final int DEFAULT

Lexical state.

See Also:

Constant Field Values

tokenImage

static final java.lang.String[] tokenImage

Literal token values.