Re: What makes a procedure call 'dispatching' in Ada?

["RasikaSrinivasan@gmail.com" <rasikasrinivasan@gmail.com>]

On Nov 20, 8:43 am, Markus Schoepflin <nos...@no.spam> wrote:
> Dmitry A. Kazakov wrote:
>
> [...]
>
> Thanks for you swift and helpful reply.
>
> > If P is to be defined in terms of any type from the class FOO, then P has
> > to be declared differently (class-wide):
>
> So If I understand this correctly, if I want dispatching to happen on a
> given type, I always need to use the class type?
>
> Regards,
> Markus

I dont know if the following will clarify or muddle but still here it
goes :

In your original case, the procedure P was defined only for FOO for
which there is no A defined.

On the other hand in Dmitry's modification  P is defined for the whole
family rooted in FOO ie FOO'Class. So A becomes dispatching.

I think there is nothing wrong with the declaration of A and nothing
for the compiler to complain about.

HTH. regards, srini