mirror of
https://github.com/github/codeql.git
synced 2025-12-24 04:36:35 +01:00
committed by
GitHub
parent
1f93e5b58d
commit
a0dfbfd96f
@@ -308,7 +308,7 @@ module EssaFlow {
|
|||||||
// note: we allow this for both `with` and `async with`, since some
|
// note: we allow this for both `with` and `async with`, since some
|
||||||
// implementations do `async def __aenter__(self): return self`, so you can do
|
// implementations do `async def __aenter__(self): return self`, so you can do
|
||||||
// both:
|
// both:
|
||||||
// * `foo = x.foo(); await foo.async_methoid(); foo.close()` and
|
// * `foo = x.foo(); await foo.async_method(); foo.close()` and
|
||||||
// * `async with x.foo() as foo: await foo.async_method()`.
|
// * `async with x.foo() as foo: await foo.async_method()`.
|
||||||
)
|
)
|
||||||
or
|
or
|
||||||
@@ -322,7 +322,7 @@ module EssaFlow {
|
|||||||
// We have this step in addition to the step above, to handle cases where the QL
|
// We have this step in addition to the step above, to handle cases where the QL
|
||||||
// modeling of `f(42)` requires a `.getAwaited()` step (in API graphs) when not
|
// modeling of `f(42)` requires a `.getAwaited()` step (in API graphs) when not
|
||||||
// using `async with`, so you can do both:
|
// using `async with`, so you can do both:
|
||||||
// * `foo = await x.foo(); await foo.async_methoid(); foo.close()` and
|
// * `foo = await x.foo(); await foo.async_method(); foo.close()` and
|
||||||
// * `async with x.foo() as foo: await foo.async_method()`.
|
// * `async with x.foo() as foo: await foo.async_method()`.
|
||||||
exists(With with, ControlFlowNode var |
|
exists(With with, ControlFlowNode var |
|
||||||
nodeFrom.(CfgNode).getNode() = var and
|
nodeFrom.(CfgNode).getNode() = var and
|
||||||
|
|||||||
Reference in New Issue
Block a user