Skip to content

Commit e1e92d4

Browse files
helper to find overload decorated functions
1 parent b78eeda commit e1e92d4

1 file changed

Lines changed: 8 additions & 0 deletions

File tree

python/ql/src/Statements/StatementNoEffect.ql

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -106,6 +106,14 @@ private predicate is_only_scope_statement(Stmt s) {
106106
forex(Stmt scope_stmt | scope_stmt = s.getScope().getAStmt() | scope_stmt = s)
107107
}
108108

109+
private Function getAnOverload() {
110+
exists(Expr e |
111+
e = API::moduleImport("typing").getMember("overload").getAValueReachableFromSource().asExpr()
112+
|
113+
e = result.getADecorator()
114+
)
115+
}
116+
109117
ClassDef getAProtocolDef() {
110118
exists(Expr e |
111119
e =

0 commit comments

Comments
 (0)