QVT 1.1 RTF Avatar
  1. OMG Issue

QVT11 — Page 75: Section Constructor

  • 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