[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

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