Constant Field Values

Contents

• com.uppaal.*

com.uppaal.*

com.uppaal.engine.LexicalAnalyser

Modifier and Type	Constant Field	Value
public static final int	BLOCK	3
public static final int	END	1
public static final int	ERROR_EOL	10
public static final int	FLOAT	7
public static final int	INT	4
public static final int	LONG	5
public static final int	NEWLINE	0
public static final int	NONE	6
public static final int	PARTIAL_END	8
public static final int	WORD	2

com.uppaal.engine.QueryResult

Modifier and Type	Constant Field	Value
public static final int	MAYBE_NOT_OK	3
public static final int	MAYBE_OK	2
public static final int	NOT_OK	4
public static final int	OK	1
public static final int	UNCHECKED	5

com.uppaal.model.core2.CommonConstants

Modifier and Type	Constant Field	Value
public static final double	ARROW_ANGLE	0.2617993877991494
public static final int	ARROW_LENGTH	10
public static final String	BIGFONTNAME	"SansSerif"
public static final String	FONTNAME	"SansSerif"
public static final int	SNAP_PER_GRID	4

com.uppaal.model.core2.Constants

Modifier and Type	Constant Field	Value
public static final int	BRANCHPOINT_RADIUS	5
public static final int	NAIL_RADIUS	5
public static final int	STATE_COMMIT_RADIUS	5
public static final int	STATE_INIT_RADIUS	8
public static final int	STATE_RADIUS	12
public static final int	STATE_URGENT_RADIUS	5
public static final int	TRANS_TOUCH_DISTANCE	3

com.uppaal.model.core2.lsc.LscConstants

Modifier and Type	Constant Field	Value
public static final int	ANCHOR_PRECHART_RADIUS	6
public static final int	ANCHOR_RADIUS	4
public static final double	ARROW_BASE	6.0
public static final double	ARROW_HEIGHT	3.0
public static final int	CONDITION_SIDES	20
public static final int	CONDITION_UPDATE_HEIGHT	20
public static final int	CUT_SIDE_DISTANCE	40
public static final int	CUT_Y_DISTANCE	40
public static final int	FOOT_TOUCH_DISTANCE	10
public static final int	INSTANCE_FOOT_HEIGHT	4
public static final int	INSTANCE_FOOT_WIDTH	50
public static final int	INSTANCE_HEIGHT	20
public static final int	INSTANCE_LENGTH	210
public static final int	INSTANCE_MIN_WIDTH	60
public static final int	LOC_DISTANCE	20
public static final int	PRECHART_MIN_HEIGHT	30
public static final int	PRECHART_SIDE_DISTANCE	20
public static final int	PRECHART_TOP_DISTANCE	20
public static final int	TOP_DISTANCE	10
public static final int	TOUCH_DISTANCE	3
public static final int	TOUCH_INSTANCE_DISTANCE	4

com.uppaal.model.io2.SimpleCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

com.uppaal.model.io2.UGIReaderConstants

Modifier and Type	Constant Field	Value
public static final int	ASSIGN	23
public static final int	BRANCHPOINT	8
public static final int	CLPAR	32
public static final int	COLOR	35
public static final int	COMMA	28
public static final int	DEFAULT	0
public static final int	DOT	30
public static final int	ECOLOR	27
public static final int	EOF	0
public static final int	EXPRATE	18
public static final int	EXTERNALDECL	16
public static final int	GLOBALDECL	11
public static final int	GRAPHINFO	25
public static final int	GUARD	21
public static final int	ID	33
public static final int	IMPORTS	12
public static final int	INVARIANT	17
public static final int	LCOLOR	26
public static final int	LOCALDECL	15
public static final int	LOCATION	6
public static final int	LOCATIONNAME	7
public static final int	NAT	34
public static final int	OPPAR	31
public static final int	PARAMLIST	10
public static final int	PROBABILITY	24
public static final int	PROCASSIGN	13
public static final int	PROCESS	5
public static final int	SELECT	20
public static final int	SEMICOLON	29
public static final int	SYNC	22
public static final int	SYSTEMDEF	14
public static final int	TEMPLATENAME	9
public static final int	TRANS	19

com.uppaal.model.io2.XTAReaderConstants

Modifier and Type	Constant Field	Value
public static final int	ASSIGN	22
public static final int	BECOMES	27
public static final int	BODY	4
public static final int	BRANCHPOINT	16
public static final int	CHAN	9
public static final int	CLBR	42
public static final int	CLBRACE	37
public static final int	CLOCK	10
public static final int	CLOSE	31
public static final int	COLON	48
public static final int	COMMA	34
public static final int	COMMIT	18
public static final int	CONST	12
public static final int	DEFAULT	0
public static final int	DOT	39
public static final int	DOUBLE	11
public static final int	EOF	0
public static final int	EQUAL	40
public static final int	ERROR	55
public static final int	EXCLMARK	33
public static final int	EXTERNAL	7
public static final int	FROM	26
public static final int	GEQ	51
public static final int	GRT	52
public static final int	GUARD	20
public static final int	ID	53
public static final int	IMPLIES	46
public static final int	IMPORT	25
public static final int	INIT	14
public static final int	INT	8
public static final int	IS	50
public static final int	ISNOT	49
public static final int	LEQ	29
public static final int	LESS	28
public static final int	LOCAL	6
public static final int	MINUS	45
public static final int	MLCOMMENT	3
public static final int	NAT	54
public static final int	OPBR	41
public static final int	OPBRACE	36
public static final int	OPEN	30
public static final int	PLUS	43
public static final int	PROBABILITY	23
public static final int	PROCESS	5
public static final int	QM	32
public static final int	SELECT	19
public static final int	SEMICOLON	35
public static final int	SLASH	38
public static final int	SLCOMMENT	2
public static final int	STATE	15
public static final int	SYNC	21
public static final int	SYSTEM	24
public static final int	TIMES	44
public static final int	TRANS	17
public static final int	UNCONTROLLABLETRANS	47
public static final int	URGENT	13
public static final int	WS	1