comp.lang.ada
 help / color / mirror / Atom feed
From: Simon Wright <simon@pushface.org>
Subject: Re: multiple delay alternative
Date: Mon, 05 Mar 2018 23:28:03 +0000
Date: 2018-03-05T23:28:03+00:00	[thread overview]
Message-ID: <ly4lluhzlo.fsf@pushface.org> (raw)
In-Reply-To: 90838aa0-bd51-4913-b0cf-1ded5024c151@googlegroups.com

Mehdi Saada <00120260a@gmail.com> writes:

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

The text in the tutorial is wrong, because the text immediately above it

    "Bill is not quite as hungry for his second meal so he is willing to
    wait for a short period at the restaurant, but if he is not served
    within one tenth of an hour, he will go to the Burger Boy for
    lunch. The single statement in lines 35 through 40 replaces the
    single statement in the previous program. In Ada terms, the task
    named Bills_Day will wait .1 hour for the Restaurant task to reach
    its entry point, after which it will call the entry point of
    Burger_Boy and wait no matter how long it takes to be served there."

shows that it's discussing entry *calls* and, as you note, there can
only be one delay alternative.

The sample code([1], from the "The Delayed Entrypoint" section, clearly
shows this.

[1] https://perso.telecom-paristech.fr/pautet/Ada95/e_c28_p3.ada


  parent reply	other threads:[~2018-03-05 23:28 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
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 [this message]
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