Class CaptureInput::CapturedParameter
A parameter that is captured in a closure.
Import path
import semmle.python.dataflow.new.internal.VariableCaptureDirect supertypes
Indirect supertypes
Inherited fields
| f | from CapturedVariable |
Predicates
Inherited predicates
| escapes | Whether there is an access to this variable outside of its own scope. Usually occurs in nested functions or for global variables. | from Variable |
| getACapturingScope | Gets a scope that captures this variable. | from CapturedVariable |
| getALoad | Gets a load of this variable | from Variable |
| getAStore | Gets a store of this variable | from Variable |
| getAUse | Gets a use of this variable | from Variable |
| getAnAccess | Gets an access (load or store) of this variable | from Variable |
| getCallable | Gets the callable that defines this variable. | from CapturedVariable |
| getId | Gets the identifier (name) of this variable | from Variable |
| getLocation | Gets the location of this variable. | from CapturedVariable |
| getScope | Gets the scope of this variable | from Variable |
| isParameter | Whether this variable is a parameter | from LocalVariable |
| isSelf | Holds if this variable is the first parameter of a method. It is not necessarily called “self” | from LocalVariable |
| toString | Gets a textual representation of this element. | from LocalVariable |