Re: generic child package

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

On 23 Jul 2006 10:57:06 -0700, nblanpain@hotmail.com wrote:

> yes excuse me :
> 
> generic
>    type T_Toto is private;
> 
> but are you sur it is :
>  with P_Child1 is new Parent.Child1;
> and not
> with P_Child1 is new Parent.Child1 (<>);

Side comment. Both are wrong. It must be "with package <formal-name> is
..".

The box (<>) indicates that the parameters of a package instance could be
any. Parent.Child1 does not have parameters of its own, so no box.

In (rare) case you wished to pass P_Child1, child of a *different* instance
of Parent, you would pass its Parent as well:

with Parent.Child1;

generic
   with package P is new Parent (<>);
       -- Parent has parameters, we don't care which, so the box
   with package P_Child1 is new P.Child1;
       -- Note, how P_Child1 refers to P, an instance of Parent potentially
       -- different from the parent of Child2
package Parent.Child2 is
   type T_Child2 is new P_Child1.T_Child1 with null record;
end Parent.Child2;

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