File tree Expand file tree Collapse file tree 2 files changed +14
-8
lines changed
lib/semmle/python/frameworks
test/library-tests/frameworks/httpx Expand file tree Collapse file tree 2 files changed +14
-8
lines changed Original file line number Diff line number Diff line change @@ -18,6 +18,11 @@ private import semmle.python.ApiGraphs
18
18
* - https://www.python-httpx.org/
19
19
*/
20
20
private module HttpxModel {
21
+ /**
22
+ * An outgoing HTTP request, from the `httpx` library.
23
+ *
24
+ * See https://www.python-httpx.org/api/
25
+ */
21
26
private class RequestCall extends HTTP:: Client:: Request:: Range , DataFlow:: CallCfgNode {
22
27
string methodName ;
23
28
@@ -47,7 +52,7 @@ private module HttpxModel {
47
52
/**
48
53
* Provides models for the `httpx.[Async]Client` class
49
54
*
50
- * See https://www.python-httpx.org/async/
55
+ * See https://www.python-httpx.org/api/#client
51
56
*/
52
57
module Client {
53
58
/** Get a reference to the `httpx.Client` or `httpx.AsyncClient` class. */
Original file line number Diff line number Diff line change 15
15
response = client .request ("method" , url = "url" ) # $ clientRequestUrlPart="url"
16
16
response = client .stream ("method" , url = "url" ) # $ clientRequestUrlPart="url"
17
17
18
- client = httpx .AsyncClient ()
19
- response = client .get ("url" ) # $ clientRequestUrlPart="url"
20
- response = client .post ("url" ) # $ clientRequestUrlPart="url"
21
- response = client .patch ("url" ) # $ clientRequestUrlPart="url"
22
- response = client .options ("url" ) # $ clientRequestUrlPart="url"
23
- response = client .request ("method" , url = "url" ) # $ clientRequestUrlPart="url"
24
- response = client .stream ("method" , url = "url" ) # $ clientRequestUrlPart="url"
18
+ async def async_test ():
19
+ client = httpx .AsyncClient ()
20
+ response = await client .get ("url" ) # $ clientRequestUrlPart="url"
21
+ response = await client .post ("url" ) # $ clientRequestUrlPart="url"
22
+ response = await client .patch ("url" ) # $ clientRequestUrlPart="url"
23
+ response = await client .options ("url" ) # $ clientRequestUrlPart="url"
24
+ response = await client .request ("method" , url = "url" ) # $ clientRequestUrlPart="url"
25
+ response = await client .stream ("method" , url = "url" ) # $ clientRequestUrlPart="url"
You can’t perform that action at this time.
0 commit comments