Re: Select + Accept syntax question

["Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>]

On 08/27/2016 11:26 AM, Andrew Shvets wrote:
> 
> Why does this happen?  Why can't I have code right before the accept?  I can
> see a compilation error if there is no accept...

The definition of a selective accept doesn't allow this. This definition is in
ARM 9.7.1(2-7)

http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-9-7-1.html

2
selective_accept ::=
  select
   [guard]
     select_alternative
{ or
   [guard]
     select_alternative }
[ else
   sequence_of_statements ]
  end select;
3
guard ::= when condition =>
4
select_alternative ::=
   accept_alternative
  | delay_alternative
  | terminate_alternative
5
accept_alternative ::=
  accept_statement [sequence_of_statements]
6
delay_alternative ::=
  delay_statement [sequence_of_statements]
7
terminate_alternative ::= terminate;

So the 1st thing after "select [guard]" or "or [guard]" has to be an accept,
delay, or terminate statement.

-- 
Jeff Carter
"Monsieur Arthur King, who has the brain of a duck, you know."
Monty Python & the Holy Grail
09