Package ai.test.TestProject

Examples of ai.test.TestProject.ProjectFile

58
59
60
61
62
63
64
65
    performTest(pf.getCFG("Boxing", "unboxingMethodInvocation01"));
  }

  @Test
  public void testUnboxingSimpleName() throws CoreException {
    ProjectFile pf = project.openFile("domain.booleans", "Boxing.java");
    performTest(pf.getCFG("Boxing", "unboxingSimpleName01"));
  }
View Full Code Here
64
65
66
67
68
69
70
71
72
    performTest(pf.getCFG("Boxing", "unboxingSimpleName01"));
  }

  @Test
  public void testUnboxingPrefixExpression() throws CoreException {
    ProjectFile pf = project.openFile("domain.booleans", "Boxing.java");
    performTest(pf.getCFG("Boxing", "unboxingPrefix01"));
    performTest(pf.getCFG("Boxing", "unboxingPrefix02"));
  }
View Full Code Here
71
72
73
74
75
76
77
78
79
80
    performTest(pf.getCFG("Boxing", "unboxingPrefix02"));
  }

  @Test
  public void testUnboxingSuperFieldAccess() throws CoreException {
    ProjectFile pf = project.openFile("domain.booleans", "Boxing.java");
    performTest(pf.getCFG("Boxing", "unboxingSuperField01"));
    performTest(pf.getCFG("Boxing", "unboxingSuperField02"));
    performTest(pf.getCFG("Boxing", "unboxingSuperField03"));
  }
View Full Code Here
79
80
81
82
83
84
85
86
    performTest(pf.getCFG("Boxing", "unboxingSuperField03"));
  }

  @Test
  public void testUnboxingSuperMethodInvocation() throws CoreException {
    ProjectFile pf = project.openFile("domain.booleans", "Boxing.java");
    performTest(pf.getCFG("Boxing", "unboxingSuperMethodInvocation01"));
  }
View Full Code Here
18
19
20
21
22
23
24
25
26
27
    testBooleans(cfg);
  }

  @Test
  public void testNewVariables() throws CoreException{
    ProjectFile pf = project.openFile("domain.booleans", "Variables.java");
    performTest(pf.getCFG("Variables", "testInitials"));
    performTest(pf.getCFG("Variables", "booleanVariableWithSimpleAssignment01"));
    performTest(pf.getCFG("Variables", "booleanVariableWithSimpleAssignment02"));
  }
View Full Code Here
23
24
25
26
27
28
29
30
  }
 

  @Test
  public void testBasic() throws CoreException {
    ProjectFile pf = project.openFile("domain.boxes", "Basics.java");
    performTest(pf.getCFG("Basics", "test01"));
  }
View Full Code Here
12
13
14
15
16
17
18
19
20
21
22
23
@RunWith(JUnit4.class)
public class ConditionsTests extends TestsBase  {

  @Test
  public void testSimpleLe() throws CoreException {
    ProjectFile pf = project.openFile("domain.boolintv.conditions", "SimpleNumericCompare.java");
   
    performTest(pf.getCFG("SimpleNumericCompare", "le01"));
    performTest(pf.getCFG("SimpleNumericCompare", "le02"));
    performTest(pf.getCFG("SimpleNumericCompare", "le03"));
    performTest(pf.getCFG("SimpleNumericCompare", "le04"));
  }
View Full Code Here
22
23
24
25
26
27
28
29
30
31
32
    performTest(pf.getCFG("SimpleNumericCompare", "le04"));
  }

  @Test
  public void testSimpleLeq() throws CoreException {
    ProjectFile pf = project.openFile("domain.boolintv.conditions", "SimpleNumericCompare.java");   
    performTest(pf.getCFG("SimpleNumericCompare", "leq01"));
    performTest(pf.getCFG("SimpleNumericCompare", "leq02"));
    performTest(pf.getCFG("SimpleNumericCompare", "leq03"));
    performTest(pf.getCFG("SimpleNumericCompare", "leq04"));
  }
View Full Code Here
31
32
33
34
35
36
37
38
39
40
41
    performTest(pf.getCFG("SimpleNumericCompare", "leq04"));
  }

  @Test
  public void testSimpleGe() throws CoreException {
    ProjectFile pf = project.openFile("domain.boolintv.conditions", "SimpleNumericCompare.java");
    performTest(pf.getCFG("SimpleNumericCompare", "ge01"));
    performTest(pf.getCFG("SimpleNumericCompare", "ge02"));
    performTest(pf.getCFG("SimpleNumericCompare", "ge03"));
    performTest(pf.getCFG("SimpleNumericCompare", "ge04"));
  }
View Full Code Here
40
41
42
43
44
45
46
47
48
49
50
    performTest(pf.getCFG("SimpleNumericCompare", "ge04"));
  }

  @Test
  public void testSimpleGeq() throws CoreException {
    ProjectFile pf = project.openFile("domain.boolintv.conditions", "SimpleNumericCompare.java");   
    performTest(pf.getCFG("SimpleNumericCompare", "geq01"));
    performTest(pf.getCFG("SimpleNumericCompare", "geq02"));
    performTest(pf.getCFG("SimpleNumericCompare", "geq03"));
    performTest(pf.getCFG("SimpleNumericCompare", "geq04"));
  }
View Full Code Here
TOP

Related Classes of ai.test.TestProject.ProjectFile

  • ai.cfg.test.CFGTest
  • ai.domain.bool.test.AbstractSemanticsTest
  • ai.domain.bool.test.AutoBoxingAndUnboxing
  • ai.domain.bool.test.BasicExpressionsTests
  • ai.domain.bool.test.Various
  • ai.domain.boolintv.test.ConditionsTests
  • ai.domain.boolintv.test.ExpressionTests
  • ai.domain.boolintv.test.IntervalComparatorTest
  • ai.domain.boxes.test.BasicTests
  • ai.domain.intervals.test.AbstractSemanticTest
    • 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.