OCL 2.5 RTF Avatar
  1. OMG Issue

OCL25 — No postcondition for NamedElement::getType() when self.oclIsKindOf(Namespace)

  • Key: OCL25-12
  • Legacy Issue Number: 14888
  • Status: open  
  • Source: Universidad Nacional del Litoral ( Javier Godoy)
  • Summary:

    9.4.2 NamedElement

    NamedElement, as defined by OCL, links to ModelElement (from Core) and has an operation getType(): Classifier

    Postconditions are given when the referred modelelelement is an instance of Classifier, VariableDeclaration or State.
    However, from subclause [4] of section 9.4.1 it follows that the referred modelelelement may also be an instance of Namespace.
    (let firstNamespace : ModelElement = lookupLocal( names->first() ).referredElement, where lookupLocal returns an OCL NamedElement)

    In the UML Infrastructure, Namespace specializes Core::NamedElement, which does not defines a type attribute (Core::TypedElement does)
    Namespace is a generalization of Classifier.

    At least, add:
    post: referredElement.oclIsKindOf(Namespace) implies
    result = – TBD: when aligning with UML 2.0

    Should it be result.oclIsUndefined() ?

  • Reported: OCL 2.1 — Sat, 19 Dec 2009 05:00 GMT
  • Updated: Thu, 8 Oct 2015 14:11 GMT