Re: Language lawyer question: task activation

[christoph.grein@eurocopter.com]

On Feb 20, 11:18 am, Robert_Matthews <igno...@ramatthews.free-
online.co.uk> wrote:
> >     task type TType is
> >         entry E1;
> >     end TType;
>
> >     function Func return TType is
> >     begin
> >         return X : TType;
> >     end Func;

> But isn't there another issue here: task types are limited, therefore Func
> is a constructor function, but in what object does it construct its returned

Ada 95: TType is a by-reference-type, Func returns a read-only view.
Ada 2005: Func is build-in-place.

In both cases, the returned object is local to Do_It and disappears as
soon as Do_It returns. Of course for Do_It to be able to return, the
task has to terminate before.