Re: A problem with "interface"

[Jacob Sparre Andersen <sparre@nbi.dk>]

Robert_Matthews wrote:

> In using interface types with GNAT I have encountered a problem.
> Consider the following packages:
> 
> package Int is
> 
>    type A is interface;
>    type B is interface;
> 
>    procedure P (Param1 : A; Param2 : B'Class) is abstract;
> 
> end Int;
> 
> with Int;
> package Client is
> 
>    type Client_A is new Int.A with null record;
>    type Client_B is new Int.B with null record;
> 
>    overriding
>    procedure Client_P (Param1 : Client_A; Param2 : Client_B'Class);
> 
> end Client;

What procedure do you expect "Client_P" to override?

If you happen to want to override the procedure "P", you might want to
make sure the profile matches:

   overriding
   procedure P (Param1 : Client_A; Param2 : Int.B'Class);

Greetings,

Jacob
-- 
"They that can give up essential liberty to obtain a little
 temporary safety deserve neither liberty nor safety."
                                        -- Benjamin Franklin