OCL2 — OCL 2: flatten

quotes from ad/2003-01-07 (v1.6 of OCL 2 proposal):

Section 1.5.1 says, "the flatten operation is a deep flatten, it
completely flattens a nested collection of any depth". However the
formal definition is :

post: result = if self.type.elementType.oclIsKindOf(CollectionType) then
self->iterate(c; acc : Set() = Set{} |
acc->union(c->asSet() ) )
else
self
endif

From Section 6.5.1 (definition of Set.Flatten). The formal declaration does
not show that the flatten operation is deep. This discussion is extended in
Appendix A, which presents an analogous postcondition, but explains that this
is for a single level only.

It would seem that the post-condition(s) in section 6.5.1 are wrong?

No Data Available