Package jdolly

Examples of jdolly.JDollyImp

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