Skip to content

Commit 6c348b5

Browse files
committed
Rust: Fixup MaD input.
1 parent b6c6587 commit 6c348b5

File tree

1 file changed

+7
-5
lines changed

1 file changed

+7
-5
lines changed

rust/ql/src/utils/modelgenerator/internal/CaptureModels.qll

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -20,15 +20,17 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, RustDataF
2020
class Callable = R::Callable;
2121

2222
class NodeExtended extends DataFlow::Node {
23-
Callable getAsExprEnclosingCallable() { result = this.asExpr().getScope() }
24-
2523
Type getType() { any() }
24+
}
2625

27-
Callable getEnclosingCallable() {
28-
result = this.(Node::Node).getEnclosingCallable().asCfgScope()
29-
}
26+
Callable getAsExprEnclosingCallable(NodeExtended node) { result = node.asExpr().getScope() }
27+
28+
Callable getEnclosingCallable(NodeExtended node) {
29+
result = node.(Node::Node).getEnclosingCallable().asCfgScope()
3030
}
3131

32+
Parameter asParameter(NodeExtended node) { result = node.asParameter() }
33+
3234
private predicate relevant(Function api) {
3335
// Only include functions that have a resolved path.
3436
api.hasCrateOrigin() and

0 commit comments

Comments
 (0)