Package jdolly.examples

Source Code of jdolly.examples.PushDownMethodGen

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";
  }

}
TOP

Related Classes of jdolly.examples.PushDownMethodGen

TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.