CodeQL library for Java/Kotlin
codeql/java-all 0.11.0 (changelog, source)
Search

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

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 ith node of basic block bb evaluates this expression.

from Expr
toString

Gets a textual representation of this expression.

from Expr

Charpred