CVS difference for ais/ai-00368.txt

Differences between 1.1 and version 1.2
Log of other versions for file ais/ai-00368.txt

--- ais/ai-00368.txt	2004/02/05 05:08:26	1.1
+++ ais/ai-00368.txt	2004/04/06 19:57:17	1.2
@@ -1,4 +1,4 @@
-!standard 13.12                                       04-02-04   AI95-00368/01
+!standard 13.12 (7)                                   04-04-02   AI95-00368/02
 !class amendment 03-12-11
 !status work item 03-12-11
 !status received 03-12-11
@@ -8,7 +8,7 @@
 
 !summary
 
-The following restrictions identifiers exist:
+The following restrictions identifier exists:
 
     No_Obsolescent_Features
 
@@ -31,19 +31,59 @@
 
 !wording
 
-The following restrictions identifier is language-defined:
+Add the following after 13.12(7):
 
+The following restriction_identifier is language-defined:
+
 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 are detected by this
+restriction.
+
+AARM Note: Reason: A user could compile a rename like "with Ada.Text_IO;
+package Text_IO renames Ada.Text_IO;". Such a rename must not be disallowed
+by this restriction, nor should the compilation of such a rename be restricted
+by an implementation. Many implementation implement these renames by compiling
+them normally; we do not want to require implementations to use a
+special mechanism to implement these renames.
 
-There are no use of language elements defined in annex J.
+Add the following to the introductory paragraph for Annex J:
 
+Use of these features can be prevented by using pragma
+Restrictions(No_Obsolescent_Features), see 13.12.
+
 !example
+
+!corrigendum 13.12(7)
 
---!corrigendum
+@dinsa
+The set of @fa<restriction>s is implementation-defined.
+@dinss
+The following @i<restriction>_@fa<identifier> is language-defined:
+
+@xhang<@xterm<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 are detected by this
+restriction.>
+
+!corrigendum J(1)
+
+@drepl
+This Annex contains descriptions of features of the language whose
+functionality is largely redundant with other features defined by this
+International Standard. Use of these features is not recommended in newly
+written programs.
+@dby
+This Annex contains descriptions of features of the language whose
+functionality is largely redundant with other features defined by this
+International Standard. Use of these features is not recommended in newly
+written programs. Use of these features can be prevented by using pragma
+Restrictions(No_Obsolescent_Features), see 13.12.
 
 !ACATS test
 
-B-Tests should be constructed to verify that this restriction is
+B-Test(s) should be constructed to verify that this restriction is
 enforced.
 
 !appendix

Questions? Ask the ACAA Technical Agent