Re: point by point advantages of Ada

[Richard Riehle <richard@adaworks.com>]

"Warren W. Gay VE3WWG" wrote:

> I thought that this might work:
>
>     declare
>        V : T'Class := ...
>     begin
>        ...
>        V := Some_Other_Func;  - Dispatching
>     end;
>
> But GNAT (at least) reports that this assignment is "ambiguous"
> and will not compile it. I would have expected that it would
> resolve it at runtime, knowing the current value of V and its
> current tag. Is this consistent with the LRM (IANAL)?

I am not sure if you have tried this, but I often create a function
such as,

             function Get ( ... ) return T'Class;

Then, I initialize the declaration with

             V : T'Class := Get (... );

where the parameter list might be the name of a data structure,
a file, or even a simple array along with the next index.   This
works really well in solving a lot of problems with dispatching.

Richard Riehle