Package ai.test.TestProject

Examples of ai.test.TestProject.ProjectFile

44
45
46
47
48
49
50
51
52
53
54
55
  }

  protected abstract void performTest(MethodControlFlowGraph cfg);
 
  protected void testAllMethods(String packageName, String filename) {
    ProjectFile pf = project.openFile(packageName, filename);
    for(MethodControlFlowGraph cfg: pf.getAllMethodGraphs()){
      try {
        performTest(cfg);
      } catch (AssertionError e) {
        e.printStackTrace(System.err);
        throw new AssertionError("Method '" + cfg.getCodeFragment().getUniqueName() + "':'" + e.getMessage());
View Full Code Here
18
19
20
21
22
23
24
25
26
27
  @Test
  public void testNewVariables() throws CoreException{
    BasicConfigurator.configure();
    Logger logger = Logger.getRootLogger();
    logger.setLevel(Level.DEBUG);
    ProjectFile pf = project.openFile("interpreter", "InterpreterTests.java");
    performTest(pf.getCFG("InterpreterTests", "test01")); // we evaluate join when all inputs are calculated
    performTest(pf.getCFG("InterpreterTests", "test02")); // switch
    performTest(pf.getCFG("InterpreterTests", "test03")); // switch
  }
View Full Code Here
17
18
19
20
21
22
23
24
25
26
27
    testIntervals(cfg);
  }

  @Test
  public void testPostfixIncrease() throws CoreException {
    ProjectFile pf = project.openFile("domain.intervals.expressions", "PostfixExpressions.java");
   
    performTest(pf.getCFG("PostfixExpressions", "postfixIncrease01"));
    performTest(pf.getCFG("PostfixExpressions", "postfixIncrease02"));
    performTest(pf.getCFG("PostfixExpressions", "postfixIncrease03"));
  }
View Full Code Here
26
27
28
29
30
31
32
33
34
35
    performTest(pf.getCFG("PostfixExpressions", "postfixIncrease03"));
  }

  @Test
  public void testPostfixDecrease() throws CoreException {
    ProjectFile pf = project.openFile("domain.intervals.expressions", "PostfixExpressions.java");
    performTest(pf.getCFG("PostfixExpressions", "postfixDecrease01"));
    performTest(pf.getCFG("PostfixExpressions", "postfixDecrease02"));
    performTest(pf.getCFG("PostfixExpressions", "postfixDecrease03"));
  }
View Full Code Here
34
35
36
37
38
39
40
41
42
43
    performTest(pf.getCFG("PostfixExpressions", "postfixDecrease03"));
  }

  @Test
  public void testPrefixIncrease() throws CoreException {
    ProjectFile pf = project.openFile("domain.intervals.expressions", "PrefixExpressions.java");
    performTest(pf.getCFG("PrefixExpressions", "prefixIncrease01"));
    performTest(pf.getCFG("PrefixExpressions", "prefixIncrease02"));
    performTest(pf.getCFG("PrefixExpressions", "prefixIncrease03"));
  }
View Full Code Here
42
43
44
45
46
47
48
49
50
51
    performTest(pf.getCFG("PrefixExpressions", "prefixIncrease03"));
  }

  @Test
  public void testPrefixDecrease() throws CoreException {
    ProjectFile pf = project.openFile("domain.intervals.expressions", "PrefixExpressions.java");
    performTest(pf.getCFG("PrefixExpressions", "prefixDecrease01"));
    performTest(pf.getCFG("PrefixExpressions", "prefixDecrease02"));
    performTest(pf.getCFG("PrefixExpressions", "prefixDecrease03"));
  }
View Full Code Here
50
51
52
53
54
55
56
57
58
    performTest(pf.getCFG("PrefixExpressions", "prefixDecrease03"));
  }
 
  @Test
  public void testPrefixMinus() throws CoreException {
    ProjectFile pf = project.openFile("domain.intervals.expressions", "PrefixExpressions.java");
    performTest(pf.getCFG("PrefixExpressions", "prefixMinus01"));
    performTest(pf.getCFG("PrefixExpressions", "prefixMinus02"));
  }
View Full Code Here
57
58
59
60
61
62
63
64
65
    performTest(pf.getCFG("PrefixExpressions", "prefixMinus02"));
  }

  @Test
  public void testPrefixPlus() throws CoreException {
    ProjectFile pf = project.openFile("domain.intervals.expressions", "PrefixExpressions.java");
    performTest(pf.getCFG("PrefixExpressions", "prefixPlus01"));
    performTest(pf.getCFG("PrefixExpressions", "prefixPlus02"));
  }
View Full Code Here
64
65
66
67
68
69
70
71
72
    performTest(pf.getCFG("PrefixExpressions", "prefixPlus02"));
  }

  @Test
  public void testPrefixComplement() throws CoreException {
    ProjectFile pf = project.openFile("domain.intervals.expressions", "PrefixExpressions.java");
    performTest(pf.getCFG("PrefixExpressions", "prefixComplement01"));
    performTest(pf.getCFG("PrefixExpressions", "prefixComplement02"));
  }
View Full Code Here
71
72
73
74
75
76
77
78
79
80
81
82
    performTest(pf.getCFG("PrefixExpressions", "prefixComplement02"));
  }

  @Test
  public void testInfixSum() throws CoreException {
    ProjectFile pf = project.openFile("domain.intervals.expressions", "InfixExpressions.java");
    performTest(pf.getCFG("InfixExpressions", "sum01"));
    performTest(pf.getCFG("InfixExpressions", "sum02"));
    performTest(pf.getCFG("InfixExpressions", "sum03"));
    performTest(pf.getCFG("InfixExpressions", "sum04"));
    performTest(pf.getCFG("InfixExpressions", "sum05"));
  }
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.