Re: Requeue and IN OUT parameters

[Robert A Duff <bobduff@world.std.com>]

adam@irvine.com writes:

> 9.5.4(11) says that if an entry body completes other than by a
> requeue, the program returns to the caller and any copy-back of
> parameters occurs.  What happens to the parameters if the entry
> body does a requeue?  In this example:
> 
>     protected PR is
>        entry E1 (Count : in out integer);
>        entry E2 (Count : in out integer);
>     end PR;
> 
>     protected body PR is
>        entry E1 (Count : in out integer) when Some_Condition is
>        begin
>            if Blah_Blah_Blah then
>                Count := Count + 1;
>                requeue E2;
>            end if;
>            Do_A_Bunch_Of_Other_Stuff;
>        end E1;
>     . . .
> 
> In this example, does the effect of the statement "Count := Count + 1"
> become lost?

No.

>...  Is the value E2 sees the original value of Count, the
> incremented value, or implementation-dependent?

The incremented value.

> (Actually, I believe this question is pertinent to task entries also.)

Yes, and the answer is the same there.

- Bob