Skip to content

Commit

Permalink
apply coveo
Browse files Browse the repository at this point in the history
  • Loading branch information
A1K28 authored and swissiety committed Feb 6, 2025
1 parent 77e3f3a commit 2ca7164
Showing 1 changed file with 92 additions and 51 deletions.
143 changes: 92 additions & 51 deletions sootup.tests/src/test/java/sootup/tests/NestedTryCatchFlowTest.java
Original file line number Diff line number Diff line change
@@ -1,5 +1,11 @@
package sootup.tests;

import java.io.File;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.Collections;
import java.util.HashMap;
import java.util.Map;
import org.junit.jupiter.api.Assertions;
import org.junit.jupiter.api.Tag;
import org.junit.jupiter.api.Test;
Expand All @@ -20,13 +26,6 @@
import sootup.java.core.JavaIdentifierFactory;
import sootup.java.core.views.JavaView;

import java.io.File;
import java.nio.file.Path;
import java.nio.file.Paths;
import java.util.Collections;
import java.util.HashMap;
import java.util.Map;

@Tag("Java8")
public class NestedTryCatchFlowTest {

Expand All @@ -37,7 +36,8 @@ public class NestedTryCatchFlowTest {
+ File.separator
+ "shared-test-resources/bugfixes/";
MethodSignature methodSignature =
factory.getMethodSignature(clazzType, "test_nested_try_catch_2", "int", Collections.singletonList("int"));
factory.getMethodSignature(
clazzType, "test_nested_try_catch_2", "int", Collections.singletonList("int"));
final Path path = Paths.get(location + "NestedTryCatchFlow.class");
PathBasedAnalysisInputLocation inputLocation =
new ClassFileBasedAnalysisInputLocation(
Expand All @@ -49,7 +49,6 @@ public class NestedTryCatchFlowTest {
public void testNestedTryCatchFlow1() {
MutableBlockStmtGraph graph = new MutableBlockStmtGraph(body.getStmtGraph());
Map<Integer, BasicBlock<?>> returnValToBlockMap = new HashMap<>();

for (BasicBlock<?> block : graph.getBlocks()) {
for (Stmt stmt : block.getStmts()) {
if (!(stmt instanceof JReturnStmt)) continue;
Expand All @@ -59,90 +58,132 @@ public void testNestedTryCatchFlow1() {
}
}

boolean anyMatch0_1 = containsExceptionalBlock(returnValToBlockMap.get(0), returnValToBlockMap.get(1));
boolean anyMatch0_2 = containsExceptionalBlock(returnValToBlockMap.get(0), returnValToBlockMap.get(2));
boolean anyMatch0_3 = containsExceptionalBlock(returnValToBlockMap.get(0), returnValToBlockMap.get(3));
boolean anyMatch0_4 = containsExceptionalBlock(returnValToBlockMap.get(0), returnValToBlockMap.get(4));
boolean anyMatch0_5 = containsExceptionalBlock(returnValToBlockMap.get(0), returnValToBlockMap.get(5));
boolean anyMatch0_6 = containsExceptionalBlock(returnValToBlockMap.get(0), returnValToBlockMap.get(6));
boolean anyMatch0_1 =
containsExceptionalBlock(returnValToBlockMap.get(0), returnValToBlockMap.get(1));
boolean anyMatch0_2 =
containsExceptionalBlock(returnValToBlockMap.get(0), returnValToBlockMap.get(2));
boolean anyMatch0_3 =
containsExceptionalBlock(returnValToBlockMap.get(0), returnValToBlockMap.get(3));
boolean anyMatch0_4 =
containsExceptionalBlock(returnValToBlockMap.get(0), returnValToBlockMap.get(4));
boolean anyMatch0_5 =
containsExceptionalBlock(returnValToBlockMap.get(0), returnValToBlockMap.get(5));
boolean anyMatch0_6 =
containsExceptionalBlock(returnValToBlockMap.get(0), returnValToBlockMap.get(6));
Assertions.assertFalse(anyMatch0_1);
Assertions.assertTrue(anyMatch0_2);
Assertions.assertTrue(anyMatch0_3);
Assertions.assertFalse(anyMatch0_4);
Assertions.assertTrue(anyMatch0_5);
Assertions.assertTrue(anyMatch0_6);

boolean anyMatch1_0 = containsExceptionalBlock(returnValToBlockMap.get(1), returnValToBlockMap.get(0));
boolean anyMatch1_2 = containsExceptionalBlock(returnValToBlockMap.get(1), returnValToBlockMap.get(2));
boolean anyMatch1_3 = containsExceptionalBlock(returnValToBlockMap.get(1), returnValToBlockMap.get(3));
boolean anyMatch1_4 = containsExceptionalBlock(returnValToBlockMap.get(1), returnValToBlockMap.get(4));
boolean anyMatch1_5 = containsExceptionalBlock(returnValToBlockMap.get(1), returnValToBlockMap.get(5));
boolean anyMatch1_6 = containsExceptionalBlock(returnValToBlockMap.get(1), returnValToBlockMap.get(6));
boolean anyMatch1_0 =
containsExceptionalBlock(returnValToBlockMap.get(1), returnValToBlockMap.get(0));
boolean anyMatch1_2 =
containsExceptionalBlock(returnValToBlockMap.get(1), returnValToBlockMap.get(2));
boolean anyMatch1_3 =
containsExceptionalBlock(returnValToBlockMap.get(1), returnValToBlockMap.get(3));
boolean anyMatch1_4 =
containsExceptionalBlock(returnValToBlockMap.get(1), returnValToBlockMap.get(4));
boolean anyMatch1_5 =
containsExceptionalBlock(returnValToBlockMap.get(1), returnValToBlockMap.get(5));
boolean anyMatch1_6 =
containsExceptionalBlock(returnValToBlockMap.get(1), returnValToBlockMap.get(6));
Assertions.assertFalse(anyMatch1_0);
Assertions.assertTrue(anyMatch1_2);
Assertions.assertTrue(anyMatch1_3);
Assertions.assertFalse(anyMatch1_4);
Assertions.assertTrue(anyMatch1_5);
Assertions.assertTrue(anyMatch1_6);

boolean anyMatch2_0 = containsExceptionalBlock(returnValToBlockMap.get(2), returnValToBlockMap.get(0));
boolean anyMatch2_1 = containsExceptionalBlock(returnValToBlockMap.get(2), returnValToBlockMap.get(1));
boolean anyMatch2_3 = containsExceptionalBlock(returnValToBlockMap.get(2), returnValToBlockMap.get(3));
boolean anyMatch2_4 = containsExceptionalBlock(returnValToBlockMap.get(2), returnValToBlockMap.get(4));
boolean anyMatch2_5 = containsExceptionalBlock(returnValToBlockMap.get(2), returnValToBlockMap.get(5));
boolean anyMatch2_6 = containsExceptionalBlock(returnValToBlockMap.get(2), returnValToBlockMap.get(6));
boolean anyMatch2_0 =
containsExceptionalBlock(returnValToBlockMap.get(2), returnValToBlockMap.get(0));
boolean anyMatch2_1 =
containsExceptionalBlock(returnValToBlockMap.get(2), returnValToBlockMap.get(1));
boolean anyMatch2_3 =
containsExceptionalBlock(returnValToBlockMap.get(2), returnValToBlockMap.get(3));
boolean anyMatch2_4 =
containsExceptionalBlock(returnValToBlockMap.get(2), returnValToBlockMap.get(4));
boolean anyMatch2_5 =
containsExceptionalBlock(returnValToBlockMap.get(2), returnValToBlockMap.get(5));
boolean anyMatch2_6 =
containsExceptionalBlock(returnValToBlockMap.get(2), returnValToBlockMap.get(6));
Assertions.assertFalse(anyMatch2_0);
Assertions.assertFalse(anyMatch2_1);
Assertions.assertFalse(anyMatch2_3);
Assertions.assertTrue(anyMatch2_4);
Assertions.assertTrue(anyMatch2_5);
Assertions.assertTrue(anyMatch2_6);

boolean anyMatch3_0 = containsExceptionalBlock(returnValToBlockMap.get(3), returnValToBlockMap.get(0));
boolean anyMatch3_1 = containsExceptionalBlock(returnValToBlockMap.get(3), returnValToBlockMap.get(1));
boolean anyMatch3_2 = containsExceptionalBlock(returnValToBlockMap.get(3), returnValToBlockMap.get(2));
boolean anyMatch3_4 = containsExceptionalBlock(returnValToBlockMap.get(3), returnValToBlockMap.get(4));
boolean anyMatch3_5 = containsExceptionalBlock(returnValToBlockMap.get(3), returnValToBlockMap.get(5));
boolean anyMatch3_6 = containsExceptionalBlock(returnValToBlockMap.get(3), returnValToBlockMap.get(6));
boolean anyMatch3_0 =
containsExceptionalBlock(returnValToBlockMap.get(3), returnValToBlockMap.get(0));
boolean anyMatch3_1 =
containsExceptionalBlock(returnValToBlockMap.get(3), returnValToBlockMap.get(1));
boolean anyMatch3_2 =
containsExceptionalBlock(returnValToBlockMap.get(3), returnValToBlockMap.get(2));
boolean anyMatch3_4 =
containsExceptionalBlock(returnValToBlockMap.get(3), returnValToBlockMap.get(4));
boolean anyMatch3_5 =
containsExceptionalBlock(returnValToBlockMap.get(3), returnValToBlockMap.get(5));
boolean anyMatch3_6 =
containsExceptionalBlock(returnValToBlockMap.get(3), returnValToBlockMap.get(6));
Assertions.assertFalse(anyMatch3_0);
Assertions.assertFalse(anyMatch3_1);
Assertions.assertFalse(anyMatch3_2);
Assertions.assertTrue(anyMatch3_4);
Assertions.assertTrue(anyMatch3_5);
Assertions.assertTrue(anyMatch3_6);

boolean anyMatch4_0 = containsExceptionalBlock(returnValToBlockMap.get(4), returnValToBlockMap.get(0));
boolean anyMatch4_1 = containsExceptionalBlock(returnValToBlockMap.get(4), returnValToBlockMap.get(1));
boolean anyMatch4_2 = containsExceptionalBlock(returnValToBlockMap.get(4), returnValToBlockMap.get(2));
boolean anyMatch4_3 = containsExceptionalBlock(returnValToBlockMap.get(4), returnValToBlockMap.get(3));
boolean anyMatch4_5 = containsExceptionalBlock(returnValToBlockMap.get(4), returnValToBlockMap.get(5));
boolean anyMatch4_6 = containsExceptionalBlock(returnValToBlockMap.get(4), returnValToBlockMap.get(6));
boolean anyMatch4_0 =
containsExceptionalBlock(returnValToBlockMap.get(4), returnValToBlockMap.get(0));
boolean anyMatch4_1 =
containsExceptionalBlock(returnValToBlockMap.get(4), returnValToBlockMap.get(1));
boolean anyMatch4_2 =
containsExceptionalBlock(returnValToBlockMap.get(4), returnValToBlockMap.get(2));
boolean anyMatch4_3 =
containsExceptionalBlock(returnValToBlockMap.get(4), returnValToBlockMap.get(3));
boolean anyMatch4_5 =
containsExceptionalBlock(returnValToBlockMap.get(4), returnValToBlockMap.get(5));
boolean anyMatch4_6 =
containsExceptionalBlock(returnValToBlockMap.get(4), returnValToBlockMap.get(6));
Assertions.assertFalse(anyMatch4_0);
Assertions.assertFalse(anyMatch4_1);
Assertions.assertFalse(anyMatch4_2);
Assertions.assertFalse(anyMatch4_3);
Assertions.assertTrue(anyMatch4_5);
Assertions.assertTrue(anyMatch4_6);

boolean anyMatch5_0 = containsExceptionalBlock(returnValToBlockMap.get(5), returnValToBlockMap.get(0));
boolean anyMatch5_1 = containsExceptionalBlock(returnValToBlockMap.get(5), returnValToBlockMap.get(1));
boolean anyMatch5_2 = containsExceptionalBlock(returnValToBlockMap.get(5), returnValToBlockMap.get(2));
boolean anyMatch5_3 = containsExceptionalBlock(returnValToBlockMap.get(5), returnValToBlockMap.get(3));
boolean anyMatch5_4 = containsExceptionalBlock(returnValToBlockMap.get(5), returnValToBlockMap.get(4));
boolean anyMatch5_6 = containsExceptionalBlock(returnValToBlockMap.get(5), returnValToBlockMap.get(6));
boolean anyMatch5_0 =
containsExceptionalBlock(returnValToBlockMap.get(5), returnValToBlockMap.get(0));
boolean anyMatch5_1 =
containsExceptionalBlock(returnValToBlockMap.get(5), returnValToBlockMap.get(1));
boolean anyMatch5_2 =
containsExceptionalBlock(returnValToBlockMap.get(5), returnValToBlockMap.get(2));
boolean anyMatch5_3 =
containsExceptionalBlock(returnValToBlockMap.get(5), returnValToBlockMap.get(3));
boolean anyMatch5_4 =
containsExceptionalBlock(returnValToBlockMap.get(5), returnValToBlockMap.get(4));
boolean anyMatch5_6 =
containsExceptionalBlock(returnValToBlockMap.get(5), returnValToBlockMap.get(6));
Assertions.assertFalse(anyMatch5_0);
Assertions.assertFalse(anyMatch5_1);
Assertions.assertFalse(anyMatch5_2);
Assertions.assertFalse(anyMatch5_3);
Assertions.assertFalse(anyMatch5_4);
Assertions.assertFalse(anyMatch5_6);

boolean anyMatch6_0 = containsExceptionalBlock(returnValToBlockMap.get(6), returnValToBlockMap.get(0));
boolean anyMatch6_1 = containsExceptionalBlock(returnValToBlockMap.get(6), returnValToBlockMap.get(1));
boolean anyMatch6_2 = containsExceptionalBlock(returnValToBlockMap.get(6), returnValToBlockMap.get(2));
boolean anyMatch6_3 = containsExceptionalBlock(returnValToBlockMap.get(6), returnValToBlockMap.get(3));
boolean anyMatch6_4 = containsExceptionalBlock(returnValToBlockMap.get(6), returnValToBlockMap.get(4));
boolean anyMatch6_5 = containsExceptionalBlock(returnValToBlockMap.get(6), returnValToBlockMap.get(5));
boolean anyMatch6_0 =
containsExceptionalBlock(returnValToBlockMap.get(6), returnValToBlockMap.get(0));
boolean anyMatch6_1 =
containsExceptionalBlock(returnValToBlockMap.get(6), returnValToBlockMap.get(1));
boolean anyMatch6_2 =
containsExceptionalBlock(returnValToBlockMap.get(6), returnValToBlockMap.get(2));
boolean anyMatch6_3 =
containsExceptionalBlock(returnValToBlockMap.get(6), returnValToBlockMap.get(3));
boolean anyMatch6_4 =
containsExceptionalBlock(returnValToBlockMap.get(6), returnValToBlockMap.get(4));
boolean anyMatch6_5 =
containsExceptionalBlock(returnValToBlockMap.get(6), returnValToBlockMap.get(5));
Assertions.assertFalse(anyMatch6_0);
Assertions.assertFalse(anyMatch6_1);
Assertions.assertFalse(anyMatch6_2);
Expand Down

0 comments on commit 2ca7164

Please sign in to comment.