diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/AllTests.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/AllTests.java index 6e2e721..2437a65 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/AllTests.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/AllTests.java @@ -29,39 +29,33 @@ import com.ibm.wala.util.CancelException; Test13.class, Test14.class, Test15.class, Test16.class, Test17.class, Test18.class, Test19.class }) -public class AllTests { +public class AllTests { protected static ICFGSupergraph superGraph = null; + private static final String testProject="eu.aniketos.dasca.dataflow.test.data"; @BeforeClass - public static void init(){ + public static void init() throws IllegalArgumentException, CancelException, IOException, CoreException { IJavaProject javaProject = null; IProject[] projects = ResourcesPlugin.getWorkspace().getRoot().getProjects(); + for (IProject project : projects) { try { project.open(null /* IProgressMonitor */); } catch (CoreException e) { - e.printStackTrace(); - } + e.printStackTrace(); } IJavaProject javaProjectintern = JavaCore.create(project); - if(javaProjectintern.getElementName().equals("eu.aniketos.dasca.dataflow")){ + if(javaProjectintern.getElementName().toString().equals(testProject)){ javaProject = javaProjectintern; } } - try { - JDTJavaSourceAnalysisEngine engine = PlugInUtil.createEngine(javaProject); - CallGraph cg = engine.buildDefaultCallGraph(); + System.err.println(""+javaProject.getElementName()); + assert javaProject != null : "Project >>"+testProject+"<< not found."; + + JDTJavaSourceAnalysisEngine engine = PlugInUtil.createEngine(javaProject); + CallGraph cg = engine.buildDefaultCallGraph(); - AnalysisCache ac = new AnalysisCache(); - superGraph = ICFGSupergraph.make(cg, ac); - } catch (IllegalArgumentException e) { - e.printStackTrace(); - } catch (IOException e) { - e.printStackTrace(); - } catch (CoreException e) { - e.printStackTrace(); - } catch (CancelException e) { - e.printStackTrace(); - } - } + AnalysisCache ac = new AnalysisCache(); + superGraph = ICFGSupergraph.make(cg, ac); + } } diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test01.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test01.java index f82d773..cc10df0 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test01.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test01.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test01 { @@ -21,7 +26,7 @@ public class Test01 { String entryClass = "Test01"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test01 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); @@ -37,7 +42,7 @@ public class Test01 { } @Test - public void testGood02() { + public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test02.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test02.java index 7dcd7b3..d7f2f6c 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test02.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test02.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test02 { @@ -21,7 +26,7 @@ public class Test02 { String entryClass = "Test02"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test02 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); @@ -37,7 +42,7 @@ public class Test02 { } @Test - public void testGood02() { + public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test03.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test03.java index 6f2977c..4e112e4 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test03.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test03.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test03 { @@ -21,7 +26,7 @@ public class Test03 { String entryClass = "Test03"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test03 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test04.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test04.java index 4cc7484..49b92f0 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test04.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test04.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test04 { @@ -21,7 +26,7 @@ public class Test04 { String entryClass = "Test04"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test04 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test05.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test05.java index fea7453..4089083 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test05.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test05.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test05 { @@ -21,7 +26,7 @@ public class Test05 { String entryClass = "Test05"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test05 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test07.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test07.java index 5298386..7dc9d50 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test07.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test07.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test07 { @@ -21,7 +26,7 @@ public class Test07 { String entryClass = "Test07"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test07 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test08.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test08.java index 150033b..2bd2ef0 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test08.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test08.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test08 { @@ -21,7 +26,7 @@ public class Test08 { String entryClass = "Test08"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test08 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); @@ -37,7 +42,7 @@ public class Test08 { } @Test - public void testGood02() { + public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02"); assertEquals(0, result); @@ -45,7 +50,7 @@ public class Test08 { } @Test - public void testGood03() { + public void testGood03() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good03"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test09.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test09.java index cc0391e..05fd38e 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test09.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test09.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test09 { @@ -21,7 +26,7 @@ public class Test09 { String entryClass = "Test09"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test09 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); @@ -37,7 +42,7 @@ public class Test09 { } @Test - public void testGood02() { + public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02"); assertEquals(0, result); @@ -45,7 +50,7 @@ public class Test09 { } @Test - public void testGood03() { + public void testGood03() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good03"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test10.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test10.java index be95c2b..73de0a4 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test10.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test10.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test10 { @@ -21,7 +26,7 @@ public class Test10 { String entryClass = "Test10"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test10 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); @@ -37,7 +42,7 @@ public class Test10 { } @Test - public void testGood02() { + public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02"); assertEquals(0, result); @@ -45,7 +50,7 @@ public class Test10 { } @Test - public void testGood03() { + public void testGood03() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good03"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test11.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test11.java index 0166c81..0a51ace 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test11.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test11.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test11 { @@ -21,7 +26,7 @@ public class Test11 { String entryClass = "Test11"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test11 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); @@ -37,7 +42,7 @@ public class Test11 { } @Test - public void testGood02() { + public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02"); assertEquals(0, result); @@ -45,7 +50,7 @@ public class Test11 { } @Test - public void testGood03() { + public void testGood03() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good03"); assertEquals(0, result); @@ -53,7 +58,7 @@ public class Test11 { } @Test - public void testGood04() { + public void testGood04() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good04"); assertEquals(0, result); @@ -61,7 +66,7 @@ public class Test11 { } @Test - public void testGood05() { + public void testGood05() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good05"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test12.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test12.java index 68976a1..4e25405 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test12.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test12.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test12 { @@ -21,7 +26,7 @@ public class Test12 { String entryClass = "Test12"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test12 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test13.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test13.java index a59fba4..b36f1f0 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test13.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test13.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test13 { @@ -21,7 +26,7 @@ public class Test13 { String entryClass = "Test13"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test13 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); @@ -37,7 +42,7 @@ public class Test13 { } @Test - public void testGood02() { + public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test14.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test14.java index 236730e..84b895e 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test14.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test14.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test14 { @@ -21,7 +26,7 @@ public class Test14 { String entryClass = "Test14"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test14 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); @@ -37,7 +42,7 @@ public class Test14 { } @Test - public void testGood02() { + public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test15.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test15.java index 2fdc4cd..8c5b451 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test15.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test15.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test15 { @@ -21,7 +26,7 @@ public class Test15 { String entryClass = "Test15"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); @@ -29,7 +34,7 @@ public class Test15 { } @Test - public void testGood01() { + public void testGood01() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good01"); assertEquals(0, result); @@ -37,7 +42,7 @@ public class Test15 { } @Test - public void testGood02() { + public void testGood02() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good02"); assertEquals(0, result); @@ -45,7 +50,7 @@ public class Test15 { } @Test - public void testGood03() { + public void testGood03() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "good03"); assertEquals(0, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test16.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test16.java index 51d6c83..3cfcd1e 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test16.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test16.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test16 { @@ -21,7 +26,7 @@ public class Test16 { String entryClass = "Test16"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test17.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test17.java index 66454fb..9efc0a3 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test17.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test17.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test17 { @@ -21,7 +26,7 @@ public class Test17 { String entryClass = "Test17"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(2, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test18.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test18.java index e8c7792..da6cfb3 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test18.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test18.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test18 { @@ -21,7 +26,7 @@ public class Test18 { String entryClass = "Test18"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(1, result); diff --git a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test19.java b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test19.java index 3a99d01..9a2d3be 100644 --- a/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test19.java +++ b/src/eu.aniketos.dasca.dataflow/src/main/java/eu/aniketos/dasca/dataflow/test/Test19.java @@ -12,8 +12,13 @@ package eu.aniketos.dasca.dataflow.test; import static org.junit.Assert.assertEquals; +import java.io.IOException; + +import org.eclipse.core.runtime.CoreException; import org.junit.Test; +import com.ibm.wala.util.CancelException; + import eu.aniketos.dasca.dataflow.util.SuperGraphUtil; public class Test19 { @@ -21,7 +26,7 @@ public class Test19 { String entryClass = "Test19"; @Test - public void testBad() { + public void testBad() throws IllegalArgumentException, CancelException, IOException, CoreException { AllTests.init(); int result = SuperGraphUtil.analyzeAndSaveSuperGraph(AllTests.superGraph, entryClass, "bad"); assertEquals(2, result);