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

static int	ASSIGN RegularExpression Id.
static int	BECOMES RegularExpression Id.
static int	BODY RegularExpression Id.
static int	BRANCH 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	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	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 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

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

BRANCH

static final int BRANCH

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

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 String[] tokenImage

Literal token values.