OCL 2.4 RTF Avatar
  1. OMG Issue

OCL24 — Inconsistent inclusion of source in closure results

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

    "The returned collection of the closure iteration is an accumulation of the source, and the collections resulting from ..."

    incorrectly includes the source. The algorithm in 11.9.1 correctly includes the source only if the source is reached by some traversal from the source.

  • Reported: OCL 2.3.1 — Wed, 20 Feb 2013 05:00 GMT
  • Disposition: Resolved — OCL 2.4
  • Disposition Summary:

    No. The algorithm in 11.9.1 only adds the source to the result if the source was not already present. Since the anonRecurse starts with an empty result all sources are accumulated.
    Just need to polish the words to avoid similar misunderstandings in the future
  • Updated: Fri, 6 Mar 2015 20:57 GMT