comp.lang.ada
 help / color / mirror / Atom feed
From: Preben Randhol <randhol+news@pvv.org>
Subject: Re: Entry family
Date: Thu, 21 Nov 2002 12:10:41 +0000 (UTC)
Date: 2002-11-21T12:10:41+00:00	[thread overview]
Message-ID: <slrnatpj9a.6bh.randhol+news@kiuk0152.chembio.ntnu.no> (raw)
In-Reply-To: 3DDCD412.8050208@cnam.fr

evangeli wrote:
> and what about this?
> ---------------------------------------------
> procedure test_index is
>     type Id is mod 10;
>     protected type Prot is
>        entry E (Id);
>     end Prot;
>     protected body Prot is
>         entry E (for B in Boolean) when True is
>         begin
>            null;
>         end;
>     end Prot;
>     P : Prot;
> begin
>     P.E(8);
> end;
> ---------------------------------------------
> 
> does "for b in boolean" return id?

I'm not very familiar with entry families, but as I understand Barnes
text book it gives this example:

entry E (for P in Id) when Barrier_Condition(P) is
   begin
      --  do your thing
   end E;

so when you write "when True" it will always do the code block. But I'm
not sure, you better look up in your text book or wait for the gurus to
clear it up :-)

-- 
Preben Randhol ------------------------ http://www.pvv.org/~randhol/ --
                          �1984 is soon coming to a computer near you.�



  reply	other threads:[~2002-11-21 12:10 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2002-11-21 11:18 Entry family Evangelista Sami
2002-11-21 11:21 ` Preben Randhol
2002-11-21 12:39   ` evangeli
2002-11-21 12:10     ` Preben Randhol [this message]
  -- strict thread matches above, loose matches on Subject: below --
2002-11-21 12:14 Grein, Christoph
2002-11-21 14:18 ` evangeli
2002-11-22  1:30 ` Randy Brukardt
2002-11-22 10:39   ` Preben Randhol
2002-11-23 17:21     ` Simon Wright
2002-11-22  5:29 Grein, Christoph
2002-11-22 10:49 Grein, Christoph
replies disabled

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