Visibility lists in Object-Z

Thread View: comp.specification.z

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Wilhelm Hasselbring Fri, 16 Oct 1992 14:22

#84

Author: Wilhelm Hasselbring
Date: Fri, 16 Oct 1992 14:22

28 lines
1472 bytes


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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads