Fixed FileChannel.open

ls1intum · Dec 6, 2024 · 0698d5e · 0698d5e
1 parent b90bc0d
commit 0698d5e
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/...se/ares/api/aop/java/instrumentation/pointcut/JavaInstrumentationPointcutDefinitions.java b/...se/ares/api/aop/java/instrumentation/pointcut/JavaInstrumentationPointcutDefinitions.java
@@ -142,7 +142,9 @@ static ElementMatcher<MethodDescription> getMethodsMatcher(
             "java.io.BufferedReader",
             List.of("lines"),
             "java.nio.channels.FileChannel",
-            List.of("open")
+            List.of("open"),
+            "java.nio.file.spi.FileSystemProvider",
+            List.of("newFileChannel")
     );
     //</editor-fold>
 
@@ -167,9 +169,7 @@ static ElementMatcher<MethodDescription> getMethodsMatcher(
             "java.nio.file.Files",
             List.of("write", "writeString", "newOutputStream", "writeBytes", "writeAllBytes", "writeLines"),
             "java.io.File",
-            List.of("setWritable"),
-            "java.nio.channels.FileChannel",
-            List.of("open")
+            List.of("setWritable")
 
     );
     //</editor-fold>

diff --git a/...es/integration/testuser/subject/architectureTests/fileSystem/FileSystemAccessPenguin.java b/...es/integration/testuser/subject/architectureTests/fileSystem/FileSystemAccessPenguin.java
@@ -228,7 +228,7 @@ public static void accessFileSystemViaPrintStream() throws FileNotFoundException
      * Access the file system using the {@link FileChannel} class for writing.
      */
     public static void accessFileSystemViaFileChannelWrite() throws IOException {
-        FileChannel fileChannel = FileChannel.open(Path.of("pom123.xml"));
+        FileChannel fileChannel = FileChannel.open(Path.of("pom123.xml"), StandardOpenOption.WRITE);
         fileChannel.write(ByteBuffer.allocate(10));
     }