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

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Fri, 20 Nov 2009 14:43:45 +0100, Markus Schoepflin wrote:

> So If I understand this correctly, if I want dispatching to happen on a 
> given type, I always need to use the class type?

Exactly.

This helps both the compiler to make the program much more efficient by
eliminating unnecessary dispatch and you indicating the design problems
like this and making it safer in the opposite cases:

Consider the case where one non-abstract operation calls another:

    type FOO is abstract tagged null record;
    procedure P (THIS : in out FOO);
    procedure A (THIS : in out FOO);

...
    procedure P (THIS : in FOO) is
    begin
        ...
        A (THIS);
           -- This is a part of the implementation of P for the type FOO
        ...
    end P;

Here the call to A does not dispatch. In other language like C++ it would.

Now consider a type derived from FOO, that overrides A, but inherits P.
That could break the implementation of P in C++, but not in Ada, where P
will behave exactly as it did before.

When you design P you should decide whether it is a class-wide subprogram
or not. That role of P will define the behavior of calls to A from its
body. Sometimes the compiler can detect that the declared role of P does
not match its implementation, as it was in your case.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de