daikon.inv.unary.sequence
Class EltRangeInt.Bound0_63

Object
  Invariant
      UnaryInvariant
          SingleSequence
              SingleScalarSequence
                  EltRangeInt
                      EltRangeInt.Bound0_63

All Implemented Interfaces:

Serializable, Cloneable

Enclosing class:

EltRangeInt

public static class EltRangeInt.Bound0_63
extends EltRangeInt

Internal invariant representing longs whose values are between 0 and 63. 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

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	EltRangeInt.Bound0_63()
protected	EltRangeInt.Bound0_63(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 EltRangeInt.Bound0_63	get_proto() returns the prototype invariant
EltRangeInt.Bound0_63	instantiate_dyn(PptSlice slice) instantiates the invariant 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_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

EltRangeInt.Bound0_63

protected EltRangeInt.Bound0_63(PptSlice ppt)

EltRangeInt.Bound0_63

protected EltRangeInt.Bound0_63()

Method Detail

enabled

public boolean enabled()

Returns whether or not this invariant is enabled

Overrides:

enabled in class Invariant

get_proto

public static EltRangeInt.Bound0_63 get_proto()

returns the prototype invariant

instantiate_dyn

public EltRangeInt.Bound0_63 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: 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