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

Differences between 1.5 and version 1.6
Log of other versions for file ai05s/ai05-0189-1.txt

--- ai05s/ai05-0189-1.txt	2010/11/13 03:31:35	1.5
+++ ai05s/ai05-0189-1.txt	2010/11/13 03:37:45	1.6
@@ -1,4 +1,4 @@
-!standard D.7 (19.1/2)                                10-10-30  AI05-0189-1/03
+!standard D.7 (19.1/2)                                10-10-31  AI05-0189-1/04
 !standard H.4(23.3/2)
 !standard C.7.1(3/1)
 !standard C.7.1(4)
@@ -9,11 +9,11 @@
 !status received 09-11-03
 !priority Low
 !difficulty Easy
-!subject Restriction No_Default_Storage_Pools_After_Elaboration
+!subject Restriction No_Standard_Storage_Pools_After_Elaboration
 
 !summary
 
-Provide a restriction that disallows use of allocators from default
+Provide a restriction that disallows use of allocators from standard
 storage pools after library unit elaboration is complete. Also provide
 additional operations in Task_Identification to permit identifying the
 environment task, and whether a task has completed its activation,
@@ -41,7 +41,7 @@
 
 Add after C.7.1(4):
 
-    function Activation_Is_Completed(T : Task_Id) return Boolean;
+    function Activation_Is_Complete(T : Task_Id) return Boolean;
 
 Add after C.7.1(8):
 
@@ -58,21 +58,23 @@
 
 Add after D.7(19.1/2):
 
-  No_Default_Storage_Pools_After_Elaboration
+  No_Standard_Storage_Pools_After_Elaboration
 
-     Specifies that an allocator using a default storage pool raises
-     Storage_Error if it is evaluated at any time after the elaboration
-     of the library_items of the partition has completed.  In addition,
-     an allocator using a default storage pool shall not occur within a
-     parameterless library subprogram, nor within a task body after the
-     begin of the body.  Within a generic body, an allocator of a type
-     derived from a formal access type is permitted.
+     Specifies that an allocator using a standard storage pool (see
+     13.11) shall not occur within a parameterless library subprogram,
+     nor within the handled_sequence_of_statements of a task body. For
+     the purposes of this rule, an allocator of a type derived from a
+     formal access type does not use a standard storage pool.
+
+     At run-time, Storage_Error is raised if an allocator using a
+     standard storage pool is evaluated after the elaboration of the
+     library_items of the partition has completed.
 
 Revise H.4(23.3/2) as follows:
 
   * the following restrictions defined in D.7: No_Task_Hierarchy,
     No_Abort_Statement, No_Implicit_Heap_Allocation
-    {, No_Default_Storage_Pools_After_Elaboration}; and
+    {, No_Standard_Storage_Pools_After_Elaboration}; and
 
 !discussion
 

Questions? Ask the ACAA Technical Agent