LambdaExpr
constructor(parameters: NodeList<Parameter>, body: Statement, isEnclosingParameters: Boolean)(source)
constructor(parameters: NodeList<Parameter>, body: Statement, isEnclosingParameters: Boolean, contracts: NodeList<JmlContract>)(source)
constructor(tokenRange: TokenRange, parameters: NodeList<Parameter>, body: Statement, isEnclosingParameters: Boolean)(source)
Creates a single parameter lambda expression.
Creates a zero or multi-parameter lambda expression with its parameters wrapped in ( ).
constructor(tokenRange: TokenRange, parameters: NodeList<Parameter>, body: Statement, isEnclosingParameters: Boolean, contracts: NodeList<JmlContract>)(source)
This constructor is used by the parser and is considered private.