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,2153d570c2f03e29 X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.66.90.67 with SMTP id bu3mr3696161pab.45.1355773781410; Mon, 17 Dec 2012 11:49:41 -0800 (PST) Received: by 10.50.222.132 with SMTP id qm4mr6043716igc.5.1355773781368; Mon, 17 Dec 2012 11:49:41 -0800 (PST) Path: 6ni44385pbd.1!nntp.google.com!kt20no9682592pbb.1!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Mon, 17 Dec 2012 11:49:41 -0800 (PST) In-Reply-To: <1d71f931-42ff-45aa-8ad2-69cae4980917@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=66.126.103.122; posting-account=duW0ogkAAABjRdnxgLGXDfna0Gc6XqmQ NNTP-Posting-Host: 66.126.103.122 References: <7ad8ab3a-2a17-44d0-a64f-4cfb1288dc1c@googlegroups.com> <565c0f25-e620-4875-9248-2371a874d345@googlegroups.com> <1d71f931-42ff-45aa-8ad2-69cae4980917@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <1a56bd55-0e11-4a62-866f-51ebfcf01c88@googlegroups.com> Subject: Re: Question about library-level functions From: Adam Beneschan Injection-Date: Mon, 17 Dec 2012 19:49:41 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2012-12-17T11:49:41-08:00 List-Id: On Saturday, December 15, 2012 3:38:44 AM UTC-8, AdaMagica wrote: > But I'm not sure who the master is of the anonymous access type declared = with function Alloc. It should be the environment task, just as that is ult= imately the master of any library unit (be it a package or a subprogram). There were some rule changes in Ada 2012 in 3.10.2 and 7.6.1, and I haven't= yet studied them all. But my initial reading is that since the anonymous = access function result is converted to a named access type A, then the obje= ct that gets allocated should be finalized when A disappears, i.e. at the e= nd of the block that declares A. I could easily be wrong. -- Adam