Clarify the behavior of imperative iterators (Spec 8.2.2.7. ImperativeIterateExp)

[eclipse-qvt-oml-bot]

| --- | --- | | Bugzilla Link | 425536 | | Status | NEW | | Importance | P3 normal | | Reported | Jan 13, 2014 05:14 EDT | | Modified | Jun 24, 2014 07:28 EDT | | Version | 3.4 | | Reporter | Sergey Boyko |

Description

Forked from Bug 424979.

The OMG Issue is 19177.

As cosequence:

• consider flattening of results for "xcollect" (and "xcollectselect" ?)
• introduce appropriate "..Nested" iterators ("xcollectNested" and "xcollectselectNested")

[eclipse-qvt-oml-bot]

By Christopher Gerking on Jun 24, 2014 07:28

A related problem:

myEPackage.eClassifiers += myEClass;\ var allEClasses = myEPackage->eClassifiers[EClass];\ assert fatal (allEClasses->includes(myEClass));

The Bag resulting from the 'collectSelect' is empty, because myEPackage->eClassifiers produces a Bag(OrderedSet(EClassifier)). Therefore, the selection inside that Bag discovers only OrderedSet elements and no EClass elements.

The problem should be gone once 'collectSelect' and other imperative iterators flatten.