CVS difference for acats/new/testobj.txt
--- acats/new/testobj.txt 2019/11/23 05:16:33 1.145
+++ acats/new/testobj.txt 2019/12/31 05:12:54 1.146
@@ -818,6 +818,12 @@
the value of the governing discriminant of a variant in a record
aggregate cannot be non-static.
+B431007
+
+Check that the type of a record aggregate cannot be a derived type that has an
+ancestor for which the current view of the parent of the derived type is not a
+descendant of the full view of the ancestor.
+
B432001
Check rules related to the type of the ancestor expression or subtype
@@ -835,6 +841,17 @@
Also, check that the type of an extension aggregate cannot be a
tagged record type or a private extension.
+B432002
+
+Check that the type of an extension aggregate cannot be a type such
+that the current view of the parent of the aggregate type is not a
+descendant of the full view of the ancestor type.
+
+B432003
+
+Check that the subtype_mark of an extension aggregate cannot denote a
+view of a type that has unknown discriminants.
+
B433001
Check that <> is not allowed in positional array aggregates other than
@@ -3225,6 +3242,18 @@
Check that the expected type for the Default_Storage_Pool aspect is
Root_Storage_Pool'Class, and that the aspect definition must denote
a variable.
+
+BDB4001
+
+Check that a specification of a storage pool is illegal if the
+storage pool supports subpools and:
+ (A) The access type is statically deeper than the storage pool
+ object;
+ (B) The storage pool object is a part of a formal parameter;
+ (C) The storage pool object is a part of the dereference of a
+ non-library level general access type;
+ (D) The access type is a general access type.
+Part 1: Non-generic uses.
BDD2001
Questions? Ask the ACAA Technical Agent