UML 1.4 MAILINGLIST Avatar
  1. OMG Issue

UML14 — UML 2 Super / Classes / makesVisible () operation incorrect

  • Key: UML14-513
  • Legacy Issue Number: 7068
  • Status: closed  
  • Source: Malina Software Corp. ( Bran Selic)
  • Summary:

    there appears to be a bug in the specification with respect to the definition of the makesVisible() OCL query on packages. Here is the OCL expression from the specification (page 100):

    Package::makesVisible(el: Namespaces::NamedElement) : Boolean;
    pre: self.member->includes(el)
    makesVisible = el.visibility->isEmpty() or el.visibility = #public

    As you can see, this definition makes even imported elements visible based on their own visbility rather than the visibility of the import
    relationship. The same applies to elements made visible indirectly via a package import.

  • Reported: XMI 2.0 — Thu, 26 Feb 2004 05:00 GMT
  • Disposition: Resolved — UML 1.4.2
  • Disposition Summary:

    see above

  • Updated: Fri, 6 Mar 2015 20:58 GMT