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}