From: Mehdi Saada <00120260a@gmail.com>
Subject: multiple delay alternative
Date: Sun, 4 Mar 2018 10:22:56 -0800 (PST)
Date: 2018-03-04T10:22:56-08:00 [thread overview]
Message-ID: <90838aa0-bd51-4913-b0cf-1ded5024c151@googlegroups.com> (raw)
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.
next reply other threads:[~2018-03-04 18:22 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-03-04 18:22 Mehdi Saada [this message]
2018-03-05 0:21 ` multiple delay alternative Mehdi Saada
2018-03-05 4:08 ` Bojan Bozovic
2018-03-05 10:17 ` Robert Eachus
2018-03-05 8:15 ` Dmitry A. Kazakov
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