comp.lang.ada
 help / color / mirror / Atom feed
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Subject: Re: multiple delay alternative
Date: Mon, 5 Mar 2018 09:15:11 +0100
Date: 2018-03-05T09:15:11+01:00	[thread overview]
Message-ID: <p7iuaf$101h$1@gioia.aioe.org> (raw)
In-Reply-To: 90838aa0-bd51-4913-b0cf-1ded5024c151@googlegroups.com

On 04/03/2018 19:22, Mehdi Saada wrote:

> 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;

I looks like a confusion between the selective accept (9.7.1) and the 
timed entry call (9.7.1). AFAIK the former can have multiple delay 
alternatives the latter naturally cannot.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de

  parent reply	other threads:[~2018-03-05  8:15 UTC|newest]

Thread overview: 23+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2018-03-04 18:22 multiple delay alternative Mehdi Saada
2018-03-05  0:21 ` Mehdi Saada
2018-03-05  4:08 ` Bojan Bozovic
2018-03-05 10:17   ` Robert Eachus
2018-03-05  8:15 ` Dmitry A. Kazakov [this message]
2018-03-05  9:23 ` AdaMagica
2018-03-05 10:32 ` Bojan Bozovic
2018-03-05 13:50 ` Mehdi Saada
2018-03-05 14:35   ` Dmitry A. Kazakov
2018-03-05 15:09     ` Mehdi Saada
2018-03-06 11:05       ` Dmitry A. Kazakov
2018-03-05 17:37   ` Jeffrey R. Carter
2018-03-05 23:28 ` Simon Wright
2018-03-06  0:11   ` Anh Vo
2018-03-06  1:50 ` Mehdi Saada
2018-03-06  6:00   ` Robert Eachus
2018-03-06  6:03   ` J-P. Rosen
2018-03-06 16:36   ` Jeffrey R. Carter
2018-03-06 10:31 ` Mehdi Saada
2018-03-06 11:18   ` Dmitry A. Kazakov
2018-03-06 13:43     ` Mehdi Saada
2018-03-06 15:17       ` Dmitry A. Kazakov
2018-03-06 20:06       ` Randy Brukardt
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox