Re: Interfaces

[adam@irvine.com]

Florian Weimer wrote:
> Suppose there are two interface types, J1 and J2, and the following
> dispatching subprogramms:
>
>   procedure Foo (Obj : J1);
>   procedure Foo (Obj : J2;
>
> T implements both J1 and J2, and provides a body for
>
>   procedure Foo (Obj : T);
>
> As far as I understand the Ada 200x spec, this subprogram declaration
> overrides both versions of Foo, such that
>
>   Foo ((J1 (T_Obj));
>   Foo ((J2 (T_Obj));
>
> invoke the same subprogram.  Is this correct?

Unless I've missed something, the above two statements aren't
dispatching calls, so I don't think the overriding subprogram provided
for T would be called.  Maybe this is more in line with what you're
thinking of?

    Foo ((J1'Class (T_Obj));
    Foo ((J2'Class (T_Obj));

                                   -- Adam