Package daikon.derive.unary
Class SequenceInitialFloat
- Object
-
- Derivation
-
- UnaryDerivation
-
- SequenceInitialFloat
-
- All Implemented Interfaces:
Serializable
,Cloneable
public final class SequenceInitialFloat extends UnaryDerivation
This represents a sequence element at a particular offset (such as first, second, penultimate, last).- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description static boolean
dkconfig_enabled
Boolean.int
index
Typically 0, 1, -1, or -2.-
Fields inherited from class UnaryDerivation
base
-
Fields inherited from class Derivation
debug, dkconfig_disable_derived_variables, missing_array_bounds
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static boolean
applicable(VarInfo vi)
ValueAndModified
computeValueAndModifiedImpl(ValueTuple 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().VarInfo
seqvar()
-
Methods inherited from class UnaryDerivation
base, canBeMissing, clone, computeValueAndModified, derivedDepth, getBase, getBases, isDerivedFromNonCanonical, isParam, switchVars
-
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
-
-
-
-
Field Detail
-
dkconfig_enabled
public static boolean dkconfig_enabled
Boolean. True iff SequenceInitial derived variables should be generated.
-
index
public final int index
Typically 0, 1, -1, or -2. A negative number means counting from end.
-
-
Method Detail
-
applicable
public static boolean applicable(VarInfo vi)
-
computeValueAndModifiedImpl
public ValueAndModified computeValueAndModifiedImpl(ValueTuple vt)
Description copied from class:UnaryDerivation
Actual implementation once mods are handled.- Specified by:
computeValueAndModifiedImpl
in classUnaryDerivation
-
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 classDerivation
-
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 classDerivation
- 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 classDerivation
-
-