Package daikon.inv.binary.twoSequence

Class Reverse

Object

Invariant

BinaryInvariant

TwoSequence

Reverse

All Implemented Interfaces:

Serializable, Cloneable

public class Reverse
extends TwoSequence

Represents two sequences of long where one is in the reverse order of the other. Prints as x[] is the reverse of y[].

See Also:

Serialized Form

Nested Class Summary

Nested classes/interfaces inherited from class Invariant

Invariant.ClassVarnameComparator, Invariant.ClassVarnameFormulaComparator, Invariant.InvariantComparatorForPrinting, Invariant.Match

Field Summary

Fields

Modifier and Type	Field	Description
static Logger	debug
static boolean	dkconfig_enabled	Boolean.

Fields inherited from class TwoSequence

swap

Fields inherited from class Invariant

checkedMergeOverridden, CONFIDENCE_JUSTIFIED, CONFIDENCE_NEVER, CONFIDENCE_UNJUSTIFIED, 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	Reverse()
protected	Reverse(PptSlice ppt)

Method Summary

Modifier and Type	Method	Description
InvariantStatus	add_modified(long @Interned [] a1, long @Interned [] a2, int count)	Default implementation simply calls check.
InvariantStatus	check_modified(long @Interned [] a1, long @Interned [] a2, int count)	Presents a sample to the invariant.
protected double	computeConfidence()	This method computes the confidence that this invariant occurred by chance.
boolean	enabled()	Returns whether or not this class of invariants is currently enabled.
String	format_csharp()
String	format_daikon()
String	format_java_family(OutputFormat format)
String	format_simplify()
String	format_using(OutputFormat format)	Return a printed representation of this invariant, in the given format.
static Reverse	get_proto()	Returns the prototype invariant for Reverse.
Reverse	instantiate_dyn(PptSlice slice)	Instantiates (creates) an invariant of the same class on the specified slice.
boolean	instantiate_ok(VarInfo[] vis)	Reverse only makes sense on ordered arrays.
boolean	isSameFormula(Invariant other)	Return true if both invariants are the same class and the order of the variables (swap) is the same.
String	repr()	Returns a representation of the class.
protected Invariant	resurrect_done_swapped()	Swaps the variables by inverting the state of swap.

Methods inherited from class TwoSequence

add, add_unmodified, check, check_unmodified, get_swap, resurrect_done, 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, isExact, isExclusiveFormula, isObvious, isObviousDynamically, 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

debug

public static final Logger debug

dkconfig_enabled

public static boolean dkconfig_enabled

Boolean. True iff Reverse invariants should be considered.

Constructor Detail

Reverse

protected Reverse(PptSlice ppt)

Reverse

protected Reverse()

Method Detail

get_proto

public static Reverse get_proto()

Returns the prototype invariant for Reverse.

enabled

public boolean enabled()

Description copied from class: Invariant

Returns whether or not this class of invariants is currently enabled.

Its implementation is almost always return dkconfig_enabled;.

Specified by:

enabled in class Invariant

instantiate_ok

public boolean instantiate_ok(VarInfo[] vis)

Reverse only makes sense on ordered arrays.

Overrides:

instantiate_ok in class Invariant

See Also:

Invariant.valid_types(VarInfo[])

instantiate_dyn

public Reverse instantiate_dyn( Reverse 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

resurrect_done_swapped

protected Invariant resurrect_done_swapped()

Description copied from class: TwoSequence

Swaps the variables by inverting the state of swap.

Overrides:

resurrect_done_swapped in class TwoSequence

repr

public String repr(@GuardSatisfied Reverse this)

Description copied from class: TwoSequence

Returns a representation of the class. This includes the classname, variables, and swap state.

Overrides:

repr in class TwoSequence

Returns:

a string representation of this

format_using

@SideEffectFree
public String format_using(@GuardSatisfied Reverse this,
                           OutputFormat format)

Description copied from class: Invariant

Return a printed representation of this invariant, in the given format.

Specified by:

format_using in class Invariant

format_daikon

public String format_daikon(@GuardSatisfied Reverse this)

format_java_family

public String format_java_family(@GuardSatisfied Reverse this,
                                 OutputFormat format)

format_csharp

public String format_csharp(@GuardSatisfied Reverse this)

format_simplify

public String format_simplify(@GuardSatisfied Reverse this)

check_modified

public InvariantStatus check_modified(long @Interned [] a1,
                                      long @Interned [] a2,
                                      int count)

Description copied from class: TwoSequence

Presents a sample to the invariant. Returns whether the sample is consistent with the invariant. Does not change the state of the invariant.

Specified by:

check_modified in class TwoSequence

count - how many identical samples were observed in a row. For example, three calls to check_modified with a count parameter of 1 is equivalent to one call to check_modified with a count parameter of 3.

Returns:

whether or not the sample is consistent with the invariant

add_modified

public InvariantStatus add_modified(long @Interned [] a1,
                                    long @Interned [] a2,
                                    int count)

Description copied from class: TwoSequence

Default implementation simply calls check. Subclasses can override.

Overrides:

add_modified in class TwoSequence

computeConfidence

protected double computeConfidence()

Description copied from class: Invariant

This method computes the confidence that this invariant occurred by chance. Clients should call Invariant.getConfidence() instead.

This method need not check the value of field "falsified", as the caller does that.

Overrides:

computeConfidence in class TwoSequence

Returns:

confidence of this invariant

See Also:

Invariant.getConfidence()

isSameFormula

@Pure
public boolean isSameFormula(Invariant other)

Description copied from class: TwoSequence

Return true if both invariants are the same class and the order of the variables (swap) is the same.

Overrides:

isSameFormula in class TwoSequence

Parameters:

other - the invariant to compare to this one

Returns:

true iff the two invariants represent the same mathematical formula. Does not consider