Package jdolly

Examples of jdolly.JDolly

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
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
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
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
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
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
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.