Handling derived types

Thread View: comp.specification.z

1 messages

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

1 total messages Started by Yasushi Saito Thu, 15 Oct 1992 07:47

#82

Author: Yasushi Saito
Date: Thu, 15 Oct 1992 07:47

19 lines
1074 bytes

  Hello. I am a new user of Z and I have a question about handling
derived types in Z.  Suppose there is a class A, and also, class B and
C derived from A (the below example is written in C++).

  class A {          class B : public A {       class C : public A {
    ..                 ..                         ..
    some_op();       };                         };
  };       

  A::some_op can process objects of either class B or C, but accesses
only the components of A, leaving other components of B or C unchanged.

  My question is that how I can write the specification of operations
  like some_op(). 

--
Yasushi Saito
  Access Co. Ltd.  Tokyo, Japan.

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