CVS difference for 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