Re: Sugestion to Multiple Inheritance

[Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov>]

lutz@iks-jena.de (Lutz Donnerhacke) writes:

> * Stephen Leake wrote:
> >lutz@iks-jena.de (Lutz Donnerhacke) writes:
> >>      A -> B     B is an extended A and C is an extended A.
> >>      |    |     D combines both extensions (requiring both).
> >>      v    v
> >>      C -> D
> >
> >I need more information about why C and B need to be independent types.
> 
> They do not need to be types at all. They are abstactions => interfaces.
> Example: A describes a sort algorithm. B describes stableness. C describes
> in-place-ness. D describes stable, in-place sort algorithms.

Well, if they don't have to be types, you can easily do it in Ada. But
all your complaints were that it could not be done with abstract Ada
types. 

-- 
-- Stephe