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

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

Markus Schoepflin wrote:
> 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?
>>
> 
> And one more question, can I have a dispatching procedure that doesn't 
> explicitly use the type it dispatches on?

No, as there is no implicit "this" parameter in Ada (and no syntactic 
brackets to group all the operations of a type). To make an operation 
overridable (a "primitive operation" in Ada terms) you have to include 
one or more parameters of the type (or of "access" to the type) or it 
must return a value of the type (or "access" to the type). And moreover 
the operation must be declared in the same package declaration as the type.

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