OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.1 11.7: Clarifying Collection Well-formedness rules

  • Key: OCL25-54
  • Legacy Issue Number: 14576
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    The discussion of Issue 12953 suggests that two members of the RTF agreed that is unclear
    what T in e.g Set's including(Object : T) means.

    The first paragraph of Section 11.6 makes clear that the intent of the specification applies to e.g. Set(T) and
    so the well-formedness rules in 11.7 refer to e.g. Set(T)::including(Object: T), so T is the known element
    type of the collection. It is therefore a static error to attempt to invoke Set(T) including for an object
    incompatible with the known element type T.

    It would be helpful for the Section headings in 11.7 to have a (T) appended so that the 11.6 specification
    of T was clearly carried over from 11.6 to 11.7. e.g.

    Replace

    11.7.1 Collection

    by

    11.7.1 Collection(T)

  • Reported: OCL 2.1 — Mon, 26 Oct 2009 04:00 GMT
  • Updated: Thu, 8 Oct 2015 14:12 GMT