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

--- ai05s/ai05-0190-1.txt	2011/06/08 05:13:53	1.18
+++ ai05s/ai05-0190-1.txt	2011/10/21 06:42:22	1.19
@@ -1,4 +1,4 @@
-!standard 13.11.3(2)                                11-06-03  AI05-0190-1/13
+!standard 13.11.3(2)                                11-10-10  AI05-0190-1/14
 !standard 13.11.3(3)
 !standard 13.11.3(4)
 !standard 13.11.3(5)
@@ -141,8 +141,16 @@
 
                               Static Semantics
 
-The pragma applies to all nonderived access types declared in the places
-defined above, unless Storage_Pool or Storage_Size is specified for the type:
+The language-defined aspect Default_Storage_Pool may be used to define the
+default pool for access types within an instance. The expected type for the
+Default_Storage_Pool aspect is Root_Storage_Pool'Class. The aspect_definition
+must be a name that denotes a variable. This aspect overrides any
+Default_Storage_Pool pragma that might apply to the generic unit; if the aspect
+is not specified, the default pool of the instance is that defined for the generic unit. 
+
+For nonderived access types declared in places where the default pool is defined
+by the pragma or aspect, their Storage_Pool or Storage_Size attribute is determined
+as follows, unless Storage_Pool or Storage_Size is specified for the type:
 
     If the default pool is null, the Storage_Size attribute is defined
     by the language to be zero.
@@ -151,14 +159,8 @@
     If the default pool is nonnull, the Storage_Pool attribute is that
     pool.
 
-    Redundant[Otherwise, there is no default pool; the standard storage
-    pool is used for the type as described in 13.11.]
-
-The language-defined aspect Default_Storage_Pool may be used to define the
-default pool for access types within an instance. The expected type for the
-Default_Storage_Pool aspect is Root_Storage_Pool'Class. The aspect_definition
-must be a name that denotes a variable. This aspect overrides any
-Default_Storage_Pool pragma that might apply to the generic unit.
+Redundant[Otherwise, there is no default pool; the standard storage
+pool is used for the type as described in 13.11.]
 
 AARM Ramification: Default_Storage_Pool is the only way to specify the storage
 pool for an anonymous access type.