Class SummaryCall
A synthesized call inside a callable with a flow summary.
For example, in ints.Select(i => i + 1) there is a call to the delegate at
parameter position 1 (counting the qualifier as the 0th argument) inside
the method Select.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowDispatchDirect supertypes
Indirect supertypes
Predicates
| getARuntimeTarget | Gets a run-time target of this call. A target is always a source declaration. |
| getControlFlowNode | Gets the control flow node where this call happens, if any. |
| getEnclosingCallable | Gets the enclosing callable of this call. |
| getLocation | Gets the location of this call. |
| getNode | Gets the data flow node corresponding to this call, if any. |
| getReceiver | Gets the data flow node that this call targets. |
| toString | Gets a textual representation of this call. |
Inherited predicates
| getArgument | Gets the argument at position | from DataFlowCall |
| getExpr | Gets the underlying expression, if any. | from DataFlowCall |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from DataFlowCall |