codeql/java/ql/lib/ext/generated/java.nio.file.model.yml

# 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", "AccessDeniedException", True, "AccessDeniedException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "AccessDeniedException", True, "AccessDeniedException", "(String,String,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "AccessDeniedException", True, "AccessDeniedException", "(String,String,String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "AccessDeniedException", True, "AccessDeniedException", "(String,String,String)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "AtomicMoveNotSupportedException", True, "AtomicMoveNotSupportedException", "(String,String,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "AtomicMoveNotSupportedException", True, "AtomicMoveNotSupportedException", "(String,String,String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "AtomicMoveNotSupportedException", True, "AtomicMoveNotSupportedException", "(String,String,String)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "DirectoryIteratorException", False, "DirectoryIteratorException", "(IOException)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "DirectoryNotEmptyException", True, "DirectoryNotEmptyException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "FileAlreadyExistsException", True, "FileAlreadyExistsException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "FileAlreadyExistsException", True, "FileAlreadyExistsException", "(String,String,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "FileAlreadyExistsException", True, "FileAlreadyExistsException", "(String,String,String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "FileAlreadyExistsException", True, "FileAlreadyExistsException", "(String,String,String)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "FileStore", True, "name", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileStore", True, "type", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystem", True, "getFileStores", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystem", True, "newWatchService", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystem", True, "provider", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystem", True, "supportedFileAttributeViews", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystemAlreadyExistsException", True, "FileSystemAlreadyExistsException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "FileSystemException", True, "FileSystemException", "(String)", "", "Argument[0]", "Argument[this].SyntheticField[java.nio.file.FileSystemException.file]", "value", "dfc-generated"]
      - ["java.nio.file", "FileSystemException", True, "FileSystemException", "(String,String,String)", "", "Argument[0]", "Argument[this].SyntheticField[java.nio.file.FileSystemException.file]", "value", "dfc-generated"]
      - ["java.nio.file", "FileSystemException", True, "FileSystemException", "(String,String,String)", "", "Argument[1]", "Argument[this].SyntheticField[java.nio.file.FileSystemException.other]", "value", "dfc-generated"]
      - ["java.nio.file", "FileSystemException", True, "FileSystemException", "(String,String,String)", "", "Argument[2]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "value", "dfc-generated"]
      - ["java.nio.file", "FileSystemException", True, "getFile", "()", "", "Argument[this].SyntheticField[java.nio.file.FileSystemException.file]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.file", "FileSystemException", True, "getOtherFile", "()", "", "Argument[this].SyntheticField[java.nio.file.FileSystemException.other]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.file", "FileSystemException", True, "getReason", "()", "", "Argument[this].SyntheticField[java.lang.Throwable.message]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.file", "FileSystemLoopException", True, "FileSystemLoopException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "FileSystemNotFoundException", True, "FileSystemNotFoundException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(Path)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(Path,ClassLoader)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(Path,ClassLoader)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(Path,Map)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(Path,Map)", "", "Argument[1].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(Path,Map,ClassLoader)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(Path,Map,ClassLoader)", "", "Argument[1].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(Path,Map,ClassLoader)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(URI,Map)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(URI,Map)", "", "Argument[1].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(URI,Map,ClassLoader)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(URI,Map,ClassLoader)", "", "Argument[1].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "FileSystems", False, "newFileSystem", "(URI,Map,ClassLoader)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Files", False, "getAttribute", "(Path,String,LinkOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Files", False, "getAttribute", "(Path,String,LinkOption[])", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Files", False, "getFileAttributeView", "(Path,Class,LinkOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Files", False, "getFileAttributeView", "(Path,Class,LinkOption[])", "", "Argument[2].ArrayElement", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Files", False, "newDirectoryStream", "(Path,String)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Files", False, "readAttributes", "(Path,Class,LinkOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Files", False, "readAttributes", "(Path,String,LinkOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Files", False, "readAttributes", "(Path,String,LinkOption[])", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Files", False, "setAttribute", "(Path,String,Object,LinkOption[])", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.file", "Files", False, "setLastModifiedTime", "(Path,FileTime)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.file", "Files", False, "setOwner", "(Path,UserPrincipal)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.file", "Files", False, "setPosixFilePermissions", "(Path,Set)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.file", "Files", False, "walkFileTree", "(Path,FileVisitor)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.file", "Files", False, "walkFileTree", "(Path,Set,int,FileVisitor)", "", "Argument[0]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.file", "InvalidPathException", True, "InvalidPathException", "(String,String)", "", "Argument[0]", "Argument[this].SyntheticField[java.nio.file.InvalidPathException.input]", "value", "dfc-generated"]
      - ["java.nio.file", "InvalidPathException", True, "InvalidPathException", "(String,String)", "", "Argument[1]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "value", "dfc-generated"]
      - ["java.nio.file", "InvalidPathException", True, "InvalidPathException", "(String,String,int)", "", "Argument[0]", "Argument[this].SyntheticField[java.nio.file.InvalidPathException.input]", "value", "dfc-generated"]
      - ["java.nio.file", "InvalidPathException", True, "InvalidPathException", "(String,String,int)", "", "Argument[1]", "Argument[this].SyntheticField[java.lang.Throwable.message]", "value", "dfc-generated"]
      - ["java.nio.file", "InvalidPathException", True, "getInput", "()", "", "Argument[this].SyntheticField[java.nio.file.InvalidPathException.input]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.file", "InvalidPathException", True, "getReason", "()", "", "Argument[this].SyntheticField[java.lang.Throwable.message]", "ReturnValue", "value", "dfc-generated"]
      - ["java.nio.file", "LinkPermission", False, "LinkPermission", "(String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
      - ["java.nio.file", "LinkPermission", False, "LinkPermission", "(String,String)", "", "Argument[0]", "Argument[this]", "taint", "dfc-generated"]
      - ["java.nio.file", "NoSuchFileException", True, "NoSuchFileException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "NoSuchFileException", True, "NoSuchFileException", "(String,String,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "NoSuchFileException", True, "NoSuchFileException", "(String,String,String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "NoSuchFileException", True, "NoSuchFileException", "(String,String,String)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "NotDirectoryException", True, "NotDirectoryException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "NotLinkException", True, "NotLinkException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "NotLinkException", True, "NotLinkException", "(String,String,String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "NotLinkException", True, "NotLinkException", "(String,String,String)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "NotLinkException", True, "NotLinkException", "(String,String,String)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "Path", True, "getFileSystem", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Path", True, "getName", "(int)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Path", True, "getRoot", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Path", True, "subpath", "(int,int)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "Path", True, "toRealPath", "(LinkOption[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "ProviderMismatchException", True, "ProviderMismatchException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "ProviderNotFoundException", True, "ProviderNotFoundException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
      - ["java.nio.file", "WatchKey", True, "pollEvents", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "WatchKey", True, "watchable", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "WatchService", True, "poll", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "WatchService", True, "poll", "(long,TimeUnit)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
      - ["java.nio.file", "WatchService", True, "take", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
  - addsTo:
      pack: codeql/java-all
      extensible: neutralModel
    data:
      - ["java.nio.file", "FileStore", "getAttribute", "(String)", "summary", "df-generated"]
      - ["java.nio.file", "FileStore", "getBlockSize", "()", "summary", "df-generated"]
      - ["java.nio.file", "FileStore", "getFileStoreAttributeView", "(Class)", "summary", "df-generated"]
      - ["java.nio.file", "FileStore", "getTotalSpace", "()", "summary", "df-generated"]
      - ["java.nio.file", "FileStore", "getUnallocatedSpace", "()", "summary", "df-generated"]
      - ["java.nio.file", "FileStore", "getUsableSpace", "()", "summary", "df-generated"]
      - ["java.nio.file", "FileStore", "isReadOnly", "()", "summary", "df-generated"]
      - ["java.nio.file", "FileStore", "supportsFileAttributeView", "(Class)", "summary", "df-generated"]
      - ["java.nio.file", "FileStore", "supportsFileAttributeView", "(String)", "summary", "df-generated"]
      - ["java.nio.file", "FileSystem", "getSeparator", "()", "summary", "df-generated"]
      - ["java.nio.file", "FileSystem", "getUserPrincipalLookupService", "()", "summary", "df-generated"]
      - ["java.nio.file", "FileSystem", "isOpen", "()", "summary", "df-generated"]
      - ["java.nio.file", "FileSystem", "isReadOnly", "()", "summary", "df-generated"]
      - ["java.nio.file", "FileSystems", "getDefault", "()", "summary", "df-generated"]
      - ["java.nio.file", "Files", "getLastModifiedTime", "(Path,LinkOption[])", "summary", "df-generated"]
      - ["java.nio.file", "Files", "getOwner", "(Path,LinkOption[])", "summary", "df-generated"]
      - ["java.nio.file", "Files", "getPosixFilePermissions", "(Path,LinkOption[])", "summary", "df-generated"]
      - ["java.nio.file", "Files", "isDirectory", "(Path,LinkOption[])", "summary", "df-generated"]
      - ["java.nio.file", "Files", "isExecutable", "(Path)", "summary", "df-generated"]
      - ["java.nio.file", "Files", "isHidden", "(Path)", "summary", "df-generated"]
      - ["java.nio.file", "Files", "isReadable", "(Path)", "summary", "df-generated"]
      - ["java.nio.file", "Files", "isRegularFile", "(Path,LinkOption[])", "summary", "df-generated"]
      - ["java.nio.file", "Files", "isSameFile", "(Path,Path)", "summary", "df-generated"]
      - ["java.nio.file", "Files", "isSymbolicLink", "(Path)", "summary", "df-generated"]
      - ["java.nio.file", "Files", "isWritable", "(Path)", "summary", "df-generated"]
      - ["java.nio.file", "Files", "mismatch", "(Path,Path)", "summary", "df-generated"]
      - ["java.nio.file", "Files", "size", "(Path)", "summary", "df-generated"]
      - ["java.nio.file", "Files", "walk", "(Path,int,FileVisitOption[])", "summary", "df-generated"]
      - ["java.nio.file", "InvalidPathException", "getIndex", "()", "summary", "df-generated"]
      - ["java.nio.file", "Path", "endsWith", "(String)", "summary", "df-generated"]
      - ["java.nio.file", "Path", "register", "(WatchService,WatchEvent$Kind[])", "summary", "df-generated"]
      - ["java.nio.file", "Path", "startsWith", "(String)", "summary", "df-generated"]
      - ["java.nio.file", "SimpleFileVisitor", "postVisitDirectory", "(Object,IOException)", "summary", "df-generated"]
      - ["java.nio.file", "SimpleFileVisitor", "preVisitDirectory", "(Object,BasicFileAttributes)", "summary", "df-generated"]
      - ["java.nio.file", "SimpleFileVisitor", "visitFile", "(Object,BasicFileAttributes)", "summary", "df-generated"]
      - ["java.nio.file", "SimpleFileVisitor", "visitFileFailed", "(Object,IOException)", "summary", "df-generated"]