Re: Select + Accept syntax question

[Andrew Shvets <andrew.shvets@gmail.com>]

On Saturday, August 27, 2016 at 3:36:35 PM UTC-4, Jeffrey R. Carter wrote:
> 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

I see, thank you.