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
Questions? Ask the ACAA Technical Agent