From: Adam Beneschan <adam@irvine.com>
Subject: Re: Question about library-level functions
Date: Mon, 17 Dec 2012 11:49:41 -0800 (PST)
Date: 2012-12-17T11:49:41-08:00 [thread overview]
Message-ID: <1a56bd55-0e11-4a62-866f-51ebfcf01c88@googlegroups.com> (raw)
In-Reply-To: <1d71f931-42ff-45aa-8ad2-69cae4980917@googlegroups.com>
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 ultimately 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 object that gets allocated should be finalized when A disappears, i.e. at the end of the block that declares A. I could easily be wrong.
-- Adam
next prev parent reply other threads:[~2012-12-17 19:49 UTC|newest]
Thread overview: 17+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-12-15 3:38 Question about library-level functions ytomino
2012-12-15 9:47 ` AdaMagica
2012-12-15 10:50 ` ytomino
2012-12-15 11:38 ` AdaMagica
2012-12-17 19:49 ` Adam Beneschan [this message]
2012-12-18 2:26 ` ytomino
2012-12-15 15:23 ` sbelmont700
2012-12-16 6:09 ` ytomino
2012-12-16 9:43 ` Simon Wright
2012-12-16 10:21 ` AdaMagica
2012-12-16 13:07 ` ytomino
2012-12-16 18:31 ` Simon Wright
2012-12-18 3:18 ` ytomino
2012-12-18 0:07 ` Randy Brukardt
2012-12-16 13:34 ` ytomino
2012-12-16 15:54 ` AdaMagica
2012-12-18 0:09 ` Randy Brukardt
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox