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

--- ai05s/ai05-0229-1.txt	2011/03/17 07:05:01	1.7
+++ ai05s/ai05-0229-1.txt	2011/03/18 00:11:53	1.8
@@ -1,4 +1,4 @@
-!standard 13.2(5)                                    11-03-16  AI05-0229-1/03
+!standard 13.2(5)                                    11-03-17  AI05-0229-1/04
 !standard 13.11.3(5)
 !standard B.3.3(4)
 !standard E.4.1(8)
@@ -64,6 +64,19 @@
 representation aspects not associated with specifiable attributes may
 be specified, as specified elsewhere in this International Standard.
 
+Modify 13.12.1(4/2):
+
+No_Obsolescent_Features
+
+There is no use of language features defined in Annex J. It is implementation-defined
+if uses of the renamings of J.1 {and the pragmas of J.15} are detected by this
+restriction. This restriction applies only to the current compilation or environment,
+not the entire partition. 
+
+AARM Note: The pragmas have exactly the functionality of the corresponding aspect,
+and rejecting could be a significant portability problem for existing code.
+
+
 Changes for individual pragmas:
 
 Representation pragmas: (Covered by the general wording).
@@ -89,7 +102,7 @@
 Replace 13.2(5):
 
   For a full type declaration of a composite type, the following language-defined
-  representation aspect may be specified with an aspect_specification:
+  representation aspect may be specified:
      Pack
       The type of aspect Pack is Boolean. When aspect Pack is True for a type, the
       type (or the extension part) is said to be packed. For a type extension, the
@@ -138,7 +151,7 @@
 Static Semantics
 
   For a procedure or generic procedure, the following language-defined
-  representation aspect may be specified with an aspect_specification:
+  representation aspect may be specified:
      No_Return
       The type of aspect No_Return is Boolean. When aspect No_Return is True for
       an entity, the entity is said to be *non-returning*.
@@ -187,7 +200,7 @@
 Replace 13.11.3(5):
 
   For a non-derived access type, the following language-defined
-  representation aspect may be specified with an aspect_specification:
+  representation aspect may be specified:
      Controlled
       The type of aspect Controlled is Boolean.
       If directly specified, the aspect_definition shall be a static expression.
@@ -299,7 +312,7 @@
 Replace 6.3.2(5) with
 
   For a callable entity or a generic subprogram, the following language-defined
-  representation aspect may be specified with an aspect_specification:
+  representation aspect may be specified:
     Inline
       The type of aspect Inline is Boolean. When aspect Inline is True for a
       callable entity, indicates that inline expansion is