|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
| daikon.* |
|---|
| daikon.Chicory | ||
|---|---|---|
public static final boolean |
checkStaticInit |
true |
public static final String |
synopsis |
"daikon.Chicory [options] target [target-args]" |
| daikon.Daikon | ||
|---|---|---|
public static final boolean |
check_program_types |
true |
public static final String |
conf_limit_SWITCH |
"conf_limit" |
public static final String |
config_option_SWITCH |
"config_option" |
public static final String |
config_SWITCH |
"config" |
public static final String |
debug_SWITCH |
"dbg" |
public static final String |
debugAll_SWITCH |
"debug" |
public static final boolean |
disable_modbit_check_error |
false |
public static final boolean |
disable_modbit_check_message |
false |
public static final String |
disc_reason_SWITCH |
"disc_reason" |
public static final String |
files_from_SWITCH |
"files_from" |
public static final String |
format_SWITCH |
"format" |
public static final String |
help_SWITCH |
"help" |
public static final boolean |
invariants_check_canBeMissing |
false |
public static final boolean |
invariants_check_canBeMissing_arrayelt |
true |
public static final String |
list_type_SWITCH |
"list_type" |
public static final String |
mem_stat_SWITCH |
"mem_stat" |
public static final String |
no_dataflow_hierarchy_SWITCH |
"nohierarchy" |
public static final String |
no_show_progress_SWITCH |
"no_show_progress" |
public static final String |
no_text_output_SWITCH |
"no_text_output" |
public static final String |
noversion_SWITCH |
"noversion" |
public static final String |
omit_from_output_SWITCH |
"omit_from_output" |
public static final String |
output_num_samples_SWITCH |
"output_num_samples" |
public static final String |
ppt_omit_regexp_SWITCH |
"ppt-omit-pattern" |
public static final String |
ppt_regexp_SWITCH |
"ppt-select-pattern" |
public static final String |
release_date |
"June 23, 2010" |
public static final String |
release_string |
"Daikon version 4.6.4, released June 23, 2010; http://pag.csail.mit.edu/daikon." |
public static final String |
release_version |
"4.6.4" |
public static final String |
server_SWITCH |
"server" |
public static final String |
show_progress_SWITCH |
"show_progress" |
public static final String |
suppress_redundant_SWITCH |
"suppress_redundant" |
public static final String |
track_SWITCH |
"track" |
public static final String |
var_omit_regexp_SWITCH |
"var-omit-pattern" |
public static final String |
var_regexp_SWITCH |
"var-select-pattern" |
| daikon.DynComp | ||
|---|---|---|
public static final String |
synopsis |
"daikon.DynComp [options] target [target-args]" |
| daikon.FileIO | ||
|---|---|---|
public static final String |
class_static_suffix |
"CLASS" |
public static final String |
class_static_tag |
":::CLASS" |
public static final String |
enter_suffix |
"ENTER" |
public static final String |
enter_tag |
":::ENTER" |
public static final String |
exit_suffix |
"EXIT" |
public static final String |
exit_tag |
":::EXIT" |
public static final String |
global_suffix |
"GLOBAL" |
public static final String |
object_suffix |
"OBJECT" |
public static final String |
object_tag |
":::OBJECT" |
public static final String |
ppt_tag_separator |
":::" |
public static final String |
throws_suffix |
"THROWS" |
public static final String |
throws_tag |
":::THROWS" |
| daikon.Global | ||
|---|---|---|
public static final boolean |
debugPrintDtrace |
false |
public static final boolean |
output_statistics |
true |
| daikon.ValueTuple | ||
|---|---|---|
public static final int |
MISSING_FLOW |
3 |
public static final int |
MISSING_NONSENSICAL |
2 |
public static final int |
MODBIT_VALUES |
4 |
public static final int |
MODIFIED |
1 |
public static final int |
STATIC_CONSTANT |
22 |
public static final int |
UNMODIFIED |
0 |
| daikon.VarComparability | ||
|---|---|---|
public static final int |
IMPLICIT |
1 |
public static final int |
NONE |
0 |
| daikon.VarInfoAux | ||
|---|---|---|
public static final String |
FALSE |
"false" |
public static final String |
HAS_DUPLICATES |
"hasDuplicates" |
public static final String |
HAS_NULL |
"hasNull" |
public static final String |
HAS_ORDER |
"hasOrder" |
public static final String |
HAS_SIZE |
"hasSize" |
public static final String |
IS_PARAM |
"isParam" |
public static final String |
IS_STRUCT |
"isStruct" |
public static final String |
NO_PACKAGE_NAME |
"no_package_name_string" |
public static final String |
NULL_TERMINATING |
"nullTerminating" |
public static final String |
PACKAGE_NAME |
"declaringClassPackageName" |
public static final String |
TRUE |
"true" |
| daikon.chicory.* |
|---|
| daikon.chicory.DaikonVariableInfo | ||
|---|---|---|
public static final String |
class_suffix |
".getClass()" |
protected static final String |
classClassName |
"java.lang.Class" |
protected static final String |
stringClassName |
"java.lang.String" |
| daikon.chicory.DaikonWriter | ||
|---|---|---|
protected static final boolean |
no_modifiers_ppt |
true |
| daikon.chicory.DeclWriter | ||
|---|---|---|
public static final String |
declareHeader |
"DECLARE" |
| daikon.chicory.DTraceWriter | ||
|---|---|---|
protected static final String |
classClassName |
"java.lang.Class" |
protected static final String |
stringClassName |
"java.lang.String" |
| daikon.chicory.Runtime | ||
|---|---|---|
public static final boolean |
debug |
false |
| daikon.config.* |
|---|
| daikon.config.Configuration | ||
|---|---|---|
protected static final String |
PREFIX |
"dkconfig_" |
| daikon.dcomp.* |
|---|
| daikon.dcomp.BuildJDK | ||
|---|---|---|
public static final String |
synopsis |
"daikon.BuildJDK [options] src dest [class_prefix | classfiles...]" |
| daikon.dcomp.DCRuntime | ||
|---|---|---|
public static final boolean |
debug |
false |
public static final boolean |
debug_objects |
false |
public static final boolean |
debug_tag_frame |
false |
| daikon.dcomp.SummaryInfo | ||
|---|---|---|
public static final String |
synopsis |
"daikon.dcomp.SummaryInfo [options]" |
| daikon.diff.* |
|---|
| daikon.diff.DetailedStatisticsVisitor | ||
|---|---|---|
public static final int |
NUM_RELATIONSHIPS |
12 |
public static final int |
NUM_TYPES |
6 |
public static final int |
REL_DIFF_JUST1_JUST2 |
4 |
public static final int |
REL_DIFF_JUST1_UNJUST2 |
5 |
public static final int |
REL_DIFF_UNJUST1_JUST2 |
6 |
public static final int |
REL_DIFF_UNJUST1_UNJUST2 |
7 |
public static final int |
REL_MISS_JUST1 |
8 |
public static final int |
REL_MISS_JUST2 |
10 |
public static final int |
REL_MISS_UNJUST1 |
9 |
public static final int |
REL_MISS_UNJUST2 |
11 |
public static final int |
REL_SAME_JUST1_JUST2 |
0 |
public static final int |
REL_SAME_JUST1_UNJUST2 |
1 |
public static final int |
REL_SAME_UNJUST1_JUST2 |
2 |
public static final int |
REL_SAME_UNJUST1_UNJUST2 |
3 |
public static final int |
TYPE_BINARY |
4 |
public static final int |
TYPE_NULLARY_INTERESTING |
0 |
public static final int |
TYPE_NULLARY_UNINTERESTING |
1 |
public static final int |
TYPE_TERNARY |
5 |
public static final int |
TYPE_UNARY_INTERESTING |
2 |
public static final int |
TYPE_UNARY_UNINTERESTING |
3 |
| daikon.inv.* |
|---|
| daikon.inv.Invariant | ||
|---|---|---|
public static final double |
CONFIDENCE_JUSTIFIED |
1.0 |
public static final double |
CONFIDENCE_NEVER |
-1.0 |
public static final double |
CONFIDENCE_UNJUSTIFIED |
0.0 |
public static final int |
min_mod_non_missing_samples |
5 |
public static final double |
PROBABILITY_JUSTIFIED |
0.0 |
public static final double |
PROBABILITY_NEVER |
3.0 |
public static final double |
PROBABILITY_UNJUSTIFIED |
1.0 |
| daikon.inv.filter.InvariantFilters | ||
|---|---|---|
public static final int |
ALL_VARIABLES |
2 |
public static final int |
ANY_VARIABLE |
1 |
| daikon.inv.ternary.threeScalar.LinearTernary | ||
|---|---|---|
public static final boolean |
debugLinearTernary |
false |
| daikon.inv.ternary.threeScalar.LinearTernaryFloat | ||
|---|---|---|
public static final boolean |
debugLinearTernary |
false |
| daikon.simplify.* |
|---|
| daikon.simplify.LemmaStack | ||
|---|---|---|
public static final long |
SMALL_INTEGER |
32000L |
| daikon.split.* |
|---|
| daikon.split.ContextSplitterFactory | ||
|---|---|---|
public static final int |
GRAIN_CLASS |
2 |
public static final int |
GRAIN_LINE |
0 |
public static final int |
GRAIN_METHOD |
1 |
| daikon.split.misc.CallerContextSplitter | ||
|---|---|---|
public final String |
CALLER_INDICATOR_NAME_STRING |
"daikon_callsite_id" |
| daikon.test.* |
|---|
| daikon.test.DSForestTest | ||
|---|---|---|
public static final String |
s1 |
"s1" |
public static final String |
s2 |
"s2" |
public static final String |
s3 |
"s3" |
public static final String |
s4 |
"s4" |
public static final String |
s5 |
"s5" |
public static final String |
s6 |
"s6" |
public static final String |
s7 |
"s7" |
public static final String |
s8 |
"s8" |
public static final String |
s9 |
"s9" |
| daikon.test.InvariantFormatTester | ||
|---|---|---|
public static final String |
COMMENT_STARTER_STRING |
";" |
| daikon.test.inv.InvariantAddAndCheckTester | ||
|---|---|---|
public static final String |
COMMENT_STARTER_STRING |
"#" |
| daikon.tools.* |
|---|
| daikon.tools.jtb.Annotate | ||
|---|---|---|
public static final String |
max_invariants_pp_SWITCH |
"max_invariants_pp" |
public static final String |
no_reflection_SWITCH |
"no_reflection" |
public static final String |
wrapXML_SWITCH |
"wrap_xml" |
| daikon.util.* |
|---|
| daikon.util.Assert | ||
|---|---|---|
public static final boolean |
enabled |
true |
| jtb.* |
|---|
| jtb.JavaCharStream | ||
|---|---|---|
public static final boolean |
staticFlag |
false |
| jtb.JavaParser.ModifierSet | ||
|---|---|---|
public static final int |
ABSTRACT |
8 |
public static final int |
FINAL |
32 |
public static final int |
NATIVE |
128 |
public static final int |
PRIVATE |
4 |
public static final int |
PROTECTED |
2 |
public static final int |
PUBLIC |
1 |
public static final int |
STATIC |
16 |
public static final int |
STRICTFP |
4096 |
public static final int |
SYNCHRONIZED |
64 |
public static final int |
TRANSIENT |
256 |
public static final int |
VOLATILE |
512 |
| jtb.JavaParserConstants | ||
|---|---|---|
public static final int |
_DEFAULT |
24 |
public static final int |
ABSTRACT |
13 |
public static final int |
ANDASSIGN |
114 |
public static final int |
ASSERT |
14 |
public static final int |
ASSIGN |
87 |
public static final int |
AT |
86 |
public static final int |
BANG |
89 |
public static final int |
BIT_AND |
105 |
public static final int |
BIT_OR |
106 |
public static final int |
BOOLEAN |
15 |
public static final int |
BREAK |
16 |
public static final int |
BYTE |
17 |
public static final int |
CASE |
18 |
public static final int |
CATCH |
19 |
public static final int |
CHAR |
20 |
public static final int |
CHARACTER_LITERAL |
72 |
public static final int |
CLASS |
21 |
public static final int |
COLON |
92 |
public static final int |
COMMA |
84 |
public static final int |
CONST |
22 |
public static final int |
CONTINUE |
23 |
public static final int |
DECIMAL_LITERAL |
67 |
public static final int |
DECR |
100 |
public static final int |
DEFAULT |
0 |
public static final int |
DO |
25 |
public static final int |
DOT |
85 |
public static final int |
DOUBLE |
26 |
public static final int |
ELLIPSIS |
121 |
public static final int |
ELSE |
27 |
public static final int |
ENUM |
28 |
public static final int |
EOF |
0 |
public static final int |
EQ |
93 |
public static final int |
EXPONENT |
71 |
public static final int |
EXTENDS |
29 |
public static final int |
FALSE |
30 |
public static final int |
FINAL |
31 |
public static final int |
FINALLY |
32 |
public static final int |
FLOAT |
33 |
public static final int |
FLOATING_POINT_LITERAL |
70 |
public static final int |
FOR |
34 |
public static final int |
FORMAL_COMMENT |
10 |
public static final int |
GE |
95 |
public static final int |
GOTO |
35 |
public static final int |
GT |
124 |
public static final int |
HEX_LITERAL |
68 |
public static final int |
HOOK |
91 |
public static final int |
IDENTIFIER |
74 |
public static final int |
IF |
36 |
public static final int |
IMPLEMENTS |
37 |
public static final int |
IMPORT |
38 |
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 |
99 |
public static final int |
INSTANCEOF |
39 |
public static final int |
INT |
40 |
public static final int |
INTEGER_LITERAL |
66 |
public static final int |
INTERFACE |
41 |
public static final int |
LBRACE |
79 |
public static final int |
LBRACKET |
81 |
public static final int |
LE |
94 |
public static final int |
LETTER |
75 |
public static final int |
LONG |
42 |
public static final int |
LPAREN |
77 |
public static final int |
LSHIFT |
109 |
public static final int |
LSHIFTASSIGN |
118 |
public static final int |
LT |
88 |
public static final int |
MINUS |
102 |
public static final int |
MINUSASSIGN |
111 |
public static final int |
MULTI_LINE_COMMENT |
11 |
public static final int |
NATIVE |
43 |
public static final int |
NE |
96 |
public static final int |
NEW |
44 |
public static final int |
NULL |
45 |
public static final int |
OCTAL_LITERAL |
69 |
public static final int |
ORASSIGN |
115 |
public static final int |
PACKAGE |
46 |
public static final int |
PART_LETTER |
76 |
public static final int |
PLUS |
101 |
public static final int |
PLUSASSIGN |
110 |
public static final int |
PRIVATE |
47 |
public static final int |
PROTECTED |
48 |
public static final int |
PUBLIC |
49 |
public static final int |
RBRACE |
80 |
public static final int |
RBRACKET |
82 |
public static final int |
REM |
108 |
public static final int |
REMASSIGN |
117 |
public static final int |
RETURN |
50 |
public static final int |
RPAREN |
78 |
public static final int |
RSIGNEDSHIFT |
123 |
public static final int |
RSIGNEDSHIFTASSIGN |
119 |
public static final int |
RUNSIGNEDSHIFT |
122 |
public static final int |
RUNSIGNEDSHIFTASSIGN |
120 |
public static final int |
SC_AND |
98 |
public static final int |
SC_OR |
97 |
public static final int |
SEMICOLON |
83 |
public static final int |
SHORT |
51 |
public static final int |
SINGLE_LINE_COMMENT |
9 |
public static final int |
SLASH |
104 |
public static final int |
SLASHASSIGN |
113 |
public static final int |
STAR |
103 |
public static final int |
STARASSIGN |
112 |
public static final int |
STATIC |
52 |
public static final int |
STRICTFP |
53 |
public static final int |
STRING_LITERAL |
73 |
public static final int |
SUPER |
54 |
public static final int |
SWITCH |
55 |
public static final int |
SYNCHRONIZED |
56 |
public static final int |
THIS |
57 |
public static final int |
THROW |
58 |
public static final int |
THROWS |
59 |
public static final int |
TILDE |
90 |
public static final int |
TRANSIENT |
60 |
public static final int |
TRUE |
61 |
public static final int |
TRY |
62 |
public static final int |
VOID |
63 |
public static final int |
VOLATILE |
64 |
public static final int |
WHILE |
65 |
public static final int |
XOR |
107 |
public static final int |
XORASSIGN |
116 |
| jtb.cparser.* |
|---|
| jtb.cparser.ASCII_CharStream | ||
|---|---|---|
public static final boolean |
staticFlag |
true |
| jtb.cparser.CParserConstants | ||
|---|---|---|
public static final int |
AUTO |
39 |
public static final int |
BREAK |
30 |
public static final int |
CASE |
36 |
public static final int |
CHAR |
41 |
public static final int |
CHARACTER_LITERAL |
13 |
public static final int |
CONST |
32 |
public static final int |
CONTINUE |
15 |
public static final int |
DECIMAL_LITERAL |
8 |
public static final int |
DEFAULT |
0 |
public static final int |
DFLT |
20 |
public static final int |
DIGIT |
49 |
public static final int |
DO |
46 |
public static final int |
DOUBLE |
21 |
public static final int |
ELSE |
35 |
public static final int |
ENUM |
38 |
public static final int |
EOF |
0 |
public static final int |
EXPONENT |
12 |
public static final int |
EXTERN |
25 |
public static final int |
FLOAT |
33 |
public static final int |
FLOATING_POINT_LITERAL |
11 |
public static final int |
FOR |
43 |
public static final int |
GOTO |
42 |
public static final int |
HEX_LITERAL |
9 |
public static final int |
IDENTIFIER |
47 |
public static final int |
IF |
45 |
public static final int |
INT |
44 |
public static final int |
INTEGER_LITERAL |
7 |
public static final int |
LETTER |
48 |
public static final int |
LONG |
37 |
public static final int |
OCTAL_LITERAL |
10 |
public static final int |
REGISTER |
17 |
public static final int |
RETURN |
24 |
public static final int |
SHORT |
34 |
public static final int |
SIGNED |
28 |
public static final int |
SIZEOF |
22 |
public static final int |
STATIC |
27 |
public static final int |
STRING_LITERAL |
14 |
public static final int |
STRUCT |
26 |
public static final int |
SWITCH |
23 |
public static final int |
TYPEDEF |
19 |
public static final int |
UNION |
31 |
public static final int |
UNSIGNED |
18 |
public static final int |
VOID |
40 |
public static final int |
VOLATILE |
16 |
public static final int |
WHILE |
29 |
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||