CVS difference for acats/new/testobj.txt
--- acats/new/testobj.txt 2008/08/30 04:11:14 1.52
+++ acats/new/testobj.txt 2008/10/02 04:27:23 1.53
@@ -399,6 +399,12 @@
Check that a tagged incomplete type cannot be completed by an untagged
type.
+B3A1005
+
+Check that if a use of an incomplete type T is part of the declaration
+of a primitive subprogram of T, and T is given in the private part of
+package P, T must be completed in the same private part.
+
B3A1A01
Check that the name of an untagged incomplete view cannot be used as
@@ -425,6 +431,12 @@
Check that the name of an incomplete view cannot be used in an
use type clause.
+
+B3A1A04
+
+Check that the name of a tagged incomplete view cannot be used as
+the prefix of the Class attribute used in a context that does not
+allow the use of a tagged incomplete view.
B3A2002
Questions? Ask the ACAA Technical Agent