Re: children unity

[Ludovic Brenta <ludovic@ludovic-brenta.org>]

"nicolas.b" <nicolas.blanpain@fr.thalesgroup.com> writes:
> this is an example :
>
> generic
>    type Toto is private;
> package Father is
> ...
> end Father;
>
> generic
>    type Titi is private;
> procedure Father.Children (...);
>
> My question : How can i use the children unity Father.Children ?
> package Inst_Father is new Father (Toto => ...);
> procedure Inst_Children is new Father.Children (Titi => ...); --

procedure Inst_Children is new Inst_Father.Children (Titi => ...);

> compilation error ???
>
> can you explain me,

A child unit cannot be the child of a generic, because the generic
does not exist in the executable program.  Instead, you can have
children of real units which are instances of a generic.

Corollary: any child of a generic unit must also be declared generic,
e.g.

generic
   ...
package P is ...
end P;

generic -- required even if no parameters
package P.Q is
   ...
end P.Q;

HTH

-- 
Ludovic Brenta.