Re: Ada 200X Assertions

["Matthew Heaney" <mheaney@on2.com>]

"Lutz Donnerhacke" <lutz@iks-jena.de> wrote in message
news:slrna0seip.kq.lutz@taranis.iks-jena.de...
> I've a list of degenerated compound instantiations for which only a single
> component is relevant. More than this, this same fixed component is shared
> by multiple compound instantiations.

Can you use child generics?

generic
   <whatever>
package GP is
   <foo>
end GP;

generic
   <whatever>
package GP.C_G is
   <bar>
end GP.C_G;

Instantiate the root package:

package P is new GP (<whatever>);

which can now be shared among the child instantiations:

with GP.C_G;
package P.C1 is new P.C_G (<whatever>);

with GP.C_G;
package P.C2 is new P.C_G (<whatever>);

Is this adequate?  What about package parameters?

generic
   with package P is new GP (<>);
package GQ is
   <blah>
end GG;

package P is new GP (<whatever>);

package Q1 is new GQ (P);
package Q2 is new GQ (P);

Will this do the job?

I still don't understand your problem.