Examples of ProjectFile


Examples of ai.test.TestProject.ProjectFile

  }

  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

Examples of ai.test.TestProject.ProjectFile

  @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

Examples of ai.test.TestProject.ProjectFile

    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

Examples of ai.test.TestProject.ProjectFile

    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

Examples of ai.test.TestProject.ProjectFile

    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

Examples of ai.test.TestProject.ProjectFile

    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

Examples of ai.test.TestProject.ProjectFile

    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

Examples of ai.test.TestProject.ProjectFile

    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

Examples of ai.test.TestProject.ProjectFile

    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

Examples of ai.test.TestProject.ProjectFile

    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
Copyright © 2018 www.massapi.com. 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.