CVS difference for ai05s/ai05-0190-1.txt

--- ai05s/ai05-0190-1.txt	2011/03/05 06:51:41	1.13
+++ ai05s/ai05-0190-1.txt	2011/03/17 02:28:19	1.14
@@ -1,4 +1,4 @@
-!standard 13.11.3(0)                                11-02-10  AI05-0190-1/09
+!standard 13.11.3(0)                                11-03-16  AI05-0190-1/10
 !standard 7.6.1(11/3)
 !standard H.4(8.1/3)
 !class amendment 09-11-03
@@ -47,13 +47,12 @@
 its finalization cease to exist, as do any types and subtypes defined and created
 within the master.
 
-Each nonderived access type has an associated "collection", which is the set of objects
-created by allocators of the type, or of types derived from the type.
-Unchecked_Deallocation removes the object from its collection.
-(A coextension of an object X is an element of the same collection as X, if any.)
-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 implicitly declared
-at the following place:
+Each nonderived access type T has an associated "collection", which is the set
+of objects created by allocators of T, or of types derived from T.
+Unchecked_Deallocation removes an object from its collection. 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 implicitly
+declared at the following place:
 
     - For a named access type, the first freezing point (see 13.14) of
       the type.
@@ -61,15 +60,19 @@
     - For the type of an access parameter, the call that contains the
       allocator.
 
+    - For the type of an access result, at the place where the accessibility
+      level is determined by the point of call (see 3.10.2).
+[Note: This is a reference to AI05-0234-1.]
+
     - For any other anonymous access type, the first freezing point of
       the innermost enclosing declaration.
 
-AARM Note: The place of the implicit declaration determines when allocated objects are
-finalized. For multiple collections declared at the same place, we do not define the
-order of their implicit declarations.
+AARM Note: The place of the implicit declaration determines when allocated
+objects are finalized. For multiple collections declared at the same place, we
+do not define the order of their implicit declarations.
 
-Remove the AARM notes 3.3.2(38.i), 3.10(26.b), 13.11(43.b) as they talk about the
-Ada 83 definition of "collection" -- which would be just confusing now.
+Remove the AARM notes 3.3.2(38.i), 3.10(26.b), 13.11(43.b) as they talk about
+the Ada 83 definition of "collection" -- which would be just confusing now.
 
 Renumber section 13.11.3, "Pragma Controlled" to be 13.11.4.
 Add a new section:
@@ -3439,5 +3442,15 @@
           concept - hence the different name.
 
 [End list of removed AARM annotations.]
+
+****************************************************************
+
+From: Bob Duff
+Sent: Wednesday, March 16, 2011  4:44 PM
+
+New version of AI05-0190-1, Global storage pool controls. [This is version /10
+of the AI - Editor.]
+
+Thanks you, Steve, for your help!
 
 ****************************************************************