|Package::makesVisible insufficiently defined as OCL? [message #626149]
||Fri, 07 March 2008 19:17
| Felix Dorner
Registered: July 2009
I got another doubt about the superstructure spec. The Operation
Package::makesVisible() is defined on page 108. The text says:
The query makesVisible() defines whether a Package makes an element
visible outside itself. Elements with no visibility
and elements with public visibility are made visible.
The OCL definition is, as I understand it, lacking the check for el's
-- case: the element is in the package itself
-- the treats package imports
This says: If el is an ownedMember, then makesVisible(el) is true. No
matter if el's visibility is private, public, or absent! So - contrary
to the text - owned members with private visibility are also made visible!
Comments are so much welcome...
Powered by FUDForum
. Page generated in 0.01786 seconds