Re: Language lawyer question: task activation

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

Dmitry A. Kazakov a �crit :

> I.e. the behaviour of X declared of being TType depends on where it is
> declared. That's great. Let us consider this:
> 
As it has always been. You cannot rendezvous with a task until it's
activated. A task is activated after the "begin" for the frame where it
is declared. Therefore yes, behaviour depends on where the task is declared.

>    function Func return TType is
>       function Func_Func return TType is
>       begin
>          return X : TType;
>       end Func_Func;
> 
>       Y : TType := Func_Func;
>    begin
>       return Z : TType := Func_Func do
>          Y.E1; -- This is not like X?
>          Z.E1; -- An this?
>       end return;
>    end Func;
> 
Y is a local object. Z is a name (like a hidden parameter) that
references the object that's being created by the function call. That
object is declared in the /caller/.

-- 
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr