testIntervals(cfg);
}
@Test
public void testVariableDeclaration() throws CoreException {
ProjectFile pf = project.openFile("domain.intervals", "Boxing.java");
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration01"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration02"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration03"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration04"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration05"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration06"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration07"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration08"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration09"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration10"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration11"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration12"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration13"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration14"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration15"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration16"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration17"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration18"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration19"));
performTest(pf.getCFG("Boxing", "unboxingVariableDeclaration20"));
}