C#: Add getCall predicate to ArgumentNode.

michaelnebel · michaelnebel · commit e9070b010ba2 · 2022-03-29T14:49:37.000+02:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowPrivate.qll
@@ -964,6 +964,9 @@ class ArgumentNode extends Node instanceof ArgumentNodeImpl {
   final predicate argumentOf(DataFlowCall call, ArgumentPosition pos) {
     super.argumentOf(call, pos)
   }
+
+  /** Gets the call in which this node is an argument. */
+  DataFlowCall getCall() { this.argumentOf(result, _) }
 }
 
 abstract private class ArgumentNodeImpl extends Node {

Original file line number	Diff line number	Diff line change
`@@ -964,6 +964,9 @@ class ArgumentNode extends Node instanceof ArgumentNodeImpl {`
`964`	`964`	`final predicate argumentOf(DataFlowCall call, ArgumentPosition pos) {`
`965`	`965`	`super.argumentOf(call, pos)`
`966`	`966`	`}`
	`967`	`+`
	`968`	`+ /** Gets the call in which this node is an argument. */`
	`969`	`+ DataFlowCall getCall() { this.argumentOf(result, _) }`
`967`	`970`	`}`
`968`	`971`
`969`	`972`	`abstract private class ArgumentNodeImpl extends Node {`