Constant Field Values

Contents

• daikon.*
• jtb.*

daikon.*

daikon.Chicory

Modifier and Type	Constant Field	Value
public static final boolean	checkStaticInit	true
public static final String	synopsis	"daikon.Chicory [options] target [target-args]"

daikon.Daikon

Modifier and Type	Constant Field	Value
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 String	disable_all_invariants_SWITCH	"disable-all-invariants"
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, 2023"
public static final String	release_string	"Daikon version 5.8.18, released June 23, 2023; http://plse.cs.washington.edu/daikon."
public static final String	release_version	"5.8.18"
public static final String	server_SWITCH	"server"
public static final String	show_detail_progress_SWITCH	"show_detail_progress"
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	user_defined_invariant_SWITCH	"user-defined-invariant"
public static final String	var_omit_regexp_SWITCH	"var-omit-pattern"
public static final String	var_regexp_SWITCH	"var-select-pattern"
public static final String	wrap_xml_SWITCH	"wrap_xml"

daikon.DynComp

Modifier and Type	Constant Field	Value
public static final String	synopsis	"daikon.DynComp [options] target [target-args]"

daikon.FileIO

Modifier and Type	Constant Field	Value
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

Modifier and Type	Constant Field	Value
public static final boolean	debugPrintDtrace	false
public static final boolean	output_statistics	true

daikon.ValueTuple

Modifier and Type	Constant Field	Value
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

Modifier and Type	Constant Field	Value
public static final int	IMPLICIT	1
public static final int	NONE	0

daikon.VarInfoAux

Modifier and Type	Constant Field	Value
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_NON_NULL	"isNonNull"
public static final String	IS_PARAM	"isParam"
public static final String	IS_STRUCT	"isStruct"
public static final String	MAXIMUM_LENGTH	"maxlength"
public static final String	MAXIMUM_VALUE	"maxvalue"
public static final String	MINIMUM_LENGTH	"minlength"
public static final String	MINIMUM_VALUE	"minvalue"
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"
public static final String	VALID_VALUES	"validvalues"

daikon.chicory.*

daikon.chicory.DaikonVariableInfo

Modifier and Type	Constant Field	Value
public static final String	class_suffix	".getClass().getName()"
protected static final String	classClassName	"java.lang.Class"
protected static final String	isNonNullParamString	" # isNonNull=true, isParam=true"
protected static final String	isNonNullString	" # isNonNull=true"
protected static final String	isParamString	" # isParam=true"
protected static final String	stringClassName	"java.lang.String"

daikon.chicory.DaikonWriter

Modifier and Type	Constant Field	Value
protected static final boolean	no_modifiers_ppt	true

daikon.chicory.DTraceWriter

Modifier and Type	Constant Field	Value
protected static final String	classClassName	"java.lang.Class"
protected static final String	stringClassName	"java.lang.String"

daikon.dcomp.*

daikon.dcomp.DCInstrument

Modifier and Type	Constant Field	Value
protected static final boolean	debugGetDefiningInterface	false
protected static final boolean	debugHandleInvoke	false
protected static final boolean	debugJUnitAnalysis	false
protected static final String	GET_TAG	"get_tag"
protected static final String	SET_TAG	"set_tag"

daikon.diff.*

daikon.diff.DetailedStatisticsVisitor

Modifier and Type	Constant Field	Value
public static final int	NUM_ARITIES	4
public static final int	NUM_RELATIONSHIPS	12
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

daikon.inv.*

daikon.inv.Invariant

Modifier and Type	Constant Field	Value
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

Modifier and Type	Constant Field	Value
public static final int	ALL_VARIABLES	2
public static final int	ANY_VARIABLE	1

daikon.inv.ternary.threeScalar.LinearTernary

Modifier and Type	Constant Field	Value
public static final boolean	debugLinearTernary	false

daikon.inv.ternary.threeScalar.LinearTernaryFloat

Modifier and Type	Constant Field	Value
public static final boolean	debugLinearTernary	false

daikon.simplify.*

daikon.simplify.LemmaStack

Modifier and Type	Constant Field	Value
public static final long	SMALL_INTEGER	32000L

daikon.split.*

daikon.split.ContextSplitterFactory

Modifier and Type	Constant Field	Value
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

Modifier and Type	Constant Field	Value
public final String	CALLER_INDICATOR_NAME_STRING	"daikon_callsite_id"

daikon.test.*

daikon.test.InvariantFormatTester

Modifier and Type	Constant Field	Value
public static final String	COMMENT_STARTER_STRING	";"

daikon.test.inv.InvariantAddAndCheckTester

Modifier and Type	Constant Field	Value
public static final String	COMMENT_STARTER_STRING	"#"

daikon.tools.*

daikon.tools.jtb.Annotate

Modifier and Type	Constant Field	Value
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"

jtb.*

jtb.JavaCharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	false

jtb.JavaParser.ModifierSet

Modifier and Type	Constant Field	Value
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

Modifier and Type	Constant Field	Value
public static final int	_DEFAULT	23
public static final int	ABSTRACT	12
public static final int	ANDASSIGN	116
public static final int	ASSERT	13
public static final int	ASSIGN	89
public static final int	AT	88
public static final int	BANG	91
public static final int	BIT_AND	107
public static final int	BIT_OR	108
public static final int	BOOLEAN	14
public static final int	BREAK	15
public static final int	BYTE	16
public static final int	CASE	17
public static final int	CATCH	18
public static final int	CHAR	19
public static final int	CHARACTER_LITERAL	74
public static final int	CLASS	20
public static final int	COLON	94
public static final int	COMMA	86
public static final int	CONST	21
public static final int	CONTINUE	22
public static final int	DECIMAL_EXPONENT	71
public static final int	DECIMAL_FLOATING_POINT_LITERAL	70
public static final int	DECIMAL_LITERAL	66
public static final int	DECR	102
public static final int	DEFAULT	0
public static final int	DO	24
public static final int	DOT	87
public static final int	DOUBLE	25
public static final int	ELLIPSIS	123
public static final int	ELSE	26
public static final int	ENUM	27
public static final int	EOF	0
public static final int	EQ	95
public static final int	EXTENDS	28
public static final int	FALSE	29
public static final int	FINAL	30
public static final int	FINALLY	31
public static final int	FLOAT	32
public static final int	FLOATING_POINT_LITERAL	69
public static final int	FOR	33
public static final int	FORMAL_COMMENT	9
public static final int	GE	97
public static final int	GOTO	34
public static final int	GT	126
public static final int	HEX_LITERAL	67
public static final int	HEXADECIMAL_EXPONENT	73
public static final int	HEXADECIMAL_FLOATING_POINT_LITERAL	72
public static final int	HOOK	93
public static final int	IDENTIFIER	76
public static final int	IF	35
public static final int	IMPLEMENTS	36
public static final int	IMPORT	37
public static final int	IN_FORMAL_COMMENT	1
public static final int	IN_MULTI_LINE_COMMENT	2
public static final int	INCR	101
public static final int	INSTANCEOF	38
public static final int	INT	39
public static final int	INTEGER_LITERAL	65
public static final int	INTERFACE	40
public static final int	LBRACE	81
public static final int	LBRACKET	83
public static final int	LE	96
public static final int	LETTER	77
public static final int	LONG	41
public static final int	LPAREN	79
public static final int	LSHIFT	111
public static final int	LSHIFTASSIGN	120
public static final int	LT	90
public static final int	MINUS	104
public static final int	MINUSASSIGN	113
public static final int	MULTI_LINE_COMMENT	10
public static final int	NATIVE	42
public static final int	NE	98
public static final int	NEW	43
public static final int	NULL	44
public static final int	OCTAL_LITERAL	68
public static final int	ORASSIGN	117
public static final int	PACKAGE	45
public static final int	PART_LETTER	78
public static final int	PLUS	103
public static final int	PLUSASSIGN	112
public static final int	PRIVATE	46
public static final int	PROTECTED	47
public static final int	PUBLIC	48
public static final int	RBRACE	82
public static final int	RBRACKET	84
public static final int	REM	110
public static final int	REMASSIGN	119
public static final int	RETURN	49
public static final int	RPAREN	80
public static final int	RSIGNEDSHIFT	125
public static final int	RSIGNEDSHIFTASSIGN	121
public static final int	RUNSIGNEDSHIFT	124
public static final int	RUNSIGNEDSHIFTASSIGN	122
public static final int	SC_AND	100
public static final int	SC_OR	99
public static final int	SEMICOLON	85
public static final int	SHORT	50
public static final int	SINGLE_LINE_COMMENT	8
public static final int	SLASH	106
public static final int	SLASHASSIGN	115
public static final int	STAR	105
public static final int	STARASSIGN	114
public static final int	STATIC	51
public static final int	STRICTFP	52
public static final int	STRING_LITERAL	75
public static final int	STUFF_TO_IGNORE	128
public static final int	SUPER	53
public static final int	SWITCH	54
public static final int	SYNCHRONIZED	55
public static final int	THIS	56
public static final int	THROW	57
public static final int	THROWS	58
public static final int	TILDE	92
public static final int	TRANSIENT	59
public static final int	TRUE	60
public static final int	TRY	61
public static final int	VOID	62
public static final int	VOLATILE	63
public static final int	WHILE	64
public static final int	XOR	109
public static final int	XORASSIGN	118

jtb.cparser.*

jtb.cparser.ASCII_CharStream

Modifier and Type	Constant Field	Value
public static final boolean	staticFlag	true

jtb.cparser.CParserConstants

Modifier and Type	Constant Field	Value
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