CVS difference for ais/ai-00032.txt

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

--- ais/ai-00032.txt	1998/09/30 00:17:07	1.1
+++ ais/ai-00032.txt	1999/07/21 03:10:56	1.2
@@ -1,4 +1,4 @@
-!standard 08.02    (05)                               96-11-16  AI95-00032/01
+!standard 08.02    (05)                               99-05-27  AI95-00032/02
 !class confirmation 95-06-25
 !status WG9 approved 96-12-07
 !status ARG Approved 10-0-0  96-10-07
@@ -8,12 +8,12 @@
 !difficulty Easy
 !subject visible part of a renaming
 
-!summary 95-06-25
+!summary
 
 A library_unit_renaming_declaration must mention the renamed library
 unit in a with_clause.  The renamed unit must be a library unit.
 
-!question 95-06-25
+!question
 
 Is this legal?  (No.)  It would seem to allow exportation of private
 information.
@@ -25,7 +25,7 @@
 
    procedure P.R renames P.Q; -- Illegal!
 
-!response 95-06-25
+!response
 
 P.Q is not a library unit, so cannot be renamed as a library unit,
 according to 10.1.1(14).  If we changed the private declaration of
@@ -33,8 +33,14 @@
 because it does not mention P.Q in a with_clause, so P.Q is not
 visible.  And such a with_clause would be illegal by 10.1.2(8).
 
-!appendix 95-07-06
+!ACATS test
 
+ACATS tests BA11010, BA11011, and BA11012 test similar cases to that
+discussed by this AI. The case discussed by the AI isn't different
+enough to warrant adding to these tests.
+
+!appendix
+
 !section 8.2(5)
 !section 8.2(4)
 !subject visible part of a renaming
@@ -150,7 +156,7 @@
 > >
 > >
 > >    procedure P.R renames P.Q;
-> 
+>
 > This is not legal, because "P.Q" is not visible.  You need to add
 > a "with" clause that mentions "P.Q". Having done that, you will
 > necessarily have to make this library unit renaming into a private
@@ -161,7 +167,7 @@
 library_unit_renaming_declaration.
 
 > > Please, tell me that I'm wrong!
-> 
+>
 > Happily, you are wrong.  See above.
 
 For a different reason.

Questions? Ask the ACAA Technical Agent