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 "October 1, 2009"
public static final String release_string "Daikon version 4.6.2, released October 1, 2009; http://pag.csail.mit.edu/daikon."
public static final String release_version "4.6.2"
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.DTraceConverter
public static final String toASCII "-2ASCII"
public static final String toBinary "-2Bin"

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"