-
Notifications
You must be signed in to change notification settings - Fork 2k
Expand file tree
/
Copy pathjava.nio.file.spi.model.yml
More file actions
47 lines (47 loc) · 5.42 KB
/
java.nio.file.spi.model.yml
File metadata and controls
47 lines (47 loc) · 5.42 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["java.nio.file.spi", "FileSystemProvider", True, "getFileAttributeView", "(Path,Class,LinkOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "getFileAttributeView", "(Path,Class,LinkOption[])", "", "Argument[2].ArrayElement", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "getFileStore", "(Path)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "getFileSystem", "(URI)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "getPath", "(URI)", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newAsynchronousFileChannel", "(Path,Set,ExecutorService,FileAttribute[])", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newByteChannel", "(Path,Set,FileAttribute[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newDirectoryStream", "(Path,DirectoryStream$Filter)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newDirectoryStream", "(Path,DirectoryStream$Filter)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newFileChannel", "(Path,Set,FileAttribute[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newFileSystem", "(Path,Map)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newFileSystem", "(Path,Map)", "", "Argument[1].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newFileSystem", "(Path,Map)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newFileSystem", "(URI,Map)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newFileSystem", "(URI,Map)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newFileSystem", "(URI,Map)", "", "Argument[1].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newFileSystem", "(URI,Map)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newInputStream", "(Path,OpenOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "newOutputStream", "(Path,OpenOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "readAttributes", "(Path,Class,LinkOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "readAttributes", "(Path,String,LinkOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "readAttributes", "(Path,String,LinkOption[])", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", True, "readSymbolicLink", "(Path)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
- addsTo:
pack: codeql/java-all
extensible: neutralModel
data:
- ["java.nio.file.spi", "FileSystemProvider", "checkAccess", "(Path,AccessMode[])", "summary", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", "copy", "(Path,Path,CopyOption[])", "summary", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", "createDirectory", "(Path,FileAttribute[])", "summary", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", "createLink", "(Path,Path)", "summary", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", "createSymbolicLink", "(Path,Path,FileAttribute[])", "summary", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", "delete", "(Path)", "summary", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", "deleteIfExists", "(Path)", "summary", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", "getScheme", "()", "summary", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", "installedProviders", "()", "summary", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", "isHidden", "(Path)", "summary", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", "isSameFile", "(Path,Path)", "summary", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", "move", "(Path,Path,CopyOption[])", "summary", "df-generated"]
- ["java.nio.file.spi", "FileSystemProvider", "setAttribute", "(Path,String,Object,LinkOption[])", "summary", "df-generated"]
- ["java.nio.file.spi", "FileTypeDetector", "probeContentType", "(Path)", "summary", "df-generated"]