OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.2 Clarity of qualified path names

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

    At the end of Section 7.4.6 OCL 2.2 says

    "For clarity, the qualified form may only be used with an explicit source
    expression."

    thereby requiring "self.Person::age()" rather than just "Person::age()".

    This 'clarity' is surely just a stylistic issue.

    An organisation may advocate an OCL-style guide that discourages the use of
    implicit-self.
    That is a free choice made by that organisation.

    It does not seem appropriate for one corner of the OCL specification to
    prohibit implicit-self
    where consistency would imply that it should be present.

    This is not a 'clarity', it is a confusion.

    Suggest allow implicit-self before qualified path names (unless there is a
    different
    strong technical reason.)

  • Reported: OCL 2.1 — Thu, 22 Apr 2010 04:00 GMT
  • Updated: Thu, 8 Oct 2015 14:12 GMT