Package daikon.inv.unary.sequence

Class EltRangeInt.GreaterEqualZero

Object

Invariant

UnaryInvariant

SingleSequence

SingleScalarSequence

EltRangeInt

GreaterEqualZero

All Implemented Interfaces:

Serializable, Cloneable

Enclosing class:

EltRangeInt

public static class EltRangeInt.GreaterEqualZero
extends EltRangeInt

Internal invariant representing long scalars that are greater than or equal to 0. Used for non-instantiating suppressions. Will never print since Bound accomplishes the same thing.

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class EltRangeInt

EltRangeInt.BooleanVal, EltRangeInt.Bound0_63, EltRangeInt.EqualMinusOne, EltRangeInt.EqualOne, EltRangeInt.EqualZero, EltRangeInt.Even, EltRangeInt.GreaterEqual64, EltRangeInt.GreaterEqualZero, EltRangeInt.PowerOfTwo

Nested classes/interfaces inherited from class Invariant

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

Field Summary

Fields inherited from class SingleSequence

dkconfig_SeqIndexDisableAll

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	GreaterEqualZero()
protected	GreaterEqualZero(PptSlice ppt)

Method Summary

Modifier and Type	Method	Description
boolean	enabled()	Returns whether or not this class of invariants is currently enabled.
boolean	eq_check(long x)	Returns true if x and y don't invalidate the invariant.
String	get_format_str(OutputFormat format)	Return a format string for the specified output format.
static EltRangeInt.GreaterEqualZero	get_proto()	returns the prototype invariant
EltRangeInt.GreaterEqualZero	instantiate_dyn(PptSlice slice)	Instantiates (creates) an invariant of the same class on the specified slice.

Methods inherited from class EltRangeInt

add_modified, check_modified, computeConfidence, find_oneof, format_using, get_proto_all, instantiate_ok, isExclusiveFormula, isObviousDynamically, isSameFormula

Methods inherited from class SingleScalarSequence

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, is_false, is_ni_suppressed, isActive, isAllPrestate, isEqualityComparison, isExact, isObvious, isObviousDynamically, isObviousDynamically_SomeInEquality, isObviousDynamically_SomeInEqualityHelper, isObviousStatically, 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

Constructor Detail

GreaterEqualZero

protected GreaterEqualZero(PptSlice ppt)

GreaterEqualZero

protected GreaterEqualZero()

Method Detail

get_proto

public static EltRangeInt.GreaterEqualZero get_proto()

returns the prototype invariant

enabled

public boolean enabled()

Description copied from class: Invariant

Returns whether or not this class of invariants is currently enabled.

Its implementation is almost always return dkconfig_enabled;.

Specified by:

enabled in class Invariant

instantiate_dyn

public EltRangeInt.GreaterEqualZero instantiate_dyn( EltRangeInt.GreaterEqualZero this,
                                                    PptSlice slice)

Description copied from class: Invariant

Instantiates (creates) an invariant of the same class on the specified slice. Must be overridden in each class. Must be used rather than Invariant.clone() so that checks in Invariant.instantiate(daikon.PptSlice) for reasonable invariants are done.

The implementation of this method is almost always return new <em>InvName</em>(slice);

Specified by:

instantiate_dyn in class Invariant

Returns:

the new invariant

get_format_str

public String get_format_str(@GuardSatisfied EltRangeInt.GreaterEqualZero this,
                             OutputFormat format)

Description copied from class: EltRangeInt

Return a format string for the specified output format. Each instance of %varN% will be replaced by the correct name for varN.

Specified by:

get_format_str in class EltRangeInt

eq_check

public boolean eq_check(long x)

Description copied from class: EltRangeInt

Returns true if x and y don't invalidate the invariant.

Specified by:

eq_check in class EltRangeInt