hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 09:13:20 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
ginsbach/NewOverlayLocalJavaRebase
codeql/java/ql/lib/ext/generated/javax.tools.model.yml

113 lines
15 KiB
YAML
Raw Permalink Blame History

# THIS FILE IS AN AUTO-GENERATED MODELS AS DATA FILE. DO NOT EDIT.
extensions:
- addsTo:
pack: codeql/java-all
extensible: summaryModel
data:
- ["javax.tools", "DiagnosticCollector", False, "getDiagnostics", "()", "", "Argument[this].SyntheticField[javax.tools.DiagnosticCollector.diagnostics].Element", "ReturnValue.Element", "value", "dfc-generated"]
- ["javax.tools", "DiagnosticCollector", False, "report", "(Diagnostic)", "", "Argument[0]", "Argument[this].SyntheticField[javax.tools.DiagnosticCollector.diagnostics].Element", "value", "dfc-generated"]
- ["javax.tools", "DocumentationTool$DocumentationTask", True, "addModules", "(Iterable)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
- ["javax.tools", "DocumentationTool$DocumentationTask", True, "setLocale", "(Locale)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["javax.tools", "DocumentationTool", True, "getStandardFileManager", "(DiagnosticListener,Locale,Charset)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "DocumentationTool", True, "getStandardFileManager", "(DiagnosticListener,Locale,Charset)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "DocumentationTool", True, "getTask", "(Writer,JavaFileManager,DiagnosticListener,Class,Iterable,Iterable)", "", "Argument[4].Element", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "DocumentationTool", True, "getTask", "(Writer,JavaFileManager,DiagnosticListener,Class,Iterable,Iterable)", "", "Argument[5].Element", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "FileObject", True, "getCharContent", "(boolean)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "FileObject", True, "getName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "FileObject", True, "openInputStream", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "FileObject", True, "openOutputStream", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "FileObject", True, "openReader", "(boolean)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "FileObject", True, "openWriter", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "FileObject", True, "toUri", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "ForwardingJavaFileManager", True, "getLocationForModule", "(JavaFileManager$Location,String)", "", "Argument[1]", "ReturnValue.SyntheticField[com.sun.tools.javac.file.Locations$ModuleLocationHandler.moduleName]", "value", "dfc-generated"]
- ["javax.tools", "ForwardingJavaFileManager", True, "getLocationForModule", "(JavaFileManager$Location,String)", "", "Argument[1]", "ReturnValue.SyntheticField[com.sun.tools.javac.file.Locations$ModuleLocationHandler.searchPath].Element", "taint", "dfc-generated"]
- ["javax.tools", "ForwardingJavaFileManager", True, "inferModuleName", "(JavaFileManager$Location)", "", "Argument[0].SyntheticField[com.sun.tools.javac.file.Locations$ModuleLocationHandler.moduleName]", "ReturnValue", "value", "dfc-generated"]
- ["javax.tools", "JavaCompiler$CompilationTask", True, "addModules", "(Iterable)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
- ["javax.tools", "JavaCompiler$CompilationTask", True, "setLocale", "(Locale)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["javax.tools", "JavaCompiler$CompilationTask", True, "setProcessors", "(Iterable)", "", "Argument[0].Element", "Argument[this]", "taint", "df-generated"]
- ["javax.tools", "JavaCompiler", True, "getStandardFileManager", "(DiagnosticListener,Locale,Charset)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaCompiler", True, "getStandardFileManager", "(DiagnosticListener,Locale,Charset)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaCompiler", True, "getTask", "(Writer,JavaFileManager,DiagnosticListener,Iterable,Iterable,Iterable)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaCompiler", True, "getTask", "(Writer,JavaFileManager,DiagnosticListener,Iterable,Iterable,Iterable)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaCompiler", True, "getTask", "(Writer,JavaFileManager,DiagnosticListener,Iterable,Iterable,Iterable)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager$Location", True, "getName", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getFileForInput", "(JavaFileManager$Location,String,String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getFileForInput", "(JavaFileManager$Location,String,String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getFileForOutput", "(JavaFileManager$Location,String,String,FileObject)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getFileForOutput", "(JavaFileManager$Location,String,String,FileObject)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getFileForOutput", "(JavaFileManager$Location,String,String,FileObject)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getFileForOutput", "(JavaFileManager$Location,String,String,FileObject)", "", "Argument[2]", "Argument[this]", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getFileForOutput", "(JavaFileManager$Location,String,String,FileObject)", "", "Argument[2]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getFileForOutput", "(JavaFileManager$Location,String,String,FileObject)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getFileForOutput", "(JavaFileManager$Location,String,String,FileObject)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getJavaFileForInput", "(JavaFileManager$Location,String,JavaFileObject$Kind)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getJavaFileForInput", "(JavaFileManager$Location,String,JavaFileObject$Kind)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getJavaFileForOutput", "(JavaFileManager$Location,String,JavaFileObject$Kind,FileObject)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getJavaFileForOutput", "(JavaFileManager$Location,String,JavaFileObject$Kind,FileObject)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getJavaFileForOutput", "(JavaFileManager$Location,String,JavaFileObject$Kind,FileObject)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getJavaFileForOutput", "(JavaFileManager$Location,String,JavaFileObject$Kind,FileObject)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getJavaFileForOutput", "(JavaFileManager$Location,String,JavaFileObject$Kind,FileObject)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getLocationForModule", "(JavaFileManager$Location,String)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "getLocationForModule", "(JavaFileManager$Location,String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "inferBinaryName", "(JavaFileManager$Location,JavaFileObject)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "inferModuleName", "(JavaFileManager$Location)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "inferModuleName", "(JavaFileManager$Location)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "JavaFileManager", True, "list", "(JavaFileManager$Location,String,Set,boolean)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager$PathFactory", True, "getPath", "(String,String[])", "", "Argument[0]", "ReturnValue", "taint", "dfc-generated"]
- ["javax.tools", "StandardJavaFileManager$PathFactory", True, "getPath", "(String,String[])", "", "Argument[1].ArrayElement", "ReturnValue", "taint", "dfc-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "asPath", "(FileObject)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "getJavaFileObjects", "(File[])", "", "Argument[0].ArrayElement", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "getJavaFileObjects", "(File[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "getJavaFileObjects", "(Path[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "getJavaFileObjects", "(String[])", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "getJavaFileObjectsFromFiles", "(Iterable)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "getJavaFileObjectsFromFiles", "(Iterable)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "getJavaFileObjectsFromPaths", "(Collection)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "getJavaFileObjectsFromPaths", "(Collection)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "getJavaFileObjectsFromPaths", "(Iterable)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "getJavaFileObjectsFromPaths", "(Iterable)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "getJavaFileObjectsFromStrings", "(Iterable)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "getLocationAsPaths", "(JavaFileManager$Location)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", True, "setPathFactory", "(StandardJavaFileManager$PathFactory)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["javax.tools", "StandardLocation", False, "locationFor", "(String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- addsTo:
pack: codeql/java-all
extensible: neutralModel
data:
- ["javax.tools", "DocumentationTool$Location", "isOutputLocation", "()", "summary", "df-generated"]
- ["javax.tools", "ForwardingFileObject", "delete", "()", "summary", "df-generated"]
- ["javax.tools", "ForwardingFileObject", "getLastModified", "()", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileManager", "contains", "(JavaFileManager$Location,FileObject)", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileManager", "flush", "()", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileManager", "getClassLoader", "(JavaFileManager$Location)", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileManager", "getLocationForModule", "(JavaFileManager$Location,JavaFileObject)", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileManager", "getServiceLoader", "(JavaFileManager$Location,Class)", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileManager", "handleOption", "(String,Iterator)", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileManager", "hasLocation", "(JavaFileManager$Location)", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileManager", "isSameFile", "(FileObject,FileObject)", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileManager", "isSupportedOption", "(String)", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileManager", "listLocationsForModules", "(JavaFileManager$Location)", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileObject", "getAccessLevel", "()", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileObject", "getKind", "()", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileObject", "getNestingKind", "()", "summary", "df-generated"]
- ["javax.tools", "ForwardingJavaFileObject", "isNameCompatible", "(String,JavaFileObject$Kind)", "summary", "df-generated"]
- ["javax.tools", "JavaFileManager$Location", "isModuleOrientedLocation", "()", "summary", "df-generated"]
- ["javax.tools", "JavaFileManager", "contains", "(JavaFileManager$Location,FileObject)", "summary", "df-generated"]
- ["javax.tools", "JavaFileManager", "getLocationForModule", "(JavaFileManager$Location,JavaFileObject)", "summary", "df-generated"]
- ["javax.tools", "JavaFileManager", "getServiceLoader", "(JavaFileManager$Location,Class)", "summary", "df-generated"]
- ["javax.tools", "JavaFileManager", "listLocationsForModules", "(JavaFileManager$Location)", "summary", "df-generated"]
- ["javax.tools", "SimpleJavaFileObject", "delete", "()", "summary", "df-generated"]
- ["javax.tools", "SimpleJavaFileObject", "getAccessLevel", "()", "summary", "df-generated"]
- ["javax.tools", "SimpleJavaFileObject", "getKind", "()", "summary", "df-generated"]
- ["javax.tools", "SimpleJavaFileObject", "getLastModified", "()", "summary", "df-generated"]
- ["javax.tools", "SimpleJavaFileObject", "getNestingKind", "()", "summary", "df-generated"]
- ["javax.tools", "SimpleJavaFileObject", "isNameCompatible", "(String,JavaFileObject$Kind)", "summary", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", "setLocationForModule", "(JavaFileManager$Location,String,Collection)", "summary", "df-generated"]
- ["javax.tools", "StandardJavaFileManager", "setLocationFromPaths", "(JavaFileManager$Location,Collection)", "summary", "df-generated"]
- ["javax.tools", "StandardLocation", "isModuleOrientedLocation", "()", "summary", "df-generated"]
- ["javax.tools", "StandardLocation", "isOutputLocation", "()", "summary", "df-generated"]
- ["javax.tools", "Tool", "name", "()", "summary", "df-generated"]
- ["javax.tools", "ToolProvider", "getSystemDocumentationTool", "()", "summary", "df-generated"]
- ["javax.tools", "ToolProvider", "getSystemJavaCompiler", "()", "summary", "df-generated"]
- ["javax.tools", "ToolProvider", "getSystemToolClassLoader", "()", "summary", "df-generated"]
Reference in New Issue View Git Blame Copy Permalink