001package daikon.derive.unary;
002
003import daikon.VarInfo;
004import daikon.derive.DerivationFactory;
005import org.checkerframework.checker.nullness.qual.Nullable;
006
007public abstract class UnaryDerivationFactory implements DerivationFactory {
008
009  public abstract UnaryDerivation @Nullable [] instantiate(VarInfo vi);
010}