Interfaces and Generics?

Interfaces and Generics?

[chris]

Hi,

Will Ada 200x (Ada XP ;) )  revise generics for the new interfaces that 
will be present?  I expect so, but I thought I'd ask anyway.

For example, will you be able to specify that a generic package only 
deals with something that implements two (or more) given interfaces?


Just Curious,
Chris

Re: Interfaces and Generics?

[Robert I. Eachus]

chris wrote:
> Hi,
> 
> Will Ada 200x (Ada XP ;) )  revise generics for the new interfaces that 
> will be present?  I expect so, but I thought I'd ask anyway.
> 
> For example, will you be able to specify that a generic package only 
> deals with something that implements two (or more) given interfaces?

If I understand you correctly, you would like to be able to say:

generic
   type Foo is new A with B, C;
package Bar is...

If so, it is a very good question.  I don't think it is currently part 
of the proposal.  I am also not sure how useful it would be, but it 
would certainly be a good idea for orthogonality reasons.

-- 
                                               Robert I. Eachus

"As far as I'm concerned, war always means failure." -- Jacques Chirac, 
President of France
"As far as France is concerned, you're right." -- Rush Limbaugh

Re: Interfaces and Generics?

[Lutz Donnerhacke]

* Robert I. Eachus wrote:
> If I understand you correctly, you would like to be able to say:
>
> generic
>    type Foo is new A with B, C;
> package Bar is...
>
> If so, it is a very good question.  I don't think it is currently part
> of the proposal.  I am also not sure how useful it would be, but it
> would certainly be a good idea for orthogonality reasons.

What about 'type Foo is new A, B, C with private;'?

Re: Interfaces and Generics?

[Randy Brukardt]

"> chris wrote:
> Hi,
>
> Will Ada 200x (Ada XP ;) )  revise generics for the new interfaces that
> will be present?  I expect so, but I thought I'd ask anyway.
>
> For example, will you be able to specify that a generic package only
> deals with something that implements two (or more) given interfaces?

Yes. Interfaces are both supported in formal derived types and with a new
formal interface type.

BTW, the syntax of the examples that Robert Eachus has been giving is all
wrong. Look at the AI itself to see the syntax:
http://www.ada-auth.org/cgi-bin/cvsweb.cgi/AIs/AI-00251.TXT. (Note: I've got
a new version that will be posted soon.)

                        Randy.