OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — Reverse CollectionRange should be empty rather than invalid

  • Key: OCL25-74
  • Legacy Issue Number: 18985
  • Status: open  
  • Source: Model Driven Solutions ( Ed Willink)
  • Summary:

    The clarification of Issue 15836 is too strong.

    For an empty collection it is im,portant that

    let s = Sequence{} in Sequence

    {1..s->size()}

    is Sequence{}, i.e. the valid indexes of an empty Sequence are empty not invalid.

  • Reported: OCL 2.4 — Thu, 3 Oct 2013 04:00 GMT
  • Updated: Thu, 8 Oct 2015 14:12 GMT