RE: the 'Extends' clause

["Sahita, Ravi" <ravi.sahita@intel.com>]

Andreas,

What you are specifying here, is using class A as an abstract class which
cannot
be instantiated by itself. You can't specify this by using the EXTENDS 
clause, but you could force this relationship at the implementation level,
i.e an 
instance of A cannot be received/sent if an instance of B OR C with the same
instance id is not received/sent.

Ravi

-----Original Message-----
From: Andreas Polyrakis [mailto:apolyr@cs.toronto.edu]
Sent: Wednesday, March 14, 2001 1:52 PM
To: rap@ops.ietf.org
Subject: the 'Extends' clause


Hi,

one simple question on the SPPI:
Suppose that there is a class A, which is extended by two classes B and C.
It there a way to denote that instances of A MUST be extended by either
an instance of B or an instance of C? So that that for each PRI in A,
either a PRIs in B or in C exist?

thanks in advance,
Andreas