|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
| com.uppaal.* |
|---|
| com.uppaal.engine.LexicalAnalyser | ||
|---|---|---|
public static final int |
BLOCK |
3 |
public static final int |
END |
1 |
public static final int |
ERROR_EOL |
10 |
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 |
WORD |
2 |
| com.uppaal.model.core2.CommonConstants | ||
|---|---|---|
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 |
GRIDCHANGE |
32 |
public static final int |
GRIDMIN |
32 |
public static final int |
SNAP_PER_GRID |
4 |
| com.uppaal.model.core2.Constants | ||
|---|---|---|
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 | ||
|---|---|---|
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 | ||
|---|---|---|
public static final boolean |
staticFlag |
false |
| com.uppaal.model.io2.UGIReaderConstants | ||
|---|---|---|
public static final int |
ASSIGN |
21 |
public static final int |
CLPAR |
29 |
public static final int |
COLOR |
32 |
public static final int |
COMMA |
25 |
public static final int |
DEFAULT |
0 |
public static final int |
DOT |
27 |
public static final int |
ECOLOR |
24 |
public static final int |
EOF |
0 |
public static final int |
EXTERNALDECL |
15 |
public static final int |
GLOBALDECL |
10 |
public static final int |
GRAPHINFO |
22 |
public static final int |
GUARD |
19 |
public static final int |
ID |
30 |
public static final int |
IMPORTS |
11 |
public static final int |
INVARIANT |
16 |
public static final int |
LCOLOR |
23 |
public static final int |
LOCALDECL |
14 |
public static final int |
LOCATION |
6 |
public static final int |
LOCATIONNAME |
7 |
public static final int |
NAT |
31 |
public static final int |
OPPAR |
28 |
public static final int |
PARAMLIST |
9 |
public static final int |
PROCASSIGN |
12 |
public static final int |
PROCESS |
5 |
public static final int |
SELECT |
18 |
public static final int |
SEMICOLON |
26 |
public static final int |
SYNC |
20 |
public static final int |
SYSTEMDEF |
13 |
public static final int |
TEMPLATENAME |
8 |
public static final int |
TRANS |
17 |
| com.uppaal.model.io2.XTAReaderConstants | ||
|---|---|---|
public static final int |
ASSIGN |
21 |
public static final int |
BECOMES |
25 |
public static final int |
BODY |
4 |
public static final int |
BRANCH |
15 |
public static final int |
CHAN |
9 |
public static final int |
CLBR |
40 |
public static final int |
CLBRACE |
35 |
public static final int |
CLOCK |
10 |
public static final int |
CLOSE |
29 |
public static final int |
COLON |
46 |
public static final int |
COMMA |
32 |
public static final int |
COMMIT |
17 |
public static final int |
CONST |
11 |
public static final int |
DEFAULT |
0 |
public static final int |
DOT |
37 |
public static final int |
EOF |
0 |
public static final int |
EQUAL |
38 |
public static final int |
ERROR |
53 |
public static final int |
EXCLMARK |
31 |
public static final int |
EXTERNAL |
7 |
public static final int |
FROM |
24 |
public static final int |
GEQ |
49 |
public static final int |
GRT |
50 |
public static final int |
GUARD |
19 |
public static final int |
ID |
51 |
public static final int |
IMPLIES |
44 |
public static final int |
IMPORT |
23 |
public static final int |
INIT |
13 |
public static final int |
INT |
8 |
public static final int |
IS |
48 |
public static final int |
ISNOT |
47 |
public static final int |
LEQ |
27 |
public static final int |
LESS |
26 |
public static final int |
LOCAL |
6 |
public static final int |
MINUS |
43 |
public static final int |
MLCOMMENT |
3 |
public static final int |
NAT |
52 |
public static final int |
OPBR |
39 |
public static final int |
OPBRACE |
34 |
public static final int |
OPEN |
28 |
public static final int |
PLUS |
41 |
public static final int |
PROCESS |
5 |
public static final int |
QM |
30 |
public static final int |
SELECT |
18 |
public static final int |
SEMICOLON |
33 |
public static final int |
SLASH |
36 |
public static final int |
SLCOMMENT |
2 |
public static final int |
STATE |
14 |
public static final int |
SYNC |
20 |
public static final int |
SYSTEM |
22 |
public static final int |
TIMES |
42 |
public static final int |
TRANS |
16 |
public static final int |
UNCONTROLLABLETRANS |
45 |
public static final int |
URGENT |
12 |
public static final int |
WS |
1 |
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||