Re: Dynamic binding

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

On 12-04-13 23:55 , Dmitry A. Kazakov wrote:
> On Fri, 13 Apr 2012 13:13:17 -0700 (PDT), Katarina Olsson wrote:
>
>> I have a question about dispatching in Ada. As we know, methods in
>> java are always called on their objects. Let say that we have a class
>> Parent with methods a() and b(), where a calls b like this:
>>
>> class Parent{
>>
>> public void a() {
>> System.out.println("parent a");
>> b();
>> }

As Dmitry explained, in Java the call b() (re)dispatches, while in Ada 
is does not; if you want redispatch in Ada, you must ask for it by using 
a class-wide type.

Dmitry explained well the Ada alternatives. However, not all Ada users 
agree with Dmitry's view that redispatching is unsafe. I often use 
redispatching to get the behaviour I want. Of course, the user of an 
operation must be aware of which operations use redispatching, so 
redispatching behaviour must be documented in the descriptions of the 
operations.

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