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

BinaryDerivationFactory()

Method Summary

abstract BinaryDerivation[]

instantiate(VarInfo vi1, VarInfo vi2) Create a set of derivations from two base variables.

Methods inherited from class Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BinaryDerivationFactory

public BinaryDerivationFactory()

Method Detail

instantiate

public abstract BinaryDerivation[] 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 -

vi2 - 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.