Add workflow to build package and run tests

.github/workflows/maven.yml

@@ -0,0 +1,34 @@
+# This workflow will build a Java project with Maven, and cache/restore any dependencies to improve the workflow execution time
+# For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-java-with-maven
+
+name: Java CI with Maven
+
+on:
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "main" ]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - name: Checkout Repository
+      uses: actions/checkout@v2
+
+    - name: Set up JDK 21
+      uses: actions/setup-java@v3
+      with:
+        java-version: '21'
+        distribution: 'adopt'
+
+    - name: Install Maven
+      run: |
+        sudo rm -rf /usr/bin/mvn
+        sudo wget -q -O - "https://apache.osuosl.org/maven/maven-3/3.9.8/binaries/apache-maven-3.9.8-bin.tar.gz" | sudo tar xzf - -C /usr/share
+        sudo ln -s /usr/share/apache-maven-3.9.8/bin/mvn /usr/bin/mvn
+
+    - name: Build with Maven
+      run: mvn -B package --file pom.xml

src/main/java/de/tum/cit/ase/ares/api/ast/model/RecursionCheck.java

@@ -108,7 +108,7 @@ public static String formatVertexInfoWithinCycle(String vertexName, MethodCallGr
         }
 
         return localized("ast.method.get_formatted_file_string_prefix", pathOfSourceRoot.toString()
-                + "/" + Objects.requireNonNull(extractClassName(vertexName)))
+                + File.separator + Objects.requireNonNull(extractClassName(vertexName)))
                 + System.lineSeparator()
                 + localized("ast.method.get_formatted_unwanted_node_string_prefix",
                 "Unwanted Recursion")

src/test/java/de/tum/cit/ase/ares/integration/AstAssertionTest.java

@@ -690,8 +690,7 @@ void test_testExcludesPassedMethods_Success() {
 		void test_testExcludesPassedMethod_Fail() {
 			String testExcludesPassedMethod_Fail = "testExcludesPassedMethod_Fail";
 			tests.assertThatEvents().haveExactly(1, testFailedWith(testExcludesPassedMethod_Fail, AssertionError.class, "Unwanted statement found:" + System.lineSeparator() + " - In "
-					+ Path.of("src", "test", "java", "de", "tum", "cit", "ase", "ares", "integration", "testuser", "subject", "structural", "astTestFiles", "recursions" , "excludeMethods",
-					"ClassWithNoExcludeMethods.java")
+					+ Path.of("src", "test", "java", "de", "tum", "cit", "ase", "ares", "integration", "testuser", "subject", "structural", "astTestFiles", "recursions" , "excludeMethods", "ClassWithNoExcludeMethods.java")
 					+ ":" + System.lineSeparator() + "  - Unwanted Recursion was found:"
 					+ System.lineSeparator() + "   - Between line 5 (column 5) and line 7 (column 5) in Method de.tum.cit.ase.ares.integration.testuser.subject.structural.astTestFiles.recursions.excludeMethods.ClassWithNoExcludeMethods.something(de.tum.cit.ase.ares.integration.testuser.subject.structural.astTestFiles.recursions.excludeMethods.RandomParameterThatShouldBeResolved)" + System.lineSeparator()));
 		}

src/test/java/de/tum/cit/ase/ares/integration/testuser/PathAccessUser.java

@@ -102,7 +102,6 @@ void accessPathTest() throws IOException {
 	}
 
 	@PublicTest
-	@Policy(value = "src/test/resources/de/tum/cit/ase/ares/integration/testuser/securitypolicies/NoAllowedPathPolicy.yaml", withinPath = "test-classes/de/tum/cit/ase/ares/integration/testuser/subject/pathaccess")
 	void weAccessPath() throws IOException {
 		Files.readString(Path.of("pom.xml"));
 	}