Package daikon.inv.unary.scalar

Class CompleteOneOfScalar

Object

Invariant

UnaryInvariant

SingleScalar

CompleteOneOfScalar

All Implemented Interfaces:

Serializable, Cloneable

public final class CompleteOneOfScalar
extends SingleScalar

Tracks every unique value and how many times it occurs. Prints as x has values: v1 v2 v3 ....

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	CompleteOneOfScalar.Info	Information about each value encountered.

Nested classes/interfaces inherited from class Invariant

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

Field Summary

Fields

Modifier and Type	Field	Description
static boolean	dkconfig_enabled	Boolean.
List<CompleteOneOfScalar.Info>	vals	List of values seen.

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

Constructor	Description
CompleteOneOfScalar()
CompleteOneOfScalar(PptSlice slice)

Method Summary

Modifier and Type	Method	Description
InvariantStatus	add_modified(long a, int count)	Check to see if a only contains printable ascii characters.
InvariantStatus	check_modified(long a, int count)	Check to see if a only contains printable ascii characters.
protected double	computeConfidence()	This method computes the confidence that this invariant occurred by chance.
boolean	enabled()	returns whether or not this invariant is enabled
String	format_using(OutputFormat format)	Return description of invariant.
static CompleteOneOfScalar	get_proto()	Returns the prototype invariant for CompleteOneOFScalar.
CompleteOneOfScalar	instantiate_dyn(PptSlice slice)	instantiate an invariant on the specified slice
@Nullable DiscardInfo	isObviousStatically(VarInfo[] vis)	Returns whether or not this is obvious statically.
boolean	isSameFormula(Invariant o)	Same formula if each value is the same and has the same count.

Methods inherited from class SingleScalar

add, add_unmodified, check, check_unmodified, valid_types, valid_types_static, var

Methods inherited from class UnaryInvariant

resurrect_done

Methods inherited from class Invariant

add_sample, asInvClass, checkRep, clear_falsified, clone, clone_and_permute, conf_is_ge, confidence_and, confidence_and, confidence_or, createGuardedInvariant, createGuardingPredicate, enoughSamples, falsify, find, format, format_classname, format_too_few_samples, format_unimplemented, formatFuzzy, get_comparability, get_ni_suppressions, getConfidence, getGuardingList, getGuardingList, hasUninterestingConstant, instantiate, instantiate_ok, is_false, is_ni_suppressed, isActive, isAllPrestate, isEqualityComparison, isExact, isExclusiveFormula, isObvious, isObviousDynamically, isObviousDynamically, isObviousDynamically_SomeInEquality, isObviousDynamically_SomeInEqualityHelper, isObviousStatically, isObviousStatically_AllInEquality, isObviousStatically_SomeInEquality, isObviousStatically_SomeInEqualityHelper, isReflexive, 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, varNames

Methods inherited from class Object

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

Field Detail

vals

@Unused(when=Prototype.class)
public List<CompleteOneOfScalar.Info> vals

List of values seen.

dkconfig_enabled

public static boolean dkconfig_enabled

Boolean. True iff CompleteOneOfScalar invariants should be considered.

Constructor Detail

CompleteOneOfScalar

public CompleteOneOfScalar(PptSlice slice)

CompleteOneOfScalar

public CompleteOneOfScalar()

Method Detail

get_proto

public static CompleteOneOfScalar get_proto()

Returns the prototype invariant for CompleteOneOFScalar.

enabled

public boolean enabled()

returns whether or not this invariant is enabled

Specified by:

enabled in class Invariant

instantiate_dyn

public CompleteOneOfScalar instantiate_dyn( CompleteOneOfScalar this,
                                           PptSlice slice)

instantiate an invariant on the specified slice

Specified by:

instantiate_dyn in class Invariant

Returns:

the new invariant

format_using

@SideEffectFree
public String format_using(@GuardSatisfied CompleteOneOfScalar this,
                           OutputFormat format)

Return description of invariant. Only Daikon format is implemented.

Specified by:

format_using in class Invariant

add_modified

public InvariantStatus add_modified(long a,
                                    int count)

Check to see if a only contains printable ascii characters.

Specified by:

add_modified in class SingleScalar

check_modified

public InvariantStatus check_modified(long a,
                                      int count)

Check to see if a only contains printable ascii characters.

Specified by:

check_modified in class SingleScalar

count - how many identical samples were observed in a row. For example, three calls to check_modified with a count parameter of 1 is equivalent to one call to check_modified with a count parameter of 3.

Returns:

whether or not the sample is consistent with the invariant

computeConfidence

protected double computeConfidence()

Description copied from class: Invariant

This method computes the confidence that this invariant occurred by chance. Clients should call Invariant.getConfidence() instead.

This method need not check the value of field "falsified", as the caller does that.

Specified by:

computeConfidence in class Invariant

Returns:

confidence of this invariant

See Also:

Invariant.getConfidence()

isObviousStatically

@Pure
public @Nullable DiscardInfo isObviousStatically(VarInfo[] vis)

Returns whether or not this is obvious statically. The only check is for static constants which are obviously printable (or not) from their values.

Overrides:

isObviousStatically in class Invariant

Parameters:

vis - the VarInfos this invariant is obvious over. The position and data type of the variables is the *same* as that of this.ppt.var_infos.

isSameFormula

@Pure
public boolean isSameFormula(Invariant o)

Same formula if each value is the same and has the same count. Not implemented for now, just presumed to be false.

Specified by:

isSameFormula in class Invariant

Parameters:

o - the invariant to compare to this one

Returns:

true iff the two invariants represent the same mathematical formula. Does not consider