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.DataFlowDispatch
Direct supertypes
Indirect supertypes
Fields
Predicates
| getArgument |
Gets the argument at position |
| getCallable |
Get the callable to which this call goes. |
| getEnclosingCallable |
Gets the enclosing callable of this call. |
| getNode |
Get the control flow node representing this call, if any. |
| toString |
Gets a textual representation of this element. |
Inherited predicates
| 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 |