Package jdolly

Examples of jdolly.JDollyImp

12
13
14
15
16
17
18
19
20
21
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
11
12
13
14
15
16
17
18
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
12
13
14
15
16
17
18
19
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
12
13
14
15
16
17
18
19
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
11
12
13
14
15
16
17
18
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
12
13
14
15
16
17
18
19
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
11
12
13
14
15
16
17
18
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
12
13
14
15
16
17
18
19
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
12
13
14
15
16
17
18
19
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
12
13
14
15
16
17
18
19
20
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

  • edu.mit.csail.sdg.alloy4.A4Reporter
  • edu.mit.csail.sdg.alloy4compiler.ast.CommandScope
  • edu.mit.csail.sdg.alloy4compiler.ast.Sig
  • edu.mit.csail.sdg.alloy4compiler.translator.A4Options
  • jdolly.examples.AddParameterGen
  • jdolly.examples.ChangeVisibilityGen
  • jdolly.examples.EncapsulateFieldGen
  • jdolly.examples.MoveMethodGen
  • jdolly.examples.PullUpFieldGen
  • jdolly.examples.PullUpMethodGen
    • 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.