children unity

children unity

[nicolas.b]

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 => ...); --
compilation error ???

can you explain me,

thanks,

Re: children unity

[Martin Krischik]

nicolas.b wrote:

> 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 => ...); --
> compilation error ???

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

But really *any* tutorial tells you that!!

Martin

-- 
mailto://krischik@users.sourceforge.net
Ada programming at: http://ada.krischik.com

Re: children unity

[Ludovic Brenta]

"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.

Re: children unity

[Georg Bauhaus]

nicolas.b wrote:

> 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 => ...); --
> compilation error ???

After you have created an instance of Father, Inst_Father,
you can create an instance of the Children procedure.
But instantiate Inst_Father.Children, not Father.Children.