CVS difference for ai12s/ai12-0331-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0331-1.txt

--- ai12s/ai12-0331-1.txt	2019/05/07 22:52:47	1.1
+++ ai12s/ai12-0331-1.txt	2019/05/10 23:38:58	1.2
@@ -1,10 +1,12 @@
-!standard 13.11.5(5/3)                                    19-05-07  AI12-0331-1/01
+!standard 13.11.5(5/3)                                    19-05-10  AI12-0331-1/02
 !standard 13.11.5(6/3)
 !standard 13.11.5(7/3)
 !standard 13.11.5(7.1/4)
 !standard 13.11.5(8/3) 
 !standard 13.11.5(9/3) 
 !class binding interpretation 19-05-07
+!status Amendment 1-2012 19-05-09
+!status ARG Approved 9-0-0  19-05-09
 !status work item 19-05-07
 !status received 19-04-03
 !priority Low
@@ -41,7 +43,7 @@
 
    Deallocate_Subpool(Pool_of_Subpool(Subpool).all, Subpool);
 
-4. The subpool no longer belongs to any pool.
+4. The subpool ceases to  belong to any pool.
 
 !discussion
 
@@ -49,13 +51,55 @@
 mind. The rules for finalization of a subpool should use a similar order.
 
 Finalization of objects has to happen before they cease to exist. The objects
-have to ceasee to exist before any memory is deallocated (meaning that has
+have to cease to exist before any memory is deallocated (meaning that has
 to happen before Deallocate_Subpool is called).
 
 Deallocate_Subpool has to be called before the subpool no longer belongs to 
 any pool, because severing that connection would cause Pool_of_Subpool to
 return null. Thus we get the order given above.
 
+!corrigendum 13.11.5(5/3)
+
+@drepl
+Finalization of a subpool has the following effects:
+@dby
+Finalization of a subpool has the following effects in the given order:
+
+!corrigendum 13.11.5(6/3)
+
+@ddel
+@xbullet<The subpool no longer belongs to any pool;>
+
+!corrigendum 13.11.5(7/3)
+
+@drepl
+@xbullet<Any of the objects allocated from the subpool that still exist
+are finalized in an arbitrary order;>
+@dby
+@xhang<@xterm<1.>Any of the objects allocated from the subpool that still 
+exist are finalized in an arbitrary order;>
+
+!corrigendum 13.11.5(7.1/4)
+
+@drepl
+@xbullet<All of the objects allocated from the subpool cease to exist;>
+@dby
+@xhang<@xterm<2.>All of the objects allocated from the subpool cease to 
+exist;>
+
+!corrigendum 13.11.5(8/3)
+
+@drepl
+@xbullet<The following dispatching call is then made:>
+@dby
+@xhang<@xterm<3.>The following dispatching call is then made:>
+
+!corrigendum 13.11.5(9/3)
+
+@dinsa
+@xindent<@fc<    Deallocate_Subpool(Pool_of_Subpool(Subpool).@b<all>, Subpool);>>
+@dinst
+@xhang<@xterm<4.>The subpool ceases to belong to any pool.>
 !ASIS
 
 No ASIS effect.

Questions? Ask the ACAA Technical Agent