Package daikon

Class Global

Object

Global

public final class Global
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
static int	can_be_missing_variables
static int	canonical_variables
static boolean	debugAll
static Logger	debugDerive	Debug tracer for debugging derived vars.
static Logger	debugInfer	Debug tracer for debugging general invariant inference.
static Logger	debugPrint	Debug tracer for debugging invariant printing.
static boolean	debugPrintDtrace	If true, print logging information about printing of dtrace files.
static Logger	debugSimplify	Debug tracer for debugging Simplify output.
static Logger	debugSplit	Debug tracer for debugging splitting.
static Logger	debugStatistics	Debug tracer for debugging statistics output.
static Logger	debugSuppress	Debug tracer for debugging invariant suppression.
static Logger	debugSuppressParam	Debug tracer for debugging invariant suppression by using parameters.
static int	derived_variables
static @MonotonicNonNull PrintWriter	dtraceWriter	Used only if debugPrintDtrace is true.
static int	falsified_invariants
static FuzzyFloat	fuzzy
static int	implied_false_noninstantiated_invariants
static int	implied_noninstantiated_invariants
static int	instantiated_invariants
static String	lineSep
static int	non_canonical_invariants
static int	non_canonical_variables
static int	non_falsified_invariants
static int	nonsensical_suppressed_derived_variables
static int	obvious_invariants
static boolean	output_statistics
static int	partially_implied_invariants
static Random	random
static int	reported_invariants
static Map<PptTopLevel,List<PptTopLevel.Stats>>	stats_map
static int	subexact_noninstantiated_invariants
static int	tautological_suppressed_derived_variables
static int	too_few_samples_invariants
static int	unjustified_invariants
static Pattern	ws_regexp

Method Summary

Modifier and Type	Method	Description
static void	output_statistics()

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

lineSep

public static final String lineSep

ws_regexp

public static final Pattern ws_regexp

random

public static final Random random

output_statistics

public static final boolean output_statistics

See Also:

Constant Field Values

non_canonical_variables

public static int non_canonical_variables

can_be_missing_variables

public static int can_be_missing_variables

canonical_variables

public static int canonical_variables

nonsensical_suppressed_derived_variables

public static int nonsensical_suppressed_derived_variables

tautological_suppressed_derived_variables

public static int tautological_suppressed_derived_variables

derived_variables

public static int derived_variables

implied_noninstantiated_invariants

public static int implied_noninstantiated_invariants

implied_false_noninstantiated_invariants

public static int implied_false_noninstantiated_invariants

subexact_noninstantiated_invariants

public static int subexact_noninstantiated_invariants

partially_implied_invariants

public static int partially_implied_invariants

instantiated_invariants

public static int instantiated_invariants

falsified_invariants

public static int falsified_invariants

non_falsified_invariants

public static int non_falsified_invariants

too_few_samples_invariants

public static int too_few_samples_invariants

non_canonical_invariants

public static int non_canonical_invariants

obvious_invariants

public static int obvious_invariants

unjustified_invariants

public static int unjustified_invariants

reported_invariants

public static int reported_invariants

debugAll

public static boolean debugAll

debugStatistics

public static final Logger debugStatistics

Debug tracer for debugging statistics output.

debugSimplify

public static final Logger debugSimplify

Debug tracer for debugging Simplify output.

debugDerive

public static Logger debugDerive

Debug tracer for debugging derived vars.

debugSplit

public static Logger debugSplit

Debug tracer for debugging splitting.

debugInfer

public static Logger debugInfer

Debug tracer for debugging general invariant inference.

debugSuppress

public static Logger debugSuppress

Debug tracer for debugging invariant suppression.

debugSuppressParam

public static Logger debugSuppressParam

Debug tracer for debugging invariant suppression by using parameters.

debugPrint

public static Logger debugPrint

Debug tracer for debugging invariant printing.

debugPrintDtrace

public static final boolean debugPrintDtrace

If true, print logging information about printing of dtrace files.

See Also:

Constant Field Values

dtraceWriter

public static @MonotonicNonNull PrintWriter dtraceWriter

Used only if debugPrintDtrace is true. Users need not set this.

fuzzy

public static FuzzyFloat fuzzy

stats_map

public static Map<PptTopLevel,List<PptTopLevel.Stats>> stats_map

Method Detail

output_statistics

public static void output_statistics()