-
Key: QVT11-54
-
Legacy Issue Number: 13269
-
Status: closed
-
Source: Open Canarias, SL ( Adolfo Sanchez-Barbudo Herrera [X] (Inactive))
-
Summary:
Problem's text: "/body: BlockExp [0..1]
{composes} (from ImperativeOperation)
The expression serving to populate the object using the given parameters. This expression should necessarily be
an ObjectExp instance.
discussion: This is not coherent with the ImperativeOperation definition. Body is an OperationBody, specifically a ConstructorBody.
Suggestion: Replace the text above by the following:
"/body: OperationBody [0..1] {composes}(from ImperativeOperation)
The operation body of the constructor. It should necessarily be
a ConstructorBody instance. -
Reported: QVT 1.0 — Thu, 15 Jan 2009 05:00 GMT
-
Disposition: Resolved — QVT 1.1
-
Disposition Summary:
Yes. But we can go all the way by modeling the ConstructorBody constraint
-
Updated: Fri, 6 Mar 2015 20:58 GMT