Package jdolly

Examples of jdolly.JDollyImp


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;
  }
View Full Code Here


public class RenameMethodGen extends Gen {

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    JDolly jdolly = new JDollyImp("alloyTheory/renamemethod_final.als", 2, 3, 3)
    return jdolly;
  }
View Full Code Here

public class RenameFieldGen extends Gen{

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    JDolly jdolly = new JDollyImp("alloyTheory/renamefield_final.als", 2, 3, 1,2);
    return jdolly;
  }
View Full Code Here

public class RenameFieldGen extends Gen{

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    JDolly jdolly = new JDollyImp("alloyTheory/renamefield_final.als", 2, 3, 1,2);
    return jdolly;
  }
View Full Code Here

public class RenameClassGen extends Gen {

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    JDolly jdolly = new JDollyImp("alloyTheory/renameclass_final.als", 2, 3, 3);
    return jdolly;
  }
View Full Code Here

public class AddParameterGen extends Gen {

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    return new JDollyImp("alloyTheory/addparameter_final.als", 2, 3,
        3);
  }
View Full Code Here

public class PullUpMethodGen extends Gen{

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    JDolly jdolly = new JDollyImp("alloyTheory/pullupmethod_final.als", 2, 3, 4);
    return jdolly;
  }
View Full Code Here

public class MoveMethodGen extends Gen {

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    return new JDollyImp("alloyTheory/movemethod_final.als", 2,
        3, 3,1);
  }
View Full Code Here

public class MoveMethodGen extends Gen {

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    return new JDollyImp("alloyTheory/movemethod_final.als", 2,
        3, 3,1);
  }
View Full Code Here

public class PushDownFieldGen extends Gen {

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    JDolly jdolly = new JDollyImp("alloyTheory/pushdownfield_final.als", 2,
        3, 1,2);
    return jdolly;
  }
View Full Code Here

TOP

Related Classes of jdolly.JDollyImp

Copyright © 2018 www.massapicom. 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.