Re: [qvto-dev] Issue 13103 - Element creation/attachmenty/detachment (wa

[Ed Willink <ed@xxxxxxxxxxxxx>]

Hi

Resurrected from the OMG mail archives:

************************************
Solution suggested by Mr. Mariano Belaunde: Currently in a mapping 
operation or in an explicit object _expression_, if you do not indicate 
the extent, then by default the newly created object is automatically 
inserted to an inferred extent. We could imagine a different rule: in 
order for a created element to be inserted into an extent, make it explicit.

Like in:
  mapping A::foo() : X@myextent { ... }
  x := object X@myextent { ... }

We could also add a 'insertElement()' operation, in the cases where the 
inclusion to an extent has to be performed at a different time.
************************************

    Regards

        Ed Willink