Issue 7458: result of applying the collect operation to a Sequence                                                                                                                                                  (ocl2-ftf)
Source: Klasse Objecten (Dr. Jos Warmer, j.warmer@klasse.nl)
Nature: Uncategorized Issue
Severity: 
Summary: The result of applying the collect operation to a Sequence should be a Sequence, not a Bag. Likewise,
the result of applying the collect operation to an OrderedSet should be a Sequence, not a Bag.
Resolution: 
Revised Text: Revised Text:
1) Replace the sentence "An important issue here is that the resulting collection is not a
Set, but a Bag" by this one:
"An important issue here is that when the source collection is a Set the resulting
collection is not a Set, but a Bag. Moreover, if the source collection is a Sequence or an
orderedSet, the resulting collection is a Sequence
Actions taken:
June 10, 2004: received issue
November 1, 2005: closed issue
Discussion: 
According to the definition of the collect and collectNested iterators in the standard
library, the type of the result depends on the type of the source collection. If the source is
ordered the result is ordered. However there is an error in the 7.6.2 where it is said that a
collect always returns a Bag. The proposed revised text solves the inconsistency.
End of Annotations:=====
ult of applying the collect operation to a Sequence should be a Sequence, not a Bag. Likewise,
the result of applying the collect operation to an OrderedSet should be a Sequence, not a Bag.