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

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)	Returns this.

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)

Returns this.

Specified by:

resurrect_done in class Invariant

Parameters:

permutation - the permutation

Returns:

this

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)