UML14 — The postcondition on set::collect seems to be incorrect

Summary: The postcondition on set::collect seems to be incorrect. It currently reads:

set->collect(expression : OclExpression) : Bag(expression.oclType)

The Bag of elements that results from applying expr to every member of set.

post: result = set->iterate(elem; acc : Bag(T) = Bag{} | acc->including(expr) )

The type of acc is wrong, and it should read:

post: result = set->iterate(elem; acc : Bag(expression.oclType) = Bag{} | acc->including(expr) )

Note that the same goes for Bag::collect on page 6-41.

No Data Available