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

--- ai05s/ai05-0189-1.txt	2011/01/25 08:00:08	1.9
+++ ai05s/ai05-0189-1.txt	2011/01/28 03:05:07	1.10
@@ -1,4 +1,4 @@
-!standard D.7 (19.1/2)                                10-10-31  AI05-0189-1/04
+!standard D.7 (19.1/2)                                11-01-27  AI05-0189-1/05
 !standard H.4(23.3/2)
 !standard C.7.1(3/1)
 !standard C.7.1(4)
@@ -11,7 +11,7 @@
 !status received 09-11-03
 !priority Low
 !difficulty Easy
-!subject Restriction No_Standard_Storage_Pools_After_Elaboration
+!subject Restriction No_Standard_Allocators_After_Elaboration
 
 !summary
 
@@ -60,7 +60,7 @@
 
 Add after D.7(19.1/2):
 
-  No_Standard_Storage_Pools_After_Elaboration
+  No_Standard_Allocators_After_Elaboration
 
      Specifies that an allocator using a standard storage pool (see
      13.11) shall not occur within a parameterless library subprogram,
@@ -76,7 +76,7 @@
 
   * the following restrictions defined in D.7: No_Task_Hierarchy,
     No_Abort_Statement, No_Implicit_Heap_Allocation
-    {, No_Standard_Storage_Pools_After_Elaboration}; and
+    {, No_Standard_Allocators_After_Elaboration}; and
 
 !discussion
 
@@ -97,7 +97,7 @@
 
 !examples
 
-** TBD **
+   pragma Restrictions (No_Standard_Allocators_After_Elaboration);
 
 !corrigendum C.7.1(3/1)
 
@@ -155,14 +155,14 @@
 that are queued on an entry. Violation of this restriction
 results in the raising of Program_Error at the point of the call or requeue.>
 @dinss
-@xhang<@xterm<No_Standard_Storage_Pools_After_Elaboration>>
-Specifies that an allocator using a standard storage pool (see
+@xhang<@xterm<No_Standard_Allocators_After_Elaboration>>
+Specifies that an @fa<allocator> using a standard storage pool (see
 13.11) shall not occur within a parameterless library subprogram,
 nor within the @fa<handled_sequence_of_statements> of a task body. For
-the purposes of this rule, an allocator of a type derived from a
+the purposes of this rule, an @fa<allocator> of a type derived from a
 formal access type does not use a standard storage pool.
 
-@xindent<At run-time, Storage_Error is raised if an allocator using a
+@xindent<At run-time, Storage_Error is raised if an @fa<allocator> using a
 standard storage pool is evaluated after the elaboration of the
 @fa<library_item>s of the partition has completed.>
 
@@ -174,7 +174,7 @@
 @dby
 @xbullet<the following restrictions defined in D.7: No_Task_Hierarchy,
 No_Abort_Statement, No_Implicit_Heap_Allocation,
-No_Standard_Storage_Pools_After_Elaboration; and>
+No_Standard_Allocators_After_Elaboration; and>
 
 !ACATS test