Package daikon.inv.unary

Class UnaryInvariant

Object

Invariant

UnaryInvariant

All Implemented Interfaces:

Serializable, Cloneable

Direct Known Subclasses:

SingleFloat, SingleScalar, SingleSequence, SingleString, SingleStringSequence

public abstract class UnaryInvariant
extends Invariant

Exists simply to provide the do-nothing resusurrect_done method and abstract add method.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class Invariant

Invariant.ClassVarnameComparator, Invariant.ClassVarnameFormulaComparator, Invariant.InvariantComparatorForPrinting, Invariant.Match

Field Summary

Fields inherited from class Invariant

checkedMergeOverridden, CONFIDENCE_JUSTIFIED, CONFIDENCE_NEVER, CONFIDENCE_UNJUSTIFIED, debug, debugFlow, debugGuarding, debugIsObvious, debugIsWorthPrinting, debugPrint, debugPrintEquality, dkconfig_confidence_limit, dkconfig_fuzzy_ratio, dkconfig_simplify_define_predicates, falsified, invariantEnabledDefault, isGuardingPredicate, min_mod_non_missing_samples, ppt, PROBABILITY_JUSTIFIED, PROBABILITY_NEVER, PROBABILITY_UNJUSTIFIED

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	UnaryInvariant()
protected	UnaryInvariant(PptSlice ppt)

Method Summary

Modifier and Type	Method	Description
abstract InvariantStatus	add(@Interned Object val, int mod_index, int count)
abstract InvariantStatus	check(@Interned Object val1, int mod_index, int count)
protected Invariant	resurrect_done(int[] permutation)	Called on the new invariant just before resurrect() returns it to allow subclasses to fix any information they might have cached from the old Ppt and VarInfos.

Methods inherited from class Invariant

add_sample, asInvClass, checkRep, clear_falsified, clone, clone_and_permute, computeConfidence, conf_is_ge, confidence_and, confidence_and, confidence_or, createGuardedInvariant, createGuardingPredicate, enabled, enoughSamples, falsify, find, format, format_classname, format_too_few_samples, format_unimplemented, format_using, formatFuzzy, get_comparability, get_ni_suppressions, getConfidence, getGuardingList, getGuardingList, hasUninterestingConstant, instantiate, instantiate_dyn, instantiate_ok, is_false, is_ni_suppressed, isActive, isAllPrestate, isEqualityComparison, isExact, isExclusiveFormula, isObvious, isObviousDynamically, isObviousDynamically, isObviousDynamically_SomeInEquality, isObviousDynamically_SomeInEqualityHelper, isObviousStatically, isObviousStatically, isObviousStatically_AllInEquality, isObviousStatically_SomeInEquality, isObviousStatically_SomeInEqualityHelper, isReflexive, isSameFormula, isSameInvariant, isValidEscExpression, isValidExpression, isWorthPrinting, justified, log, log, logDetail, logOn, match, merge, mergeFormulasOk, permute, prob_and, prob_and, prob_is_ge, prob_or, repCheck, repr, repr_prob, resurrect, simplify_format_double, simplify_format_long, simplify_format_string, state_match, toString, toString, transfer, usesVar, usesVar, usesVarDerived, valid_types, varNames

Methods inherited from class Object

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

Constructor Detail

UnaryInvariant

protected UnaryInvariant(PptSlice ppt)

UnaryInvariant

protected UnaryInvariant()

Method Detail

resurrect_done

protected Invariant resurrect_done(int[] permutation)

Description copied from class: Invariant

Called on the new invariant just before resurrect() returns it to allow subclasses to fix any information they might have cached from the old Ppt and VarInfos.

Specified by:

resurrect_done in class Invariant

Parameters:

permutation - the permutation

Returns:

the permuted invariant

add

public abstract InvariantStatus add(@Interned Object val,
                                    int mod_index,
                                    int count)

check

public abstract InvariantStatus check(@Interned Object val1,
                                      int mod_index,
                                      int count)