Skip to content

Commit 04bf908

Browse files
committed
C#: Fixup MaD input.
1 parent c484945 commit 04bf908

File tree

1 file changed

+8
-2
lines changed

1 file changed

+8
-2
lines changed

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

Lines changed: 8 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,10 +22,16 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, CsharpDat
2222

2323
class Callable = CS::Callable;
2424

25-
class NodeExtended extends CS::DataFlow::Node {
26-
Callable getAsExprEnclosingCallable() { result = this.asExpr().getEnclosingCallable() }
25+
class NodeExtended = CS::DataFlow::Node;
26+
27+
Callable getAsExprEnclosingCallable(NodeExtended node) {
28+
result = node.asExpr().getEnclosingCallable()
2729
}
2830

31+
Callable getEnclosingCallable(NodeExtended node) { result = node.getEnclosingCallable() }
32+
33+
Parameter asParameter(NodeExtended node) { result = node.asParameter() }
34+
2935
/**
3036
* Holds if any of the parameters of `api` are `System.Func<>`.
3137
*/

0 commit comments

Comments
 (0)