From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Subject: Re: embed accept statement in procedures not possible?
Date: Fri, 04 May 2007 18:03:07 +0100
Date: 2007-05-04T18:03:07+01:00 [thread overview]
Message-ID: <C26125DB.A99CF%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: 1178291081.936739.131740@c35g2000hsg.googlegroups.com
On 4/5/07 16:04, in article
1178291081.936739.131740@c35g2000hsg.googlegroups.com, "Gerd"
<GerdM.O@t-online.de> wrote:
> task body t is
> procedure p is
> begin
> accept e;
> end p;
> begin
> p;
> end t;
>
> GNAT tells me: "enclosing body for accept must be a task". But - the
> accept in procedure p _is_ in a task. So why is this not allowed?
Because it is not legal Ada.
See Ada (2005) Reference Manual Section 9.5.1, thus:
> For an accept_statement, the innermost enclosing body shall be a task_body,
IOW, the accept must not be in a body nested within the task body,
it must be *immediately* within the task body.
--
Bill Findlay
<surname><forename> chez blueyonder.co.uk
next prev parent reply other threads:[~2007-05-04 17:03 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2007-05-04 15:04 embed accept statement in procedures not possible? Gerd
2007-05-04 16:58 ` Jean-Pierre Rosen
2007-05-04 19:45 ` Adam Beneschan
2007-05-09 7:12 ` Jean-Pierre Rosen
2007-05-09 14:56 ` Adam Beneschan
2007-05-10 11:43 ` Jean-Pierre Rosen
2007-05-10 17:26 ` Pascal Obry
2007-05-04 17:03 ` (see below) [this message]
2007-05-04 21:22 ` adaworks
2007-05-05 23:54 ` Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox