Package daikon.derive.ternary
Class SequenceFloatArbitrarySubsequenceFactory
- Object
-
- TernaryDerivationFactory
-
- SequenceFloatArbitrarySubsequenceFactory
-
- All Implemented Interfaces:
DerivationFactory
public final class SequenceFloatArbitrarySubsequenceFactory extends TernaryDerivationFactory
-
-
Constructor Summary
Constructors Constructor Description SequenceFloatArbitrarySubsequenceFactory()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description TernaryDerivation @Nullable []
instantiate(VarInfo vi1, VarInfo vi2, VarInfo vi3)
Create a set of derivations from three base variables.-
Methods inherited from class TernaryDerivationFactory
checkComparability, checkType, returnType
-
-
-
-
Constructor Detail
-
SequenceFloatArbitrarySubsequenceFactory
public SequenceFloatArbitrarySubsequenceFactory()
-
-
Method Detail
-
instantiate
public TernaryDerivation @Nullable [] instantiate(VarInfo vi1, VarInfo vi2, VarInfo vi3)
Description copied from class:TernaryDerivationFactory
Create a set of derivations from three base variables. If the base variables aren't worth deriving from, returns null.- Specified by:
instantiate
in classTernaryDerivationFactory
- Parameters:
vi1
- the first of the three base variablesvi2
- the second of the three base variablesvi3
- the third of the three base variables- Returns:
- a set of derivations based on three base variables. We allow more than one because the base variables may have multiple derived variables, per type of derivation. Can also be null if the variables have nothing to derive from.
-
-