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