Re: Trouble with overriding and class-wide parameters

[Yves Bailly <kafka.fr@laposte.net>]

Dmitry A. Kazakov wrote:
> What are you trying to achieve? The code looks wrong to me. Why are you
> using access types in a procedure? Why do you want to overload two
> different Setup? If the second parameter has to be covariant then Ada does
> support it:

It's only a very reduced sample code, extracted from a much larger
code base. The particular needs for access types are specific to
this code base. That said, replace any "not null access" for the
first parameters with "in out" and you'll get the same effect. The
second parameter *has* to be an access type, as it can be null
on purpose. See it as "parent object", in a tree-like structure
(just to give an idea).

I understand all of this might seem a little bit odd, now I really
would like to understand what happens and why it's not the second
Setup() (from Sub_Pkg) which is called.

Regards,

-- 
(o< | Yves Bailly  : http://kafka-fr.net   | -o)
//\ | Linux Dijon  : http://www.coagul.org | //\
\_/ |                                      | \_/`