In an Ada select alternative, an accept-statement can be followed by more statements. For example, in the bounded buffer solution in Ada, we wrote: Note that bufferSize is incremented outside the...

In an Ada select alternative, an accept-statement can be followed by more statements. For example, in the bounded buffer solution in Ada, we wrote:

Note that bufferSize is incremented outside the accept statement. Is there a reason for this? Could the statement be put inside the accept? Could the statement store(bufferEnd) := ch be moved out of the accept? Why?