Class PotentialLibraryCall
A potential call to a summarized callable, a LibraryCallable.
We currently exclude all resolved calls. This means that a call to, say, map, which
is a ClassCall, cannot currently be given a summary.
We hope to lift this restriction in the future and include all potential calls to summaries
in this class.
Import path
import semmle.python.dataflow.new.internal.DataFlowDispatchDirect supertypes
Indirect supertypes
Fields
Predicates
| getArgument | Gets the argument at position |
| getCallable | Get the callable to which this call goes. |
| getNode | Get the control flow node representing this call, if any. |
| getScope | Gets the scope of this node, if any. |
| toString | Gets a textual representation of this element. |
Inherited predicates
| getEnclosingCallable | Gets the enclosing callable of this call. | from DataFlowCall |
| getLocation | Gets the location of this dataflow call. | from ExtractedDataFlowCall |
| hasLocationInfo | Holds if this element is at the specified location. The location spans column | from DataFlowCall |