Package daikon.derive.binary
Class BinaryDerivationFactory
- Object
-
- BinaryDerivationFactory
-
- All Implemented Interfaces:
DerivationFactory
- Direct Known Subclasses:
SequenceFloatIntersectionFactory
,SequenceFloatSubscriptFactory
,SequenceFloatUnionFactory
,SequenceScalarIntersectionFactory
,SequenceScalarSubscriptFactory
,SequenceScalarUnionFactory
,SequencesConcatFactory
,SequencesJoinFactory
,SequencesJoinFactoryFloat
,SequencesPredicateFactory
,SequencesPredicateFactoryFloat
,SequenceStringIntersectionFactory
,SequenceStringSubscriptFactory
,SequenceStringUnionFactory
public abstract class BinaryDerivationFactory extends Object implements DerivationFactory
Factory to produce BinaryDerivation.
-
-
Constructor Summary
Constructors Constructor Description BinaryDerivationFactory()
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description abstract BinaryDerivation @Nullable []
instantiate(VarInfo vi1, VarInfo vi2)
Create a set of derivations from two base variables.
-
-
-
Constructor Detail
-
BinaryDerivationFactory
public BinaryDerivationFactory()
-
-
Method Detail
-
instantiate
public abstract BinaryDerivation @Nullable [] instantiate(VarInfo vi1, VarInfo vi2)
Create a set of derivations from two base variables. If the base variables aren't worth deriving from, returns null.- Parameters:
vi1
- the first of the two base variablesvi2
- 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.
-
-