Class CaptureInput::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.

Import path

import semmle.code.java.dataflow.internal.DataFlowPrivate

Direct supertypes

Expr

Fields

Predicates

hasAliasedAccess	Holds if `f` is an expression that may hold the value of the closure and may occur in a position where the value escapes or where the closure may be invoked.
hasBody	Holds if `body` is the callable body of this closure. A lambda expression only has one body, but in general a locally defined object may have multiple such methods and constructors.

Inherited predicates

getLocation	Gets the location of this expression.	from Expr
hasCfgNode	Holds if the `i`th node of basic block `bb` evaluates this expression.	from Expr
toString	Gets a textual representation of this expression.	from Expr

Charpred

ClosureExpr