Legacy Issue Number: 19429
Source: Model Driven Solutions ( Ed Willink)
The specification of "late" semantics uses the "conceptually" word; a sure sign of missing semantics. It is followed by a magic null value that stores information for later use and with an unspecified trace interaction.
The interaction of "late" and implicit collect is not handled so in
generalizations := self.eSuperTypes->collect(t | t.late resolve(UML::Generalization))
the direct association of "late" with asssignment is no longer direct; the "late"s must be aggregated. Potentuially this may occur in arbitrary complexd expressions including mapping calls!
An alternate multi-pass interpretation of "late" is given.
This seems like the correct approach; an MtoM transformation from a with-late to multi-pass without-late transformation.
Reported: QVT 1.2 — Thu, 22 May 2014 04:00 GMT
Updated: Tue, 22 Dec 2015 15:31 GMT