interface type question

interface type question

[Georg Bauhaus]

hi,
clause 3.9.4 about Interface Types in Amendment-D12.html
has an example where a Queue interfaces is parenting a
Synchronized_Queue interface. An explaining paragraph
follows and says, "The Synchronized_Queue interface ...
adds two additional dispatching operations."

But does it add any dispatching operation to Synchronized_Queue?

"type Queue is limited interface;
procedure Append(Q : in out Queue; Element : in Person_Name) is abstract;
...

"type Synchronized_Queue is synchronized interface and Queue; -- see 9.11
procedure Append_Wait(Q : in out Queue; Element : in Person_Name) is abstract;
..."

By habit I had assumed that the first parameter of Append_Wait
should be Synchronized_Queue, not Queue. Is this Correct?


http://www.ada-auth.org/ai-files/grab_bag/Amendment-D12.html
(big)

-- Georg 

Re: interface type question

[Randy Brukardt]

It's wrong; someone pointed that out during the reviews at the York ARG
meeting and it has been fixed.
Thanks for pointing it out, though.

               Randy Brukardt, ARG Editor

"Georg Bauhaus" <bauhaus@futureapps.de> wrote in message
news:42f92725$0$6966$9b4e6d93@newsread2.arcor-online.net...
> hi,
> clause 3.9.4 about Interface Types in Amendment-D12.html
> has an example where a Queue interfaces is parenting a
> Synchronized_Queue interface. An explaining paragraph
> follows and says, "The Synchronized_Queue interface ...
> adds two additional dispatching operations."
>
> But does it add any dispatching operation to Synchronized_Queue?
>
> "type Queue is limited interface;
> procedure Append(Q : in out Queue; Element : in Person_Name) is abstract;
> ...
>
> "type Synchronized_Queue is synchronized interface and Queue; -- see 9.11
> procedure Append_Wait(Q : in out Queue; Element : in Person_Name) is
abstract;
> ..."
>
> By habit I had assumed that the first parameter of Append_Wait
> should be Synchronized_Queue, not Queue. Is this Correct?
>
>
> http://www.ada-auth.org/ai-files/grab_bag/Amendment-D12.html
> (big)
>
> -- Georg