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
next prev 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