Merge pull request #12806 from GeekMasher/main

Java: Add missing write-file models for Java IO / NIO
This commit is contained in:
Tony Torralba
2023-04-18 11:15:53 +02:00
committed by GitHub
2 changed files with 6 additions and 0 deletions

View File

@@ -0,0 +1,5 @@
---
category: minorAnalysis
---
* Added models for the following packages:
* java.nio.file

View File

@@ -4,6 +4,7 @@ extensions:
extensible: sinkModel
data:
- ["java.nio.file", "Files", False, "copy", "", "", "Argument[0]", "read-file", "manual"]
- ["java.nio.file", "Files", False, "copy", "(InputStream,Path,CopyOption[])", "", "Argument[0]", "write-file", "manual"]
- ["java.nio.file", "Files", False, "copy", "", "", "Argument[1]", "create-file", "manual"]
- ["java.nio.file", "Files", False, "createDirectories", "", "", "Argument[0]", "create-file", "manual"]
- ["java.nio.file", "Files", False, "createDirectory", "", "", "Argument[0]", "create-file", "manual"]