OCL 2.4 RTF Avatar
  1. OMG Issue

OCL24 — any iteration unsuitable for null Collection content

Open Closed All
  • Key: OCL24-6
  • Legacy Issue Number: 18125
  • Status: closed  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    The any() iteration is specified to return null in the event that no match is found. However null could also be the return of a successful match of null. e.g

    Sequence

    {null}

    ->any(s | s = null)

    Suggest: change the match-not-found return to invalid.

  • Reported: OCL 2.3.1 — Thu, 27 Sep 2012 04:00 GMT
  • Disposition: Resolved — OCL 2.4
  • Disposition Summary:

    The resolution of Issue 18504 solves this too.
    Disposition: See issue 18504 for disposition
  • Updated: Fri, 6 Mar 2015 20:57 GMT