daikon.inv.unary.scalar
Class RangeInt.GreaterEqualZero

Object
  Invariant
      UnaryInvariant
          SingleScalar
              RangeInt
                  RangeInt.GreaterEqualZero

All Implemented Interfaces:

Serializable, Cloneable

Enclosing class:

RangeInt

public static class RangeInt.GreaterEqualZero
extends RangeInt

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 RangeInt

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

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, isGuardingPredicate, min_mod_non_missing_samples, ppt, PROBABILITY_JUSTIFIED, PROBABILITY_NEVER, PROBABILITY_UNJUSTIFIED

Constructor Summary

protected	RangeInt.GreaterEqualZero()
protected	RangeInt.GreaterEqualZero(PptSlice ppt)

Method Summary

boolean	enabled() Returns whether or not this invariant is 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 RangeInt.GreaterEqualZero	get_proto() returns the prototype invariant
RangeInt.GreaterEqualZero	instantiate_dyn(PptSlice slice) instantiates the invariant on the specified slice

Methods inherited from class RangeInt

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

Methods inherited from class SingleScalar

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

Methods inherited from class UnaryInvariant

resurrect_done

Methods inherited from class Invariant

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

RangeInt.GreaterEqualZero

protected RangeInt.GreaterEqualZero(PptSlice ppt)

RangeInt.GreaterEqualZero

protected RangeInt.GreaterEqualZero()

Method Detail

get_proto

public static RangeInt.GreaterEqualZero get_proto()

returns the prototype invariant

enabled

public boolean enabled()

Returns whether or not this invariant is enabled

Overrides:

enabled in class Invariant

instantiate_dyn

public RangeInt.GreaterEqualZero instantiate_dyn(PptSlice slice)

instantiates the invariant on the specified slice

Overrides:

instantiate_dyn in class Invariant

Returns:

the new invariant

get_format_str

public String get_format_str(OutputFormat format)

Description copied from class: RangeInt

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 RangeInt

eq_check

public boolean eq_check(long x)

Description copied from class: RangeInt

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

Specified by:

eq_check in class RangeInt