Re: generics in Ada 83

["REH" <spamjunk@stny.rr.com>]

Ludovic Brenta wrote:
> "REH" <spamjunk@stny.rr.com> writes:
> > Martin Dowie wrote:
> >> package A is
> >>     type A_T is private;
> >>     procedure Y (Z : A_T);
> >> private
> >>     type A_T is new Integer;
> >> end A;
> >>
> >> generic
> >>     type X is private;
> >>     with procedure Y (Z : X) is <>;
> >> package B is
> >> end B;
> >>
> >> with A; use A;
> >> with B;
> >>
> >> package C is
> >>     new B (A_T);  -- Picks up 'Y' by default
> >>
> >> Cheers
> >>
> >> -- Martin
> >
> > That seems reasonable.  Two questions:
> > 1) If I have Y1 through Yn, Do I define the ones I care about when I
> > instantiate B or do I define then in C, before B?
>
> If there are several Y's to choose from, you must choose at the point
> of instantiation of B:
>
> with A, B;
> package C is new B (X => A.A_T, Y => A.Yn);
>
I'm sorry.  I was not clear.  I meant several Y's to define, but I only
want to define some.  My understanding is I need to instantiate the
ones I care about in C, and the rest will receive the stubs from A.  Is
that correct?

with A, B, D;
package C is new B (X => A.A_T, Y1 => D.Y1, Y3 => D.Y3);

So, if I define things correctly, Y2 will default to A.Y2?