Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Modeling » UML2 » Package::makesVisible insufficiently defined as OCL?
Package::makesVisible insufficiently defined as OCL? [message #626149] Fri, 07 March 2008 19:17
Felix Dorner is currently offline Felix DornerFriend
Messages: 676
Registered: July 2009
Senior Member
Hey,

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
visibility status:

pre: self.member->includes(el)
makesVisible =
-- case: the element is in the package itself
(ownedMember->includes(el)) or

-- 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...

Felix
Previous Topic:[Announce] UML2 Tools at EclipseCon 2008
Next Topic:[Announce] MDT UML2 2.0.5 M200802262248 is available
Goto Forum:
  


Current Time: Tue Aug 16 04:37:16 GMT 2022

Powered by FUDForum. Page generated in 0.01786 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top