return fixture;
}
+ private CGAnalysis fCga;
+
/**
* Test an empty state system.
*/
fixture.closeHistory(1002);
// Execute the CallGraphAnalysis
CGAnalysis cga = new CGAnalysis();
+ setCga(cga);
assertTrue(cga.iterateOverStateSystem(fixture, TP, PP, CSP, new NullProgressMonitor()));
@NonNull
List<ThreadNode> threads = cga.getThreadNodes();
// Execute the CallGraphAnalysis
CGAnalysis cga = new CGAnalysis();
+ setCga(cga);
assertTrue(cga.iterateOverStateSystem(fixture, TP, PP, CSP, new NullProgressMonitor()));
- @NonNull
List<ThreadNode> threads = cga.getThreadNodes();
// Test the threads generated by the analysis
assertNotNull(threads);
CGAnalysis cga = new CGAnalysis();
String @NonNull [] tp = { "123" };
assertTrue(cga.iterateOverStateSystem(fixture, tp, PP, CSP, new NullProgressMonitor()));
+ setCga(cga);
List<ThreadNode> threads = cga.getThreadNodes();
// Test the threads generated by the analysis
assertNotNull(threads);
buildCallStack(fixture);
// Execute the CallGraphAnalysis
CGAnalysis cga = new CGAnalysis();
+ setCga(cga);
assertTrue(cga.iterateOverStateSystem(fixture, TP, PP, CSP, new NullProgressMonitor()));
List<ThreadNode> threads = cga.getThreadNodes();
// Test the threads generated by the analysis
fixture.closeHistory(11);
// Execute the callGraphAnalysis
CGAnalysis cga = new CGAnalysis();
+ setCga(cga);
assertTrue(cga.iterateOverStateSystem(fixture, TP, PP, CSP, new NullProgressMonitor()));
List<ThreadNode> threads = cga.getThreadNodes();
// Test the threads generated by the analysis
// Execute the callGraphAnalysis
CGAnalysis cga = new CGAnalysis();
+ setCga(cga);
assertTrue(cga.iterateOverStateSystem(fixture, TP, PP, CSP, new NullProgressMonitor()));
List<ThreadNode> threads = cga.getThreadNodes();
// Test the threads generated by the analysis
// Execute the callGraphAnalysis
CGAnalysis cga = new CGAnalysis();
+ setCga(cga);
assertTrue(cga.iterateOverStateSystem(fixture, TP, PP, CSP, new NullProgressMonitor()));
List<ThreadNode> threads = cga.getThreadNodes();
// Test the threads generated by the analysis
assertEquals("Test third function's number of calls", 1, function4.getNbCalls());
}
+
+ /**
+ * Gets the call graph analysis
+ * @return the call graph analysis
+ */
+ protected CGAnalysis getCga() {
+ return fCga;
+ }
+
+ private void setCga(CGAnalysis cga) {
+ fCga = cga;
+ }
}