-
Key: KERML_-222
-
Status: closed
-
Source: Model Driven Solutions ( Mr. Ed Seidewitz)
-
Summary:
The resolution to
KERML_-132introduces a new ConstructorExpression. The textual notation for a ConstructorExpression has an argument list that is parsed like that of an InvocationExpression, into a set of parameters owned via ParameterMemberships, with the argument Expressions related to the parameters by FeatureValue relationships. However, for a ConstructorExpression, the argument parameters are not directly owned by the ConstructorExpression but, rather, by the result of the ConstructorExpression.Unfortunately, the validateParameterMembershipOwningType constraint requires that the owningType of a ParameterMembership be a Behavior or a Step (an Expression is a kind of Step). This fails in the in the case of the proposed parsing for a ConstructorExpression, because its result Feature is not a Step.
-
Reported: KerML 1.0b2 — Fri, 21 Feb 2025 04:50 GMT
-
Disposition: Resolved — KerML 1.0b4
-
Disposition Summary:
Update the constraint
The simplest solution is to just update the validateParameterMembershipOwningType constraint to allow the use of ParameterMemberships within a ConstructorExpression.
-
Updated: Sat, 19 Jul 2025 18:58 GMT
KERML_ — validateParameterMembershipOwningType will fail for ConstructorExpressions
- Key: KERML_-222
- OMG Task Force: Kernel Modeling Language (KerML) 1.0 FTF 2