Constant Field Values

Contents

• daikon.*

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"