-
Notifications
You must be signed in to change notification settings - Fork 1.9k
Expand file tree
/
Copy pathjava.net.http.model.yml
More file actions
141 lines (141 loc) · 18.2 KB
/
java.net.http.model.yml
File metadata and controls
141 lines (141 loc) · 18.2 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
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
# 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"]