Package jdolly

Examples of jdolly.JDollyImp

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
13
14
15
16
17
18
19
public class PullUpFieldGen extends Gen {

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
   
    return new JDollyImp("alloyTheory/pullupfield_final.als", 2, 3,2,1);
  }
View Full Code Here
13
14
15
16
17
18
19
public class PullUpFieldGen extends Gen {

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
   
    return new JDollyImp("alloyTheory/pullupfield_final.als", 2, 3,2,1);
  }
View Full Code Here
11
12
13
14
15
16
17
18
public class RemoveParameterGen extends Gen {

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    return new JDollyImp("newAlloyTheory/removeparameter_idioma_novo.als", 2, 3,
        2);
  }
View Full Code Here
9
10
11
12
13
14
15
16
import org.testorrery.IGenerator;


public class ChangeVisibilityGen extends Gen{
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    return new JDollyImp("alloyTheory/changevisibility_idioma_novo.als", 2, 3,
        3);
  }
View Full Code Here
12
13
14
15
16
17
18
19
public class EncapsulateFieldGen extends Gen{

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    return new JDollyImp("alloyTheory/encapsulatefield_final.als", 2,
        3, 3,1);
  }
View Full Code Here
12
13
14
15
16
17
18
19
public class EncapsulateFieldGen extends Gen{

  @Override
  protected IGenerator<List<CompilationUnit>> getCUGen() {
    return new JDollyImp("alloyTheory/encapsulatefield_final.als", 2,
        3, 3,1);
  }
View Full Code Here
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
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
public class JDollyTest {

  @Test
  public void test1() {

    JDolly jdolly = new JDollyImp("alloyTheory/renameclass_final.als",
        2, 3, 3);

    if (jdolly.hasNext()) {
      List<CompilationUnit> cus = jdolly.next();

      String expectedPorgram = "[package Package_1;\n"
          + "import Package_0.*;\n"
          + "public class ClassId_1 extends ClassId_0 {\n" + "}\n"
          + ", package Package_0;\n" + "public class ClassId_0 {\n"
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
  }

  @Test
  public void test2() {

    JDolly jdolly = new JDollyImp(
        "alloyTheory/renamefield_final.als", 2, 3, 1, 2);

    if (jdolly.hasNext()) {
      List<CompilationUnit> cus = jdolly.next();
      System.out.println("program: " + cus);

      String expectedPorgram = "[package Package_1;\n"
          + "public class ClassId_2 {\n"
          + "  public int fieldid_0=11;\n" + "}\n"
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.