CVS difference for ai12s/ai12-0003-1.txt

Differences between 1.4 and version 1.5
Log of other versions for file ai12s/ai12-0003-1.txt

--- ai12s/ai12-0003-1.txt	2013/05/09 02:08:40	1.4
+++ ai12s/ai12-0003-1.txt	2013/06/10 21:47:44	1.5
@@ -1,6 +1,6 @@
-!standard 3.10.2(13.2/3)                             13-05-08    AI12-0003-1/03
+!standard 3.10.2(13.2/3)                             13-06-10    AI12-0003-1/04
 !standard 13.11.3(1/3)
-!standard 13.11.3(3.1/3)
+!standard 13.11.3(3.2/3)
 !standard 13.11.3(4.1/3)
 !standard 13.11.3(4.2/3)
 !standard 13.11.3(5/3)
@@ -29,7 +29,7 @@
 
 !wording
 
-Append after 8.2(11) (i.e., as a new paragraph at the end of 
+Append after 8.2(11) (i.e., as a new paragraph at the end of
 the static semantics section):
 
    The immediate scope of a pragma which is not used
@@ -41,20 +41,20 @@
 Reinstate 13.11.3 (1/4) to read:
 Two storage pool pragmas can be used to control the setting of a
 default storage pool for access types: Default_Storage_Pool and
-STandard_Storage_Pool.
+Standard_Storage_Pool.
 
 
 Add after 13.11.3 (3.1/3)
  pragma Standard_Storage_Pool;
 
 
-Change 13.11.3 (3.1/3) to read:
+Change 13.11.3 (3.2/3) to read:
 {A storage pool pragma} [A pragma Default_Storage_Pool]
 is allowed immediately within the visible part of a package_specification,
 immediately within a declarative_part, or as a configuration pragma.
 
 Change 13.11.3 (4.1/3) from
-  "{AI05-0190-1} If the pragma is used as a configuration pragma, the
+  "If the pragma is used as a configuration pragma, the
   storage_pool_indicator shall be null, and it defines the default
   pool to be null within all applicable compilation units (see
   10.1.5), except within the immediate scope of another pragma
@@ -62,12 +62,12 @@
   within a sequence of declarations, and] it defines the default pool
   within the immediate scope of the pragma to be either null or the
   pool denoted by the storage_pool_name, except within the immediate
-  scope of a later pragma Default_Storage_Pool. [Thus, an inner pragma
-  overrides an outer one.]"
+  scope of a later pragma Default_Storage_Pool. Redundant[Thus, an inner
+  pragma overrides an outer one.]"
 
 to
 
-  {AI05-0190-1} If the Default_Storage_Pool pragma is used as a
+  If the Default_Storage_Pool pragma is used as a
   configuration pragma, the storage_pool_indicator shall be null, and
   it defines the default pool to be null within all applicable
   compilation units (see 10.1.5), except within the immediate scope of
@@ -75,7 +75,7 @@
   immediately within a sequence of declarations, and] it defines the
   default pool within the immediate scope of the pragma to be either
   null or the pool denoted by the storage_pool_name, except within the
-  immediate scope of a later storage pool pragma. [Thus, an inner
+  immediate scope of a later storage pool pragma. Redundant[Thus, an inner
   pragma overrides an outer one.]
 
 Add after 13.11.3 (4.1/3)
@@ -116,7 +116,7 @@
 
 !ACATS test
 
-** TBD.
+An ACATS C-Test should be constructed to test this capability.
 
 !appendix
 
@@ -905,5 +905,18 @@
 the "applies to a region" concept followed in the Suppress and Assertion_Policy
 pragmas. I can't help but wonder whether there are subtle differences. So I
 don't mind digging into this for my enlightenment.
+
+****************************************************************
+
+From: Erhard Ploedereder
+Sent: Sunday, June  9, 2013  5:48 PM
+
+Attached is the revised version incorporating the decisions of the last meeting
+and Steve's words about immediate scopes of pragmas, which Randy had already
+put into the AI. [This is version /04 of the AI - Editor.]
+
+As charged, I investigated the use of the region concept, but gladly left it
+behind after Steve's simple addition, since the immediate scope notion is
+vastly preferable, anyway.
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent