OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — Collection::sum is not realisable for empty collection of user defined type

Open Closed All
  • Key: OCL25-91
  • Legacy Issue Number: 15010
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    Collection::sum is defined to exploit an associative and commutative T::+(T).

    However for an empty collection, the result must be a zero value of the
    user defined type and there is no mechanism to determine its 0.

    Suggest: require a T::zero() and provide corresponding Real::zero() and Integer::zero() and UnlimitedNatural() operations.
  • Reported: OCL 2.1 — Sun, 31 Jan 2010 05:00 GMT
  • Updated: Thu, 8 Oct 2015 14:12 GMT