Requeue and IN OUT parameters

[adam@irvine.com]

I have a couple more questions about protected objects.  Here's the first 
question; the second will be in a separate post.

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?  Is the value E2 sees the original value of Count, the
incremented value, or implementation-dependent?

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

				-- thanks, Adam

 -----  Posted via NewsOne.Net: Free (anonymous) Usenet News via the Web  -----
  http://newsone.net/ -- Free reading and anonymous posting to 60,000+ groups
   NewsOne.Net prohibits users from posting spam.  If this or other posts
made through NewsOne.Net violate posting guidelines, email abuse@newsone.net