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,FREEMAIL_FROM autolearn=unavailable autolearn_force=no version=3.4.4 X-Received: by 10.224.171.72 with SMTP id g8mr18847166qaz.7.1376171120455; Sat, 10 Aug 2013 14:45:20 -0700 (PDT) X-Received: by 10.49.97.72 with SMTP id dy8mr487592qeb.11.1376171120431; Sat, 10 Aug 2013 14:45:20 -0700 (PDT) Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!usenet.blueworldhosting.com!feeder02.blueworldhosting.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!fx3no1925740qab.0!news-out.google.com!he10ni1415qab.0!nntp.google.com!fx3no1925736qab.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Sat, 10 Aug 2013 14:45:20 -0700 (PDT) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=91.7.43.122; posting-account=rmHyLAoAAADSQmMWJF0a_815Fdd96RDf NNTP-Posting-Host: 91.7.43.122 User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <90b5c304-417e-4303-931c-e86d34e17541@googlegroups.com> Subject: Questions on Storage Pools From: AdaMagica Injection-Date: Sat, 10 Aug 2013 21:45:20 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Received-Bytes: 2610 Xref: news.eternal-september.org comp.lang.ada:16792 Date: 2013-08-10T14:45:20-07:00 List-Id: This is a question to language lawyers. First two citations: RM 13.11(18) If Storage_Size is specified for an access type, then the Stor= age_Size of this pool is at least that requested, and the storage for the p= ool is reclaimed when the master containing the declaration of the access t= ype is left. RM 7.6.1(11.1/3) Each nonderived access type T has an associated *collectio= n*, which is the set of objects created by allocators of T ... Finalization= of a collection consists of finalization of each object in the collection,= in an arbitrary order. The collection of an access type is an object impli= citly declared at the following place: (11.2/3) For a named access type, the first freezing point (see 13.14) of t= he type. So, IIUC 7.6.1, if the master of an access type is left, all still existing= objects in the collection are finalized. (Note that these paragraphs and t= he definition of *collection* are new in Ada 2012.) However 13.11 seems to say that this is the case only for access types with= Storage_Size defined. Further: If several access types use the same (user defined) storage pool, = and the master of one of them is left (i.e. this access type has a deeper a= ccess level than the others and also deeper than the storage pool itself), = is then the associated collection (i.e. a part of all objects allocated in = the storage pool) finalized? In other words: Is the collection of an access type with a defined storage = pool part of this pool and finalized separately? I would be very thankful for clarification. C. Grein