| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
PUSHBACK_BUFFER_SIZE |
99 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
EXPRESSION_PREFIX |
"#EXPRESSION" |
public static final java.lang.String |
FORMULA_PREFIX |
"#FORMULA" |
public static final java.lang.String |
OPERATION_PATTERN_PREFIX |
"#OPPATTERN" |
public static final java.lang.String |
PREDICATE_PREFIX |
"#PREDICATE" |
public static final java.lang.String |
SUBSTITUTION_PREFIX |
"#SUBSTITUTION" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final char |
ZERO |
0 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
ACTIVATION |
"ACTIVATION" |
public static final java.lang.String |
CLASSIFICATION |
"CLASSIFICATION" |
public static final java.lang.String |
DEPENDS_ON_COMPUTATION |
"DEPENDS_ON_COMPUTATION" |
public static final java.lang.String |
DEPENDS_ON_RULE |
"DEPENDS_ON_RULE" |
public static final java.lang.String |
DISABLED_RULE |
"DISABLED_RULE" |
public static final java.lang.String |
ERROR_TYPES |
"ERROR_TYPES" |
public static final java.lang.String |
FAILED_RULE |
"FAILED_RULE" |
public static final java.lang.String |
FAILED_RULE_ALL_ERROR_TYPES |
"FAILED_RULE_ALL_ERROR_TYPES" |
public static final java.lang.String |
FAILED_RULE_ERROR_TYPE |
"FAILED_RULE_ERROR_TYPE" |
public static final java.lang.String |
GET_RULE_COUNTEREXAMPLES |
"GET_RULE_COUNTEREXAMPLES" |
public static final java.lang.String |
NOT_CHECKED_RULE |
"NOT_CHECKED_RULE" |
public static final java.lang.String |
POSTCONDITION |
"POSTCONDITION" |
public static final java.lang.String |
PRECONDITION |
"PRECONDITION" |
public static final java.lang.String |
REPLACES |
"REPLACES" |
public static final java.lang.String |
RULEID |
"RULEID" |
public static final java.lang.String |
STRING_FORMAT |
"STRING_FORMAT" |
public static final java.lang.String |
SUCCEEDED_RULE |
"SUCCEEDED_RULE" |
public static final java.lang.String |
SUCCEEDED_RULE_ERROR_TYPE |
"SUCCEEDED_RULE_ERROR_TYPE" |
public static final java.lang.String |
TAGS |
"TAGS" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
CHOOSE |
"CHOOSE" |
public static final java.lang.String |
FORCE |
"FORCE" |
public static final java.lang.String |
FORMAT_TO_STRING |
"FORMAT_TO_STRING" |
public static final java.lang.String |
PREFERENCES_PREFIX |
"SET_PREF_" |
public static final java.lang.String |
PRINT |
"PRINT" |
public static final java.lang.String |
SORT |
"SORT" |
public static final java.lang.String |
STRING_APPEND |
"STRING_APPEND" |
public static final java.lang.String |
TO_STRING |
"TO_STRING" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
GOAL |
"GOAL" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
CTAGS_FILE_NAME |
".rules-tags1" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final java.lang.String |
COMPUTATION_DISABLED |
"COMPUTATION_DISABLED" |
public static final java.lang.String |
COMPUTATION_EXECUTED |
"EXECUTED" |
public static final java.lang.String |
COMPUTATION_NOT_EXECUTED |
"NOT_EXECUTED" |
public static final java.lang.String |
RULE_COUNTER_EXAMPLE_VARIABLE_SUFFIX |
"_Counterexamples" |
public static final java.lang.String |
RULE_COUNTEREXAMPLE_OUTPUT_PARAMETER_NAME |
"$COUNTEREXAMPLES" |
public static final java.lang.String |
RULE_DISABLED |
"DISABLED" |
public static final java.lang.String |
RULE_FAIL |
"FAIL" |
public static final java.lang.String |
RULE_NOT_CHECKED |
"NOT_CHECKED" |
public static final java.lang.String |
RULE_RESULT_OUTPUT_PARAMETER_NAME |
"$RESULT" |
public static final java.lang.String |
RULE_SUCCESS |
"SUCCESS" |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
BG_BLACK |
40 |
public static final int |
BG_BLUE |
44 |
public static final int |
BG_CYAN |
46 |
public static final int |
BG_GREEN |
42 |
public static final int |
BG_MAGENTA |
45 |
public static final int |
BG_RED |
41 |
public static final int |
BG_WHITE |
47 |
public static final int |
BG_YELLOW |
43 |
public static final int |
BLINK |
5 |
public static final int |
BOLD |
1 |
public static final int |
CONCEALED |
8 |
public static final char |
ESC |
27 |
public static final int |
FG_BLACK |
30 |
public static final int |
FG_BLUE |
34 |
public static final int |
FG_CYAN |
36 |
public static final int |
FG_GREEN |
32 |
public static final int |
FG_MAGENTA |
35 |
public static final int |
FG_RED |
31 |
public static final int |
FG_WHITE |
37 |
public static final int |
FG_YELLOW |
33 |
public static final int |
NORMAL |
0 |
public static final int |
REVERSE |
7 |
public static final int |
UNDERSCORE |
4 |
| Modifier and Type | Constant Field | Value |
|---|---|---|
public static final int |
BG_BLACK |
40 |
public static final int |
BG_BLUE |
44 |
public static final int |
BG_CYAN |
46 |
public static final int |
BG_GREEN |
42 |
public static final int |
BG_MAGENTA |
45 |
public static final int |
BG_RED |
41 |
public static final int |
BG_WHITE |
47 |
public static final int |
BG_YELLOW |
43 |
public static final int |
BLINK |
5 |
public static final int |
BOLD |
1 |
public static final int |
CONCEALED |
8 |
public static final char |
ESC |
27 |
public static final int |
FG_BLACK |
30 |
public static final int |
FG_BLUE |
34 |
public static final int |
FG_CYAN |
36 |
public static final int |
FG_GREEN |
32 |
public static final int |
FG_MAGENTA |
35 |
public static final int |
FG_RED |
31 |
public static final int |
FG_WHITE |
37 |
public static final int |
FG_YELLOW |
33 |
public static final int |
NORMAL |
0 |
public static final int |
REVERSE |
7 |
public static final int |
UNDERSCORE |
4 |