Package daikon.inv.binary.twoSequence

Class PairwiseNumericInt.BitwiseComplement

Object

Invariant

BinaryInvariant

TwoSequence

PairwiseNumericInt

BitwiseComplement

All Implemented Interfaces:

Serializable, Cloneable

Enclosing class:

PairwiseNumericInt

public static class PairwiseNumericInt.BitwiseComplement
extends PairwiseNumericInt

Represents the bitwise complement invariant between corresponding elements of two sequences of long. Prints as x[] = ~y[].

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

Method Summary

Modifier and Type	Method	Description
boolean	enabled()	Returns whether or not this invariant is enabled.
boolean	eq_check(long x, long y)	Check to see if x == ~y .
String	get_format_str(OutputFormat format)	Return a format string for the specified output format.
static PairwiseNumericInt.BitwiseComplement	get_proto()	Returns the prototype invariant.
protected PairwiseNumericInt.BitwiseComplement	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, get_ni_suppressions, 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

Methods inherited from class Object

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

Field Detail

dkconfig_enabled

public static boolean dkconfig_enabled

Boolean. True iff bitwise complement invariants should be considered.

Constructor Detail

BitwiseComplement

protected BitwiseComplement(PptSlice ppt)

BitwiseComplement

protected BitwiseComplement()

Method Detail

get_proto

public static PairwiseNumericInt.BitwiseComplement get_proto()

Returns the prototype invariant.

enabled

public boolean enabled()

Returns whether or not this invariant is enabled.

Specified by:

enabled in class Invariant

instantiate_dyn

protected PairwiseNumericInt.BitwiseComplement instantiate_dyn( PairwiseNumericInt.BitwiseComplement 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

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 class BinaryInvariant

get_format_str

public String get_format_str(@GuardSatisfied PairwiseNumericInt.BitwiseComplement 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 class PairwiseNumericInt

eq_check

public boolean eq_check(long x,
                        long y)

Check to see if x == ~y .

Specified by:

eq_check in class PairwiseNumericInt