OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — OCL 2.3 Enumeration::allInstances() does not return instances

Open Closed All
  • Key: OCL25-79
  • Legacy Issue Number: 16168
  • Status: open  
  • Source: Model Driven Solutions ( Dr. Edward Willink)
  • Summary:

    a) an OrderedSet would be more appropriate
    b) enumeration literals are instances of EnumerationLiteral; they are not instances of an Enumeration

    cf. MyClass.allInstances() dynamically overloads Classifier.allInstances() to return all known instantiations of MyClass, rather than all features of MyClass.

    so why does MyEnumeration.allInstances() prevent me discovering all instantiations of MyEnumeration; Enumeration is a Classifier.

    The required functionality of MyEnumeration::allInstances() is available as MyEnumeration.ownedLiteral provided reflection is consistently defined.

    Suggest: remove the Enumeration.allInstances() overload.
  • Reported: OCL 2.1 — Fri, 6 May 2011 04:00 GMT
  • Updated: Thu, 8 Oct 2015 14:12 GMT