ATLLambdaExpression

struct ATLLambdaExpression

Overview

Lambda expressions represent function-like constructs used in OCL collection operations such as select, collect, exists, and forAll. They encapsulate both parameter binding and expression evaluation within iterator contexts.

Overview

Lambda expressions in ATL follow OCL semantics where an iterator variable is bound to each collection element during evaluation. The lambda body is evaluated once for each element with the parameter bound to that element.

Example Usage

// Equivalent to OCL: collection->select(item | item.age > 18)
let lambda = ATLLambdaExpression(
    parameter: "item",
    body: ATLNavigationExpression(
        source: ATLVariableExpression(name: "item"),
        property: "age"
    )
)