Constant Field Values


Contents
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