OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — Append/prepend on OrderedSet does not necessarily increase the collection size

  • Key: OCL25-152
  • Legacy Issue Number: 19210
  • Status: open  
  • Source: Heinz Nixdorf Institute, University of Paderborn ( Christopher Gerking)
  • Summary:

    The spec defines the following postcondition for the append/prepend operations on OrderedSet:

    result->size() = self->size() + 1

    However, if self does already contain the added element, the size does not increase by one since the elements are unique.

  • Reported: OCL 2.4 — Tue, 11 Feb 2014 05:00 GMT
  • Updated: Thu, 8 Oct 2015 14:12 GMT