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

[Niklas Holsti <niklas.holsti@tidorum.invalid>]

Markus Schoepflin 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?

Yes. You can do that either by Dmitry's method, declaring the parameter 
as FOO'Class, or by converting a FOO parameter to FOO'Class for the 
call. But note that if an operation has no parameters (and no return 
value) of type FOO (or access FOO), only of FOO'Class, it is not a 
primitive operation of FOO and cannot be overridden in derived types.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .