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

Differences between 1.16 and version 1.17
Log of other versions for file ai05s/ai05-0051-1.txt

--- ai05s/ai05-0051-1.txt	2011/06/04 01:27:15	1.16
+++ ai05s/ai05-0051-1.txt	2011/06/20 04:55:16	1.17
@@ -924,20 +924,31 @@
 of its finalization cease to @i<exist>, as do any types and subtypes defined
 and created within the master.
 @dby
-The order in which the finalization of a master performs finalization of
-objects is as follows: Objects created by declarations in the master are
-finalized in the reverse order of their creation. For objects that were
-created by @fa<allocator>s for a named access type whose ultimate ancestor is
-declared in the master, this rule is applied as though each such object that
-still exists had been created in an arbitrary order at the first freezing
-point (see 13.14) of the ultimate ancestor type; the finalization of these
-objects is called the @i<finalization of the collection>.
-Objects created by @fa<allocator>s for an anonymous access
-type that are not coextensions of some other object, are finalized
-in an arbitrary order during the finalization of their associated
-master. After the finalization of a master is complete, the
-objects finalized as part of its finalization cease to @i<exist>, as
-do any types and subtypes defined and created within the master.
+The finalization of a master performs finalization of objects created by
+declarations in the master in the reverse order of their creation.
+After the finalization of a master is complete, the objects finalized as part of
+its finalization cease to @i<exist>, as do any types and subtypes defined and
+created within the master.
+
+Each nonderived access type @i<T> has an associated @i<collection>, which is the set
+of objects created by @fa<allocator>s of @i<T>, or of types derived from @i<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:
+
+@xbullet<For a named access type, the first freezing point (see 13.14) of
+the type.>
+
+@xbullet<For the type of an access parameter, the call that contains the
+@fa<allocator>.>
+
+@xbullet<For the type of an access result, within the master of the call
+(see 3.10.2).>
+
+@xbullet<For any other anonymous access type, the first freezing point of
+the innermost enclosing declaration.>
+
 
 !corrigendum 13.11(25.2/2)
 

Questions? Ask the ACAA Technical Agent