Module VariableCapture

Provides logic related to captured variables.

Import path

import semmle.python.dataflow.new.internal.VariableCapture

CapturedVariable	A variable that is captured in a closure.
ClosureExpr	An expression constructing a closure that may capture one or more variables. This can for example be a lambda or a constructor call of a locally defined object.
Flow	Constructs the type `ClosureNode` and associated step relations, which are intended to be included in the data-flow node and step relations.