hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 17:23:36 +01:00
Code Issues Packages Projects Releases Wiki Activity
Files
codeql-cli-2.20.5
codeql/java/ql/lib/ext/generated/java.net.http.model.yml

142 lines
18 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:
- ["java.net.http", "HttpClient$Builder", True, "authenticator", "(Authenticator)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpClient$Builder", True, "build", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpClient$Builder", True, "connectTimeout", "(Duration)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpClient$Builder", True, "cookieHandler", "(CookieHandler)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpClient$Builder", True, "executor", "(Executor)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpClient$Builder", True, "followRedirects", "(HttpClient$Redirect)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpClient$Builder", True, "priority", "(int)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpClient$Builder", True, "proxy", "(ProxySelector)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpClient$Builder", True, "sslContext", "(SSLContext)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpClient$Builder", True, "sslParameters", "(SSLParameters)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpClient$Builder", True, "version", "(HttpClient$Version)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpClient", True, "authenticator", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpClient", True, "connectTimeout", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpClient", True, "cookieHandler", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpClient", True, "executor", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpClient", True, "newWebSocketBuilder", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpClient", True, "proxy", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpClient", True, "sslContext", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpClient", True, "sslParameters", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpConnectTimeoutException", True, "HttpConnectTimeoutException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.net.http", "HttpHeaders", False, "allValues", "(String)", "", "Argument[this].SyntheticField[java.net.http.HttpHeaders.headers].MapValue", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpHeaders", False, "firstValue", "(String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpHeaders", False, "map", "()", "", "Argument[this].SyntheticField[java.net.http.HttpHeaders.headers]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpHeaders", False, "of", "(Map,BiPredicate)", "", "Argument[0].MapKey", "ReturnValue.SyntheticField[java.net.http.HttpHeaders.headers].MapKey", "taint", "dfc-generated"]
- ["java.net.http", "HttpRequest$BodyPublishers", True, "concat", "(HttpRequest$BodyPublisher[])", "", "Argument[0].ArrayElement", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest$BodyPublishers", True, "fromPublisher", "(Flow$Publisher)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest$BodyPublishers", True, "fromPublisher", "(Flow$Publisher,long)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest$BodyPublishers", True, "ofByteArray", "(byte[])", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest$BodyPublishers", True, "ofByteArray", "(byte[],int,int)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest$BodyPublishers", True, "ofByteArrays", "(Iterable)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest$BodyPublishers", True, "ofFile", "(Path)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest$BodyPublishers", True, "ofInputStream", "(Supplier)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest$BodyPublishers", True, "ofString", "(String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest$BodyPublishers", True, "ofString", "(String,Charset)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "DELETE", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "GET", "()", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "POST", "(HttpRequest$BodyPublisher)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "PUT", "(HttpRequest$BodyPublisher)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "build", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "copy", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "expectContinue", "(boolean)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "header", "(String,String)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "headers", "(String[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "method", "(String,HttpRequest$BodyPublisher)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "setHeader", "(String,String)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "timeout", "(Duration)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "uri", "(URI)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest$Builder", True, "version", "(HttpClient$Version)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "HttpRequest", True, "bodyPublisher", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest", True, "headers", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest", True, "method", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest", True, "newBuilder", "(HttpRequest,BiPredicate)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest", True, "newBuilder", "(URI)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest", True, "timeout", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest", True, "uri", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpRequest", True, "version", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", True, "ofFile", "(Path)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", True, "ofFile", "(Path,OpenOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", True, "ofFile", "(Path,OpenOption[])", "", "Argument[1].ArrayElement", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", True, "ofFileDownload", "(Path,OpenOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", True, "ofFileDownload", "(Path,OpenOption[])", "", "Argument[1].ArrayElement", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "buffering", "(HttpResponse$BodySubscriber,int)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "fromLineSubscriber", "(Flow$Subscriber)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "fromLineSubscriber", "(Flow$Subscriber,Function,Charset,String)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "fromLineSubscriber", "(Flow$Subscriber,Function,Charset,String)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "fromLineSubscriber", "(Flow$Subscriber,Function,Charset,String)", "", "Argument[3]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "fromSubscriber", "(Flow$Subscriber)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "fromSubscriber", "(Flow$Subscriber,Function)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "fromSubscriber", "(Flow$Subscriber,Function)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "mapping", "(HttpResponse$BodySubscriber,Function)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "mapping", "(HttpResponse$BodySubscriber,Function)", "", "Argument[1]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "ofByteArrayConsumer", "(Consumer)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "ofFile", "(Path)", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "ofFile", "(Path,OpenOption[])", "", "Argument[0].Element", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "ofFile", "(Path,OpenOption[])", "", "Argument[1].ArrayElement", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", True, "replacing", "(Object)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$PushPromiseHandler", True, "of", "(Function,ConcurrentMap)", "", "Argument[0]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$PushPromiseHandler", True, "of", "(Function,ConcurrentMap)", "", "Argument[1].Element", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpResponse$ResponseInfo", True, "headers", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "HttpTimeoutException", True, "HttpTimeoutException", "(String)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.net.http", "WebSocket$Builder", True, "buildAsync", "(URI,WebSocket$Listener)", "", "Argument[0]", "Argument[this]", "taint", "df-generated"]
- ["java.net.http", "WebSocket$Builder", True, "buildAsync", "(URI,WebSocket$Listener)", "", "Argument[1]", "Argument[this]", "taint", "df-generated"]
- ["java.net.http", "WebSocket$Builder", True, "connectTimeout", "(Duration)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "WebSocket$Builder", True, "header", "(String,String)", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "WebSocket$Builder", True, "subprotocols", "(String,String[])", "", "Argument[this]", "ReturnValue", "value", "dfc-generated"]
- ["java.net.http", "WebSocket", True, "getSubprotocol", "()", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "WebSocket", True, "sendBinary", "(ByteBuffer,boolean)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "WebSocket", True, "sendClose", "(int,String)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "WebSocket", True, "sendPing", "(ByteBuffer)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "WebSocket", True, "sendPong", "(ByteBuffer)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "WebSocket", True, "sendText", "(CharSequence,boolean)", "", "Argument[this]", "ReturnValue", "taint", "df-generated"]
- ["java.net.http", "WebSocketHandshakeException", False, "WebSocketHandshakeException", "(HttpResponse)", "", "Argument[0]", "Argument[this].SyntheticField[java.net.http.WebSocketHandshakeException.response]", "value", "dfc-generated"]
- ["java.net.http", "WebSocketHandshakeException", False, "getResponse", "()", "", "Argument[this].SyntheticField[java.net.http.WebSocketHandshakeException.response]", "ReturnValue", "value", "dfc-generated"]
- addsTo:
pack: codeql/java-all
extensible: neutralModel
data:
- ["java.net.http", "HttpClient", "followRedirects", "()", "summary", "df-generated"]
- ["java.net.http", "HttpClient", "newBuilder", "()", "summary", "df-generated"]
- ["java.net.http", "HttpClient", "newHttpClient", "()", "summary", "df-generated"]
- ["java.net.http", "HttpClient", "send", "(HttpRequest,HttpResponse$BodyHandler)", "summary", "df-generated"]
- ["java.net.http", "HttpClient", "sendAsync", "(HttpRequest,HttpResponse$BodyHandler)", "summary", "df-generated"]
- ["java.net.http", "HttpClient", "sendAsync", "(HttpRequest,HttpResponse$BodyHandler,HttpResponse$PushPromiseHandler)", "summary", "df-generated"]
- ["java.net.http", "HttpClient", "version", "()", "summary", "df-generated"]
- ["java.net.http", "HttpHeaders", "firstValueAsLong", "(String)", "summary", "df-generated"]
- ["java.net.http", "HttpRequest$BodyPublishers", "noBody", "()", "summary", "df-generated"]
- ["java.net.http", "HttpRequest", "expectContinue", "()", "summary", "df-generated"]
- ["java.net.http", "HttpRequest", "newBuilder", "()", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "buffering", "(HttpResponse$BodyHandler,int)", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "discarding", "()", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "fromLineSubscriber", "(Flow$Subscriber)", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "fromLineSubscriber", "(Flow$Subscriber,Function,String)", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "fromSubscriber", "(Flow$Subscriber)", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "fromSubscriber", "(Flow$Subscriber,Function)", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "ofByteArray", "()", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "ofByteArrayConsumer", "(Consumer)", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "ofInputStream", "()", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "ofLines", "()", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "ofPublisher", "()", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "ofString", "()", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "ofString", "(Charset)", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodyHandlers", "replacing", "(Object)", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", "discarding", "()", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", "ofByteArray", "()", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", "ofInputStream", "()", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", "ofLines", "(Charset)", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", "ofPublisher", "()", "summary", "df-generated"]
- ["java.net.http", "HttpResponse$BodySubscribers", "ofString", "(Charset)", "summary", "df-generated"]
- ["java.net.http", "WebSocket$Listener", "onBinary", "(WebSocket,ByteBuffer,boolean)", "summary", "df-generated"]
- ["java.net.http", "WebSocket$Listener", "onClose", "(WebSocket,int,String)", "summary", "df-generated"]
- ["java.net.http", "WebSocket$Listener", "onError", "(WebSocket,Throwable)", "summary", "df-generated"]
- ["java.net.http", "WebSocket$Listener", "onOpen", "(WebSocket)", "summary", "df-generated"]
- ["java.net.http", "WebSocket$Listener", "onPing", "(WebSocket,ByteBuffer)", "summary", "df-generated"]
- ["java.net.http", "WebSocket$Listener", "onPong", "(WebSocket,ByteBuffer)", "summary", "df-generated"]
- ["java.net.http", "WebSocket$Listener", "onText", "(WebSocket,CharSequence,boolean)", "summary", "df-generated"]
Reference in New Issue View Git Blame Copy Permalink