Package daikon.derive.binary
Class SequenceFloatUnionFactory
- Object
-
- BinaryDerivationFactory
-
- SequenceFloatUnionFactory
-
- All Implemented Interfaces:
DerivationFactory
public final class SequenceFloatUnionFactory extends BinaryDerivationFactory
-
-
Constructor Summary
Constructors Constructor Description SequenceFloatUnionFactory()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description BinaryDerivation @Nullable []
instantiate(VarInfo seq1, VarInfo seq2)
Create a set of derivations from two base variables.
-
-
-
Constructor Detail
-
SequenceFloatUnionFactory
public SequenceFloatUnionFactory()
-
-
Method Detail
-
instantiate
public BinaryDerivation @Nullable [] instantiate(VarInfo seq1, VarInfo seq2)
Description copied from class:BinaryDerivationFactory
Create a set of derivations from two base variables. If the base variables aren't worth deriving from, returns null.- Specified by:
instantiate
in classBinaryDerivationFactory
- Parameters:
seq1
- the first of the two base variablesseq2
- the second of the two base variables- Returns:
- a set of derivations based on two base variables. We allow more than one because two base variables may have multiple derived variables, per type of derivation. Can also be null if the two variables have nothing to derive from.
-
-