Package daikon.inv.binary.twoScalar
Class NumericInt.Square
-
- All Implemented Interfaces:
Serializable
,Cloneable
- Enclosing class:
- NumericInt
public static class NumericInt.Square extends NumericInt
Represents the square invariant between two long scalars. Prints asx = y**2
.- See Also:
- Serialized Form
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class NumericInt
NumericInt.BitwiseAndZero, NumericInt.BitwiseComplement, NumericInt.BitwiseSubset, NumericInt.Divides, NumericInt.ShiftZero, NumericInt.Square, NumericInt.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 NumericInt
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 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
-
-
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)
Check to see if x == y squared.String
get_format_str(OutputFormat format)
Return a format string for the specified output format.static NumericInt.Square
get_proto(boolean swap)
Returns the prototype invariant.protected NumericInt.Square
instantiate_dyn(PptSlice slice)
Instantiates (creates) an invariant of the same class on the specified slice.-
Methods inherited from class NumericInt
check_modified, format_using, get_proto_all, instantiate_ok, is_subscript, isExact, isObviousDynamically, obvious_checks, repr
-
Methods inherited from class TwoScalar
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, is_symmetric
-
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
-
-
-
-
Field Detail
-
dkconfig_enabled
public static boolean dkconfig_enabled
Boolean. True iff square invariants should be considered.
-
-
Method Detail
-
get_proto
public static NumericInt.Square get_proto(boolean swap)
Returns the prototype invariant.
-
enabled
public boolean enabled()
Returns whether or not this invariant is enabled.
-
instantiate_dyn
protected NumericInt.Square instantiate_dyn( NumericInt.Square 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 NumericInt.Square this, OutputFormat format)
Description copied from class:NumericInt
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 classNumericInt
-
eq_check
public boolean eq_check(long x, long y)
Check to see if x == y squared.- Specified by:
eq_check
in classNumericInt
-
-