CVS difference for acats/new/testobj.txt

Differences between 1.20 and version 1.21
Log of other versions for file acats/new/testobj.txt

--- acats/new/testobj.txt	2007/03/27 06:53:42	1.20
+++ acats/new/testobj.txt	2007/03/29 01:44:49	1.21
@@ -955,6 +955,20 @@
 clause as, or within the scope of, a use_clause that names an entity
 declared in the package. (10.1.2(22/2)).
 
+BA12011
+
+Check that a subprogram body acting as a declaration of a public
+descendant of a unit L cannot mention a private child of L in a
+non-private with_clause. (10.1.2(10/2))
+
+BA12012
+
+Check that the declaration of a public descendant of a unit L cannot
+mention a private child of L in a non-private limited with_clause.
+
+Check that a unit that is not a descendant of a unit L cannot mention a
+private child of L in a limited with_clause.
+
 BA13B01
 
 Check that a separate subprogram declared in a private child unit  of a

Questions? Ask the ACAA Technical Agent