|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| envgen.analysis.* |
| envgen.analysis.stat.locs.SymLocPath | ||
public static final int |
CONCRETE_LOC |
0 |
public static final int |
REACHABLE_LOC |
1 |
| envgen.analysis.stat.locs.SymLocTop | ||
public static final int |
DUMMY_LOC |
4 |
public static final int |
ENVIRONMENT_LOC |
2 |
public static final int |
READ_LOC |
5 |
public static final int |
UNKNOWN_LOC |
3 |
public static final int |
WRITE_LOC |
6 |
| envgen.spec.* |
| envgen.spec.parser.EnvGenParserConstants | ||
public static final int |
_DEFAULT |
38 |
public static final int |
ABSTRACT |
28 |
public static final int |
ASSIGN |
96 |
public static final int |
BANG |
99 |
public static final int |
BIT_AND |
115 |
public static final int |
BIT_OR |
116 |
public static final int |
BOOLEAN |
29 |
public static final int |
BREAK |
30 |
public static final int |
BYTE |
31 |
public static final int |
CASE |
32 |
public static final int |
CATCH |
33 |
public static final int |
CHAR |
34 |
public static final int |
CHARACTER_LITERAL |
82 |
public static final int |
CLASS |
35 |
public static final int |
COLON |
102 |
public static final int |
COMMA |
94 |
public static final int |
CONST |
36 |
public static final int |
CONTINUE |
37 |
public static final int |
DECIMAL_LITERAL |
77 |
public static final int |
DECR |
110 |
public static final int |
DEFAULT |
0 |
public static final int |
DEFINITIONS |
16 |
public static final int |
DIGIT |
86 |
public static final int |
DO |
39 |
public static final int |
DOT |
95 |
public static final int |
DOUBLE |
40 |
public static final int |
DRIVERASSUMPTIONS |
20 |
public static final int |
ELSE |
41 |
public static final int |
ENVIRONMENT |
14 |
public static final int |
EOF |
0 |
public static final int |
EQ |
103 |
public static final int |
EQUIVALENCE |
120 |
public static final int |
EVENTUALLY |
22 |
public static final int |
EXPONENT |
81 |
public static final int |
EXTENDS |
42 |
public static final int |
FALSE |
27 |
public static final int |
FINAL |
43 |
public static final int |
FINALLY |
44 |
public static final int |
FLOAT |
45 |
public static final int |
FLOATING_POINT_LITERAL |
80 |
public static final int |
FOR |
46 |
public static final int |
FORMAL_COMMENT |
11 |
public static final int |
GE |
105 |
public static final int |
GLOBALLY |
21 |
public static final int |
GOTO |
47 |
public static final int |
GT |
97 |
public static final int |
HEX_LITERAL |
78 |
public static final int |
HOOK |
101 |
public static final int |
IDENTIFIER |
84 |
public static final int |
IF |
48 |
public static final int |
IMPLEMENTS |
49 |
public static final int |
IMPLICATION |
119 |
public static final int |
IMPORT |
50 |
public static final int |
IN_FORMAL_COMMENT |
2 |
public static final int |
IN_MULTI_LINE_COMMENT |
3 |
public static final int |
IN_SINGLE_LINE_COMMENT |
1 |
public static final int |
INCR |
109 |
public static final int |
INSTANCEOF |
51 |
public static final int |
INSTANTIATIONS |
15 |
public static final int |
INT |
52 |
public static final int |
INTEGER_LITERAL |
76 |
public static final int |
INTERFACE |
53 |
public static final int |
LBRACE |
89 |
public static final int |
LBRACKET |
91 |
public static final int |
LE |
104 |
public static final int |
LETTER |
85 |
public static final int |
LONG |
54 |
public static final int |
LPAREN |
87 |
public static final int |
LT |
98 |
public static final int |
LTLASSUMPTIONS |
18 |
public static final int |
MINUS |
112 |
public static final int |
MULTI_LINE_COMMENT |
12 |
public static final int |
NATIVE |
55 |
public static final int |
NE |
106 |
public static final int |
NEW |
56 |
public static final int |
NEXT |
23 |
public static final int |
NULL |
57 |
public static final int |
OCTAL_LITERAL |
79 |
public static final int |
PACKAGE |
58 |
public static final int |
PLUS |
111 |
public static final int |
PRIVATE |
59 |
public static final int |
PROTECTED |
60 |
public static final int |
PUBLIC |
61 |
public static final int |
RBRACE |
90 |
public static final int |
RBRACKET |
92 |
public static final int |
REASSUMPTIONS |
17 |
public static final int |
REM |
118 |
public static final int |
RETURN |
62 |
public static final int |
RPAREN |
88 |
public static final int |
SC_AND |
108 |
public static final int |
SC_OR |
107 |
public static final int |
SEMICOLON |
93 |
public static final int |
SHORT |
63 |
public static final int |
SINGLE_LINE_COMMENT |
9 |
public static final int |
SLASH |
114 |
public static final int |
STAR |
113 |
public static final int |
STATIC |
64 |
public static final int |
STRING_LITERAL |
83 |
public static final int |
STUBASSUMPTIONS |
19 |
public static final int |
SUPER |
65 |
public static final int |
SWITCH |
66 |
public static final int |
SYNCHRONIZED |
67 |
public static final int |
THIS |
68 |
public static final int |
THROW |
69 |
public static final int |
THROWS |
70 |
public static final int |
TILDE |
100 |
public static final int |
TRANSIENT |
71 |
public static final int |
TRUE |
26 |
public static final int |
TRY |
72 |
public static final int |
UNTIL |
24 |
public static final int |
V |
25 |
public static final int |
VOID |
73 |
public static final int |
VOLATILE |
74 |
public static final int |
WHILE |
75 |
public static final int |
XOR |
117 |
| envgen.spec.parser.SimpleCharStream | ||
public static final boolean |
staticFlag |
true |
| envgen.spec.parser.TokenMgrError | ||
static final int |
INVALID_LEXICAL_STATE |
2 |
static final int |
LEXICAL_ERROR |
0 |
static final int |
LOOP_DETECTED |
3 |
static final int |
STATIC_LEXER_ERROR |
1 |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||