Package daikon.derive.binary

Class SequenceFloatUnion

Object

Derivation

BinaryDerivation

SequenceFloatUnion

All Implemented Interfaces:

Serializable, Cloneable

public final class SequenceFloatUnion
extends BinaryDerivation

Represents the setwise union of two base variables, each of which is a collection. This variable contains every element that is in either of the base variables, but this variable contains no duplicate elements. Elements are in order of first appearance in the base variables (base1 first).

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
static boolean	dkconfig_enabled	Boolean.

Fields inherited from class BinaryDerivation

base1, base2

Fields inherited from class Derivation

debug, dkconfig_disable_derived_variables, missing_array_bounds

Method Summary

Modifier and Type	Method	Description
ValueAndModified	computeValueAndModifiedImpl(ValueTuple full_vt)	Actual implementation once mods are handled.
String	esc_name(String index)	Returns the ESC name.
boolean	isSameFormula(Derivation other)	Returns true iff other and this represent the same derivation (modulo the variable they are applied to).
protected VarInfo	makeVarInfo()	Used by all child classes to actually create the VarInfo this represents, after which it is interned for getVarInfo().

Methods inherited from class BinaryDerivation

canBeMissing, clone, computeValueAndModified, derivedDepth, getBase, getBases, isDerivedFromNonCanonical, isParam, switchVars, var1, var2

Methods inherited from class Derivation

complexity, csharp_name, get_array_var, get_lower_bound, get_upper_bound, getVarInfo, inside_csharp_name, inside_esc_name, inside_jml_name, is_prestate_version, jml_name, makeVarInfo_common_setup, missingOutOfBounds, shift_str, simplify_name

Methods inherited from class Object

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

Field Detail

dkconfig_enabled

public static boolean dkconfig_enabled

Boolean. True iff SequenceFloatUnion derived variables should be generated.

Method Detail

computeValueAndModifiedImpl

public ValueAndModified computeValueAndModifiedImpl(ValueTuple full_vt)

Description copied from class: BinaryDerivation

Actual implementation once mods are handled.

Specified by:

computeValueAndModifiedImpl in class BinaryDerivation

makeVarInfo

protected VarInfo makeVarInfo()

Description copied from class: Derivation

Used by all child classes to actually create the VarInfo this represents, after which it is interned for getVarInfo().

Specified by:

makeVarInfo in class Derivation

isSameFormula

@Pure
public boolean isSameFormula(Derivation other)

Description copied from class: Derivation

Returns true iff other and this represent the same derivation (modulo the variable they are applied to). Default implentation will just checks run-time type, but subclasses with state (e.g. SequenceInitial index) should match that, too.

Specified by:

isSameFormula in class Derivation

Parameters:

other - the Derivation to compare to

Returns:

true iff other and this represent the same derivation

esc_name

@SideEffectFree
public String esc_name(String index)

Returns the ESC name.

Overrides:

esc_name in class Derivation