Class SummaryCall
A synthesized call inside a callable with a flow summary.
For example, in
map(lambda x: x + 1, [1, 2, 3])
there is a synthesized call to the lambda argument inside map.
Import path
import semmle.python.dataflow.new.internal.DataFlowDispatchDirect supertypes
Indirect supertypes
Predicates
| getArgument | Gets the argument at position |
| getCallable | Get the callable to which this call goes. |
| getEnclosingCallable | Gets the enclosing callable of this call. |
| getLocation | Gets the location of this dataflow call. |
| getNode | Get the control flow node representing this call, if any. |
| getReceiver | Gets the data flow node that this call targets. |
| getScope | Gets the scope of this node, if any. |
| toString | Gets a textual representation of this element. |
Inherited predicates
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from DataFlowCall |