Narrowed structural differences between Versions of Architecture tests

ls1intum · Nov 26, 2024 · 79c9c17 · 79c9c17
1 parent 6cb9ec1
commit 79c9c17
Showing 1 changed file with 27 additions and 18 deletions.
diff --git a/src/main/java/de/tum/cit/ase/ares/api/architecture/java/wala/JavaWalaSecurityTestCase.java b/src/main/java/de/tum/cit/ase/ares/api/architecture/java/wala/JavaWalaSecurityTestCase.java
@@ -73,24 +73,33 @@ public String writeArchitectureTestCase() {
     public void executeArchitectureTestCase(CallGraph callGraph, JavaClasses javaClasses) {
         try {
             switch (this.javaArchitectureTestCaseSupported) {
-                case FILESYSTEM_INTERACTION -> JavaWalaSecurityTestCaseCollection
-                        .noFileSystemAccess(callGraph);
-                case NETWORK_CONNECTION -> JavaWalaSecurityTestCaseCollection
-                        .noNetworkAccess(callGraph);
-                case THREAD_CREATION -> JavaWalaSecurityTestCaseCollection
-                        .noThreadManipulation(callGraph);
-                case COMMAND_EXECUTION -> JavaWalaSecurityTestCaseCollection
-                        .noCommandExecution(callGraph);
-                case PACKAGE_IMPORT -> JavaWalaSecurityTestCaseCollection
-                        .restrictPackageImport(javaClasses, allowedPackages);
-                case REFLECTION -> JavaWalaSecurityTestCaseCollection
-                        .noReflection(callGraph);
-                case TERMINATE_JVM -> JavaWalaSecurityTestCaseCollection
-                        .noJVMTermination(callGraph);
-                case SERIALIZATION -> JavaWalaSecurityTestCaseCollection
-                        .noSerialization(callGraph);
-                case CLASS_LOADING -> JavaWalaSecurityTestCaseCollection
-                        .noClassLoading(callGraph);
+                case FILESYSTEM_INTERACTION ->
+                        JavaWalaSecurityTestCaseCollection
+                            .noFileSystemAccess(callGraph);
+                case NETWORK_CONNECTION ->
+                        JavaWalaSecurityTestCaseCollection
+                            .noNetworkAccess(callGraph);
+                case THREAD_CREATION ->
+                        JavaWalaSecurityTestCaseCollection
+                            .noThreadManipulation(callGraph);
+                case COMMAND_EXECUTION ->
+                        JavaWalaSecurityTestCaseCollection
+                            .noCommandExecution(callGraph);
+                case PACKAGE_IMPORT ->
+                        JavaWalaSecurityTestCaseCollection
+                            .restrictPackageImport(javaClasses, allowedPackages);
+                case REFLECTION ->
+                        JavaWalaSecurityTestCaseCollection
+                            .noReflection(callGraph);
+                case TERMINATE_JVM ->
+                        JavaWalaSecurityTestCaseCollection
+                            .noJVMTermination(callGraph);
+                case SERIALIZATION ->
+                        JavaWalaSecurityTestCaseCollection
+                            .noSerialization(callGraph);
+                case CLASS_LOADING ->
+                        JavaWalaSecurityTestCaseCollection
+                            .noClassLoading(callGraph);
                 default -> throw new SecurityException(localized("security.common.unsupported.operation", this.javaArchitectureTestCaseSupported));
             }
         } catch (AssertionError e) {