Re: multiple delay alternative

[Bojan Bozovic <bozovic.bojan@gmail.com>]

On Sunday, March 4, 2018 at 7:22:58 PM UTC+1, Mehdi Saada wrote:
> Hello !
> 
> In https://perso.telecom-paristech.fr/pautet/Ada95/chap28.htm, Ada tutorial's paragraph on the delayed rendezvous, it says the general form of this construct is:
> select 
>          delay <time>;
>          <entry call>;
>     or 
>          delay <time>;
>          <entry call>;
>     or
>          delay <time>;
>          <entry call>;
>     end select;
> 
> But in the RM timed entry calls are featured like this:
> timed_entry_call ::= 
>   select
>    entry_call_alternative
>   or
>    delay_alternative
>   end select;
> 
> What should I understand ?
> I have trouble understanding the first construct, otherwise than "if nothing happens before n seconds, do that, AND THEN, if nothing happens before n2 seconds, do that, etc... as if
> select
>      delay 11.0;
>      A;
> or
>      delay 12.0
>      B;
> end select;
> 
> is equivalent to
> delay 10.0
> select
>      delay 1.0;
> or
>      delay 2.0;
> end select;
> But it's likely that I didn't guess right.

Thank you Robert Eachus for this explanation, I have bookmarked this topic to use it for future reference. When I delve further into tasking, this will be of use to me, I hope.