UML23 — Bug in Core::Abstractions::Super::Classifier::hasVisibilityOf

In Core::Abstractions::Super::Classifier::hasVisibilityOf there is
Classifier::hasVisibilityOf(n: NamedElement) : Boolean;
pre: self.allParents()>collect(c | c.member)>includes
if (self.inheritedMember->includes ) then
hasVisibilityOf = (n.visibility <> #private)
else
hasVisibilityOf = true

This is wrong because “NamedElement” doesn’t have “visibility” attribute. In fact “Feature” doesn’t have “visibility” attribute as well, so all of the properties and operations for Classifier needs to be public. That’s why I think that for now “hasVisiblityOf” should be fixed to:
Classifier::hasVisibilityOf(n: NamedElement) : Boolean;
pre: self.allParents()>collect(c | c.member)>includes
hasVisibilityOf = true

but maybe it should be considered to add visibility attribute to Feature.

This issue has already been resolved by, or no longer applies to, the UML 2.5 Beta 1 specification.
Disposition: Closed - No Change