mirror of
https://github.com/github/codeql.git
synced 2025-12-24 04:36:35 +01:00
Python: move code and harmonize comments
This commit is contained in:
@@ -746,6 +746,10 @@ module API {
|
|||||||
lbl = Label::return() and
|
lbl = Label::return() and
|
||||||
ref = pred.getACall()
|
ref = pred.getACall()
|
||||||
or
|
or
|
||||||
|
// Awaiting a node that is a use of `base`
|
||||||
|
lbl = Label::await() and
|
||||||
|
ref = pred.getAnAwaited()
|
||||||
|
or
|
||||||
// Subclassing a node
|
// Subclassing a node
|
||||||
lbl = Label::subclass() and
|
lbl = Label::subclass() and
|
||||||
exists(PY::ClassExpr clsExpr, DataFlow::Node superclass | pred.flowsTo(superclass) |
|
exists(PY::ClassExpr clsExpr, DataFlow::Node superclass | pred.flowsTo(superclass) |
|
||||||
@@ -759,10 +763,6 @@ module API {
|
|||||||
ref.(DataFlow::ExprNode).getNode().getNode() = clsExpr.getADecoratorCall()
|
ref.(DataFlow::ExprNode).getNode().getNode() = clsExpr.getADecoratorCall()
|
||||||
)
|
)
|
||||||
)
|
)
|
||||||
or
|
|
||||||
// awaiting
|
|
||||||
lbl = Label::await() and
|
|
||||||
ref = pred.getAnAwaited()
|
|
||||||
)
|
)
|
||||||
or
|
or
|
||||||
exists(DataFlow::Node def, PY::CallableExpr fn |
|
exists(DataFlow::Node def, PY::CallableExpr fn |
|
||||||
|
|||||||
Reference in New Issue
Block a user