🚀 go-pugleaf

I have a question concerning visibility lists in Object-Z, and hope that this
an appropriate place to ask.

As far as I understand it, visibility lists are used to indicate which
features of an object are available to its clients (users via instantiation),
but not which features of an object are available to its children (users
through inheritance).

Therefore, children always have access to all the features of their parents.
However, children may restrict their access via the keyword 'remove' while
inheriting a class.

My question is: Is it possible in Object-Z to designate some features as
hidden from children?

Thanks for your help, Willi

-------------------------------
W Hasselbring                                   Tel.: (+49 201 183 2168)
University of Essen                             Fax.: (+49 201 183 2419)
Fachbereich Mathematik und Informatik - Software Engineering
Schuetzenbahn 70, 4300 Essen 1, Germany         willi@informatik.uni-essen.de

--
-------------------------------
W Hasselbring, University of Essen              willi@informatik.uni-essen.de