OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — :: is not an invocable operator

  • Key: OCL25-221
  • Status: open  
  • Source: Model Driven Solutions ( Ed Willink)
  • Summary:

    The flawed resolution of issue 8937 introduced Section 7.5.10 in which it is suggested that :: is an operator that can be contrasted with the . object navigation operator.

    It isn't. It is a name qualification operator allowing e.g. A::B::C::d to clearly locate a feature with respect to any prolematic name clashes.

    If :: is an invocable operator, which of the :: in A::B::C::d are to be executed, and how?

    As a qualification operator the referredOperation/referredProperty field in an OperationCallExp/PropertyCallExp is assigned at compile-time to the unambiguous resolution of the qualified reference. No extra execution for the qualification.

  • Reported: OCL 2.4 — Sat, 18 Dec 2021 15:13 GMT
  • Updated: Sat, 18 Dec 2021 15:46 GMT