Re: friend classes in ada95

["David Botton" <David@Botton.com>]

The relation to Jean's proposal is the use of the prefix class instead of
tagged.

My additions if I can relate them well enough for some one to understand
(and perhaps that person would re-write it in a more formal language that
captures the idea, as I am lacking in that department, but always ready to
work on it.) are:

The interface section :

class type X is new Y with
     interface
         A, B
     record
         new_var : abc;
     end record;

This designates that class type X (aka tagged type X) implements interfaces
A and B. It also states that objects of class type X may be cast to objects
of type A'Class and B'Class where A and B are (see below) interface types.

The interface type:

interface type A;
or
interface type A is new F;

This designates an abstract tagged type used to define the subprograms for
the interface.

David Botton


Robert Dewar <robert_dewar@my-deja.com> wrote in message
news:8df6fb$mm3$1@nnrp1.deja.com...

> I find your proposal very confusing, and I perfectly understand
> interface inheritance. I think you need to properly fill out
> your proposal and describe it in RM terms so that we can have
> some chance of understanding what you are talking about.
>
> It looks like a real mishmash of ideas to me, but perhaps that's
> because it is unclear.