CVS difference for 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