comp.lang.ada
 help / color / mirror / Atom feed
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.

             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