CVS difference for acats/new/testobj.txt

Differences between 1.52 and version 1.53
Log of other versions for file 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