QVT12 — ObjectExp Abstract Syntax misses a ConstructorBody

Problem:

ObjectExp enhances an InstationExp with additional abstract syntax and semantics what respect to the association of the object to be created/updated to a variable.

Likewise, the object expression provides concrete syntax to specify the set of expressions to be executed in order to intialize/update the properties of the object to be created. However this is not reflected in the abstract sytanx.

Discussion:
Indeed, ObjectExp should contain a containment reference to comprise the block of expressions used to initialize/update the object properties.

The best AS candidate is ConstructorBody. Note that this is supported by the own description of the ConstructorBody (section 8.2.1.18):

"A constructor body contains the implementation of a constructor operation or the implementation of an inline constructor
(see ObjectExp)."

This ConstructorBody should be optional, as a result of an enhancement I'll raise in a different issue.

Proposed resolution:

Add the following association to ObjectExp in section 8.2.1.24

body: ConstructorBody [0..1]

The object expression body comprising the expressions to initialize (or update) the properties of the object to be instantiated (or updated).

The required association is already shown in Fig 8.3; just need to add the missing text