CVS difference for ais/ai-00262.txt
--- ais/ai-00262.txt 2004/11/25 00:03:30 1.20
+++ ais/ai-00262.txt 2005/06/16 23:47:18 1.21
@@ -1,4 +1,4 @@
-!standard 10.01.02 (04) 04-09-22 AI95-00262/07
+!standard 10.01.02 (04) 05-06-08 AI95-00262/08
!standard 10.01.02 (08)
!class amendment 01-02-15
!status Amendment 200Y 02-07-11
@@ -66,17 +66,17 @@
* the declaration of a private descendant of that library unit;
* the body or subunit of a (public or private) descendant of that
library unit; or
- * the declaration of a public descendant of that library unit, and
- the with_clause shall include the reserved word private.
+ * the declaration of a public descendant of that library unit, in which
+ case the with_clause shall include the reserved word private.
Add after 10.1.2(8):
A name denoting a library item that is visible only due to being mentioned in
with_clauses that include the reserved word private shall appear only within
- * a private part,
- * a body, but not within the subprogram_specification of a library subprogram body,
+ * a private part;
+ * a body, but not within the subprogram_specification of a library subprogram body;
* a private descendant of the unit on which one of these with_clauses
- appear, or
+ appear; or
* a pragma within a context clause.
!discussion
@@ -225,16 +225,16 @@
@xbullet<the declaration of a private descendant of that library unit;>
@xbullet<the body or subunit of a (public or private) descendant of that
library unit; or>
-@xbullet<the declaration of a public descendant of that library unit, and
-the @fa<with_clause> shall include the reserved word @b<private>.>
+@xbullet<the declaration of a public descendant of that library unit, in which
+case the @fa<with_clause> shall include the reserved word @b<private>.>
A @fa<name> denoting a library item that is visible only due to being
mentioned in @fa<with_clause>s that include the reserved word @b<private>
shall appear only within
-@xbullet<a private part,>
-@xbullet<a body, but not within the @fa<subprogram_specification> of a library subprogram body,>
+@xbullet<a private part;>
+@xbullet<a body, but not within the @fa<subprogram_specification> of a library subprogram body;>
@xbullet<a private descendant of the unit on which one of these
-@fa<with_clause>s appear, or>
+@fa<with_clause>s appear; or>
@xbullet<a pragma within a context clause.>
!ACATS test
Questions? Ask the ACAA Technical Agent