Re: generics and records

[Jeffrey Carter <spam@spam.com>]

spambox@volja.net wrote:

> in the process of learning Ada, I came to the problem of generics and
> records. I want to instantiate a package with a record type:
> 
> generic
>  type x is private;
> package ...
> private
>  type xx is new x;
> end ...
> 
> When I want to use it:
> 
> type myrecord is
>  ...
> package somename is new seeabove(myrecord);
> 
> I don't know if this is the correct way. The problem is, how do I make
> a component of myrecord available to the package?

The formal part of a generic specifies what the generic needs in order 
to provide its services to its clients. If the generic needs to know 
about the specific components of a specific record type, then it is 
probably too tightly bound to the concept of that record type for it to 
be a formal parameter of the generic.

-- 
Jeff Carter
"Have you gone berserk? Can't you see that that man is a ni?"
Blazing Saddles
38