CVS difference for ais/ai-00220.txt

Differences between 1.3 and version 1.4
Log of other versions for file ais/ai-00220.txt

--- ais/ai-00220.txt	2000/12/07 04:35:34	1.3
+++ ais/ai-00220.txt	2002/10/29 20:24:57	1.4
@@ -1,5 +1,7 @@
-!standard  10.1.2      (8)                              99-05-27  AI95-00220/01
+!standard  10.1.2      (8)                              02-10-24  AI95-00220/02
 !class binding interpretation 99-05-27
+!status Amendment 200Y 02-10-24
+!status ARG approved 10-0-0  02-10-12
 !status work item 99-05-27
 !status received 99-05-27
 !priority High
@@ -9,7 +11,7 @@
 
 !summary
 
-A subprogram body without a separate subprogram declaration is considered a
+A subprogram body without a distinct subprogram declaration is considered a
 declaration (and not a body) for the purposes of checking 10.1.2(8).
 
 !question
@@ -35,11 +37,12 @@
 
 Replace 10.1.2(8) by:
 
-If a with_clause of a given compilation_unit mentions a private child of some
-library unit, then the given compilation_unit shall be either the declaration of a
-private descendant (including a subprogram body acting as a subprogram
-declaration, see 10.1.4) of that library unit or the body or a subunit of
-a (public or private) descendant of that library unit.
+If a with_clause of a given compilation_unit mentions a private
+child of some library unit, then the given compilation_unit shall be either
+* the declaration, body, or subunit of a private descendant of that
+library unit; or
+* the body or subunit of a public descendant of that library unit,
+but not a subprogram body acting as a subprogram declaration, see 10.1.4.
 
 !discussion
 
@@ -57,7 +60,7 @@
 
     To be honest:  For the purposes of this rule, if a subprogram_
     body has no preceding subprogram_declaration, the subprogram_body
-    should be considered a declaration and not a body.  Thus, it is
+    should be considered a declaration and not a body. Thus, it is
     illegal for such a subprogram_body to mention one of its siblings in
     a with_clause if the sibling is a private library unit.
 
@@ -65,11 +68,18 @@
 
 !corrigendum 10.01.02(8)
 
-If a @h<with_clause> of a given @h<compilation_unit> mentions a private
-child of some library unit, then the given compilation_unit shall be either
-the declaration of a private descendant (including a subprogram body acting
-as a subprogram declaration, see 10.1.4) of that library unit or the body
+@drepl
+If a @fa<with_clause> of a given @fa<compilation_unit> mentions a private
+child of some library unit, then the given @fa<compilation_unit> shall be either
+the declaration of a private descendant of that library unit or the body
 or a subunit of a (public or private) descendant of that library unit.
+@dby
+If a @fa<with_clause> of a given @fa<compilation_unit> mentions a private
+child of some library unit, then the given @fa<compilation_unit> shall be either
+@xbullet<the declaration, body, or subunit of a private descendant of that
+library unit; or>
+@xbullet<the body or subunit of a public descendant of that library unit,
+but not a subprogram body acting as a subprogram declaration, see 10.1.4.>
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent