Package jdolly

Examples of jdolly.JDolly

60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
    assertEquals(2055, numberPrograms);
  }
 
  @Test
  public void testPushDownMethodSetMaximumNumberofPrograms() {
    JDolly jdolly = new JDollyImp("alloyTheory/pushdownmethod_final.als",2, 3, 4);
    jdolly.setExactMaxPackages(true);
    jdolly.setMaxMethodNames(3);
    jdolly.setExactMaxMethodNames(true);
    jdolly.setMaximumPrograms(10);
   
    int numberPrograms = TestUtil.countSolutions(jdolly, false);
   
    assertEquals(10, numberPrograms);
  }
View Full Code Here
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
    assertEquals(10, numberPrograms);
  }

  @Test
  public void testPullUpMethod() {
    JDolly jdolly = new JDollyImp("alloyTheory/pullupmethod_final.als",
        2, 3, 4);
    jdolly.setExactMaxPackages(true);
    jdolly.setMaxClassNames(3);
    jdolly.setExactMaxClassNames(true);
    jdolly.setMaxMethodNames(3);
//    jdolly.setExactMaxMethodNames(true);

    int numberPrograms = TestUtil.countSolutions(jdolly, true);

    assertEquals(8937, numberPrograms);
View Full Code Here
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
  }

  @Test
  public void testAddParameter() {
    JDolly jdolly = new JDollyImp("alloyTheory/addparameter_final.als",
        2, 3, 3);

    jdolly.setExactMaxPackages(true);
    jdolly.setMaxClassNames(3);
    jdolly.setExactMaxClassNames(true);

    jdolly.setMaxMethodNames(2);
    jdolly.setExactMaxMethodNames(true);

    int numberPrograms = TestUtil.countSolutions(jdolly, false);

    assertEquals(30186, numberPrograms);
View Full Code Here
107
108
109
110
111
112
113
114
115
116
117
  }
 
  @Test
  public void testRenameField() {
    JDolly jdolly = new JDollyImp("alloyTheory/renamefield_final.als",2, 3, 1,2);
   
    int numberPrograms = TestUtil.countSolutions(jdolly, false);
   
    assertEquals(19424, numberPrograms);
   
View Full Code Here
117
118
119
120
121
122
123
124
125
126
127
128
   
  }

  @Test
  public void testPushDownField() {
    JDolly jdolly = new JDollyImp("alloyTheory/pushdownfield_final.als",2, 3, 1,2);
    jdolly.setMaxFieldNames(1);
   
    int numberPrograms = TestUtil.countSolutions(jdolly, false);
   
    assertEquals(11936, numberPrograms);
   
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
139
   
  }
 
  @Test
  public void testPullupField() {
    JDolly jdolly = new JDollyImp("alloyTheory/pullupfield_final.als",2, 3, 1,2);
    jdolly.setMaxFieldNames(1);
   
    int numberPrograms = TestUtil.countSolutions(jdolly, true);
   
    assertEquals(10928, numberPrograms);
   
View Full Code Here
141
142
143
144
145
146
147
148
149
150
151
 

 
  @Test
  public void testEncapsulateField() {
    JDolly jdolly = new JDollyImp("alloyTheory/encapsulatefield_final.als",2, 3, 3,1);
   
    int numberPrograms = TestUtil.countSolutions(jdolly, false);
   
    assertEquals(2000, numberPrograms);
   
View Full Code Here
151
152
153
154
155
156
157
158
159
160
161
162
   
  }
 
  @Test
  public void testMoveMethod() {
    JDolly jdolly = new JDollyImp("alloyTheory/movemethod_final.als",2, 3, 3,1);
    jdolly.setMaxMethodNames(2);
   
    int numberPrograms = TestUtil.countSolutions(jdolly, false);
   
    assertEquals(22905, numberPrograms);
   
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.JDolly

  • edu.mit.csail.sdg.alloy4.A4Reporter
  • edu.mit.csail.sdg.alloy4compiler.ast.Sig
  • jdolly.examples.PullUpMethodGen
  • jdolly.examples.PushDownFieldGen
  • jdolly.examples.PushDownMethodGen
  • jdolly.examples.RenameClassGen
  • jdolly.examples.RenameFieldGen
  • jdolly.examples.RenameMethodGen
  • jdolly.test.JDollyTest
  • jdolly.test.TseTheoryTest
    • 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.