Package daikon.derive.unary
Class SequenceInitialFactory
- Object
-
- UnaryDerivationFactory
-
- SequenceInitialFactory
-
- All Implemented Interfaces:
DerivationFactory
public final class SequenceInitialFactory extends UnaryDerivationFactory
-
-
Constructor Summary
Constructors Constructor Description SequenceInitialFactory()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description UnaryDerivation @Nullable []
instantiate(VarInfo vi)
-
-
-
Constructor Detail
-
SequenceInitialFactory
public SequenceInitialFactory()
-
-
Method Detail
-
instantiate
public UnaryDerivation @Nullable [] instantiate(VarInfo vi)
- Specified by:
instantiate
in classUnaryDerivationFactory
-
-