Package daikon.derive.binary
Class SequencesPredicateFactoryFloat
- Object
-
- BinaryDerivationFactory
-
- SequencesPredicateFactoryFloat
-
- All Implemented Interfaces:
DerivationFactory
public final class SequencesPredicateFactoryFloat extends BinaryDerivationFactory
Factory for SequencesPredicate derived variables.
-
-
Constructor Summary
Constructors Constructor Description SequencesPredicateFactoryFloat()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description BinaryDerivation @Nullable []
instantiate(VarInfo var1, VarInfo var2)
Create a set of derivations from two base variables.
-
-
-
Constructor Detail
-
SequencesPredicateFactoryFloat
public SequencesPredicateFactoryFloat()
-
-
Method Detail
-
instantiate
public BinaryDerivation @Nullable [] instantiate(VarInfo var1, VarInfo var2)
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:
var1
- the first of the two base variablesvar2
- 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.
-
-