From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,90108ed846e3f1bf X-Google-Attributes: gid103376,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news2.google.com!news2.google.com!news.glorb.com!news2.glorb.com!proxad.net!feeder1-2.proxad.net!news.in2p3.fr!in2p3.fr!oleane.net!oleane!hunter.axlog.fr!nobody From: Jean-Pierre Rosen Newsgroups: comp.lang.ada Subject: Re: Language lawyer question: task activation Date: Mon, 23 Feb 2009 08:36:54 +0100 Organization: Adalog Message-ID: References: <1dusr7frk73m7.nlsagplge0hk.dlg@40tude.net> <1xz6q8ho7tkwm.ps609htosrr3$.dlg@40tude.net> NNTP-Posting-Host: mailhost.axlog.fr Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: s1.news.oleane.net 1235368141 17606 195.25.228.57 (23 Feb 2009 05:49:01 GMT) X-Complaints-To: abuse@oleane.net NNTP-Posting-Date: Mon, 23 Feb 2009 05:49:01 +0000 (UTC) User-Agent: Thunderbird 2.0.0.19 (Windows/20081209) In-Reply-To: <1xz6q8ho7tkwm.ps609htosrr3$.dlg@40tude.net> Xref: g2news2.google.com comp.lang.ada:4703 Date: 2009-02-23T08:36:54+01:00 List-Id: 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