Legacy Issue Number: 14888
Source: Universidad Nacional del Litoral ( Javier Godoy)
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  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