Module signature InputSig
Import path
import codeql.dataflow.VariableCapturePredicates
| basicBlockGetEnclosingCallable | Gets the enclosing callable of the basic block. |
Types
| Callable | |
| CapturedParameter | A parameter that is captured in a closure. |
| 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. |
| Expr | An expression with a value. That is, we expect these expressions to be represented in the data flow graph. |
| VariableRead | A read of a captured variable. |
| VariableWrite | A write to a captured variable. |
Parameters
| Location | LocationSig | |
| BasicBlock | BasicBlockSig |