Re: embed accept statement in procedures not possible?

[Jean-Pierre Rosen <rosen@adalog.fr>]

Gerd a �crit :
> My code (schematic only):
> 
> task t is
>   entry e;
> end t;
> 
> 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?
> 
True. An accept statement must be *immediately* within a task body, not 
in anything enclosed in the task body.

That rule is necessary to ensure that a task can accept only its own 
entries. Your example is of course very simple, but consider that a task 
can be included in another task. What if Inner_Task called your P procedure?
-- 
---------------------------------------------------------
            J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr