Package jdolly

Examples of jdolly.JDollyImp

9
10
11
12
13
14
15
16
17
18
19
public class TseTheoryTest {
 
  @Test
  public void testScopeRenameClass() {
    JDolly jdolly = new JDollyImp("alloyTheory/renameclass_final.als",
        2, 3, 3);

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

    assertEquals(15916, numberPrograms);
View Full Code Here
20
21
22
23
24
25
26
27
28
29
30
  }

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

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

    assertEquals(11264, numberPrograms);
View Full Code Here
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
  }

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

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

    assertEquals(20544, numberPrograms);
View Full Code Here
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
  }
 
 
  @Test
  public void testPushDownMethodOptimized() {
    JDolly jdolly = new JDollyImp("alloyTheory/pushdownmethod_final.als",2, 3, 4);
    jdolly.setExactMaxPackages(true);
    jdolly.setMaxMethodNames(3);
    jdolly.setExactMaxMethodNames(true);
    jdolly.setOptimized(true);
    jdolly.setJump(10);
   
    int numberPrograms = TestUtil.countSolutions(jdolly, false);
   
    assertEquals(2055, numberPrograms);
  }
View Full Code Here
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
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.