Package daikon.derive.unary

Class UnaryDerivation

Object

Derivation

UnaryDerivation

All Implemented Interfaces:

Serializable, Cloneable

Direct Known Subclasses:

SequenceInitial, SequenceInitialFloat, SequenceLength, SequenceMax, SequenceMin, SequenceSum, StringLength

public abstract class UnaryDerivation
extends Derivation

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
VarInfo	base

Fields inherited from class Derivation

debug, dkconfig_disable_derived_variables, missing_array_bounds

Constructor Summary

Constructors

Modifier	Constructor	Description
protected	UnaryDerivation(VarInfo vi)

Method Summary

Modifier and Type	Method	Description
VarInfo	base()
boolean	canBeMissing()	See VarInfo.canBeMissing.
UnaryDerivation	clone()
ValueAndModified	computeValueAndModified(ValueTuple vt)	Returns a pair of: the derived value and whether the variable counts as modified.
protected abstract ValueAndModified	computeValueAndModifiedImpl(ValueTuple vt)	Actual implementation once mods are handled.
int	derivedDepth()	Returns how many levels of derivation this Derivation is based on.
VarInfo	getBase(int i)	Returns the ith VarInfo this was derived from.
VarInfo[]	getBases()	Returns array of the VarInfos this was derived from.
boolean	isDerivedFromNonCanonical()
protected boolean	isParam()
Derivation	switchVars(VarInfo[] old_vars, VarInfo[] new_vars)

Methods inherited from class Derivation

complexity, csharp_name, esc_name, get_array_var, get_lower_bound, get_upper_bound, getVarInfo, inside_csharp_name, inside_esc_name, inside_jml_name, is_prestate_version, isSameFormula, jml_name, makeVarInfo, 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

base

public VarInfo base

Constructor Detail

UnaryDerivation

protected UnaryDerivation(VarInfo vi)

Method Detail

clone

@SideEffectFree
public UnaryDerivation clone(@GuardSatisfied UnaryDerivation this)

Overrides:

clone in class Object

switchVars

public Derivation switchVars(VarInfo[] old_vars,
                             VarInfo[] new_vars)

Specified by:

switchVars in class Derivation

computeValueAndModified

public ValueAndModified computeValueAndModified(ValueTuple vt)

Description copied from class: Derivation

Returns a pair of: the derived value and whether the variable counts as modified.

Specified by:

computeValueAndModified in class Derivation

Parameters:

vt - the set of values in a program point that will be used to derive the value

Returns:

a pair of: the derived value and whether the variable counts as modified

computeValueAndModifiedImpl

protected abstract ValueAndModified computeValueAndModifiedImpl(ValueTuple vt)

Actual implementation once mods are handled.

base

public VarInfo base()

getBases

@SideEffectFree
public VarInfo[] getBases()

Description copied from class: Derivation

Returns array of the VarInfos this was derived from.

Specified by:

getBases in class Derivation

Returns:

array of the VarInfos this was derived from

getBase

@Pure
public VarInfo getBase(int i)

Description copied from class: Derivation

Returns the ith VarInfo this was derived from.

Specified by:

getBase in class Derivation

Parameters:

i - index into the array of Varinfos this was derived from

Returns:

the ith VarInfo this was derived from

isParam

@Pure
protected boolean isParam()

Specified by:

isParam in class Derivation

isDerivedFromNonCanonical

@Pure
public boolean isDerivedFromNonCanonical()

Specified by:

isDerivedFromNonCanonical in class Derivation

derivedDepth

public int derivedDepth()

Description copied from class: Derivation

Returns how many levels of derivation this Derivation is based on. The depth counts this as well as the depths of its bases.

Specified by:

derivedDepth in class Derivation

canBeMissing

public boolean canBeMissing()

Description copied from class: Derivation

See VarInfo.canBeMissing.

Specified by:

canBeMissing in class Derivation

See Also:

VarInfo.canBeMissing