Add CallNode.getAResult()

owen-mc · owen-mc · commit 1c5a4605d602 · 2020-05-28T12:49:05.000+01:00
diff --git a/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll b/ql/src/semmle/go/dataflow/internal/DataFlowUtil.qll
@@ -345,6 +345,9 @@ class CallNode extends ExprNode {
    */
   Node getResult() { not getType() instanceof TupleType and result = this }
 
+  /** Gets a result of this call. */
+  Node getAResult() { result = this.getResult(_) }
+
   /** Gets the data flow node corresponding to the receiver of this call, if any. */
   Node getReceiver() { result = getACalleeSource().(MethodReadNode).getReceiver() }
 }

Original file line number	Diff line number	Diff line change
`@@ -345,6 +345,9 @@ class CallNode extends ExprNode {`
`345`	`345`	`*/`
`346`	`346`	`Node getResult() { not getType() instanceof TupleType and result = this }`
`347`	`347`
	`348`	`+ /** Gets a result of this call. */`
	`349`	`+ Node getAResult() { result = this.getResult(_) }`
	`350`	`+`
`348`	`351`	`/** Gets the data flow node corresponding to the receiver of this call, if any. */`
`349`	`352`	`Node getReceiver() { result = getACalleeSource().(MethodReadNode).getReceiver() }`
`350`	`353`	`}`