Package daikon.inv.binary.twoSequence
Class PairwiseNumericInt.BitwiseAndZero
- Object
-
- Invariant
-
- BinaryInvariant
-
- TwoSequence
-
- PairwiseNumericInt
-
- BitwiseAndZero
-
- All Implemented Interfaces:
Serializable
,Cloneable
- Enclosing class:
- PairwiseNumericInt
public static class PairwiseNumericInt.BitwiseAndZero extends PairwiseNumericInt
Represents the BitwiseAnd == 0 invariant between corresponding elements of two sequences of long; that is,x[]
andy[]
have no bits in common. Prints asx[] & y[] == 0
.- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class PairwiseNumericInt
PairwiseNumericInt.BitwiseAndZero, PairwiseNumericInt.BitwiseComplement, PairwiseNumericInt.BitwiseSubset, PairwiseNumericInt.Divides, PairwiseNumericInt.ShiftZero, PairwiseNumericInt.Square, PairwiseNumericInt.ZeroTrack
-
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.-
Fields inherited from class PairwiseNumericInt
var1_eq_0, var1_eq_1, var1_eq_minus_1, var1_eq_var2, var1_ge_0, var1_le_var2, var1_ne_0, var2_eq_0, var2_eq_1, var2_eq_minus_1, var2_eq_var1, var2_ge_0, var2_ne_0, var2_valid_shift
-
Fields inherited from class TwoSequence
swap
-
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
BitwiseAndZero()
protected
BitwiseAndZero(PptSlice ppt)
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
enabled()
Returns whether or not this invariant is enabled.boolean
eq_check(long x, long y)
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.@Nullable NISuppressionSet
get_ni_suppressions()
Returns a list of non-instantiating suppressions for this invariant.static PairwiseNumericInt.BitwiseAndZero
get_proto()
Returns the prototype invariant.PairwiseNumericInt.BitwiseAndZero
instantiate_dyn(PptSlice slice)
Instantiates (creates) an invariant of the same class on the specified slice.boolean
is_symmetric()
Returns true if the binary function is symmetric (x,y ⇒ y,x).-
Methods inherited from class PairwiseNumericInt
array_sizes_eq, check_modified, format_using, get_array_size, get_proto_all, instantiate_ok, is_subsequence, isExact, isObviousDynamically, obvious_checks, repr
-
Methods inherited from class TwoSequence
add, add_modified, add_unmodified, check, check_unmodified, computeConfidence, get_swap, isSameFormula, resurrect_done, resurrect_done_swapped, resurrect_done_unswapped, valid_types, var1, var1, var2, var2
-
Methods inherited from class BinaryInvariant
add_unordered, check_unordered, find
-
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, getConfidence, getGuardingList, getGuardingList, hasUninterestingConstant, instantiate, is_false, is_ni_suppressed, isActive, isAllPrestate, isEqualityComparison, isExclusiveFormula, 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_prob, resurrect, simplify_format_double, simplify_format_long, simplify_format_string, state_match, toString, toString, transfer, usesVar, usesVar, usesVarDerived, varNames
-
-
-
-
Field Detail
-
dkconfig_enabled
public static boolean dkconfig_enabled
Boolean. True iff BitwiseAndZero invariants should be considered.
-
-
Constructor Detail
-
BitwiseAndZero
protected BitwiseAndZero(PptSlice ppt)
-
BitwiseAndZero
protected BitwiseAndZero()
-
-
Method Detail
-
get_proto
public static PairwiseNumericInt.BitwiseAndZero get_proto()
Returns the prototype invariant.
-
enabled
public boolean enabled()
Returns whether or not this invariant is enabled.
-
instantiate_dyn
public PairwiseNumericInt.BitwiseAndZero instantiate_dyn( PairwiseNumericInt.BitwiseAndZero 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 thanInvariant.clone()
so that checks inInvariant.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 classInvariant
- Returns:
- the new invariant
-
get_format_str
public String get_format_str(@GuardSatisfied PairwiseNumericInt.BitwiseAndZero this, OutputFormat format)
Description copied from class:PairwiseNumericInt
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 classPairwiseNumericInt
-
is_symmetric
@Pure public boolean is_symmetric()
Description copied from class:BinaryInvariant
Returns true if the binary function is symmetric (x,y ⇒ y,x). Subclasses that are symmetric should override.- Overrides:
is_symmetric
in classBinaryInvariant
-
eq_check
public boolean eq_check(long x, long y)
Description copied from class:PairwiseNumericInt
Returns true if x and y don't invalidate the invariant.- Specified by:
eq_check
in classPairwiseNumericInt
-
get_ni_suppressions
@Pure public @Nullable NISuppressionSet get_ni_suppressions()
Returns a list of non-instantiating suppressions for this invariant.- Overrides:
get_ni_suppressions
in classInvariant
- Returns:
- the set of non-instantiating suppressions for this invariant
-
-