package jdolly.examples;
import java.util.List;
import jdolly.JDolly;
import jdolly.JDollyImp;
import jdolly.JDollyImp;
import org.eclipse.jdt.core.dom.CompilationUnit;
import org.testorrery.IGenerator;
public class PushDownMethodGen extends Gen {
@Override
protected IGenerator<List<CompilationUnit>> getCUGen() {
JDolly jdolly = new JDollyImp("alloyTheory/pushdownmethod_final.als", 2,3, 4);
//jdolly.setCaller("m_0");
//jdolly.setFacade("test_0");
return jdolly;
}
@Override
protected String getLogDirPath() {
return super.getSystemTempDir() + "/pushdownmethod";
}
}