CVS difference for acats/new/testobj.txt
--- acats/new/testobj.txt 2014/11/21 05:32:00 1.67
+++ acats/new/testobj.txt 2014/11/21 07:01:34 1.68
@@ -2405,6 +2405,26 @@
Check that reverse iterators are not allowed for package
Ada.Containers.Bounded_Hashed_Sets.
+BXAI005
+
+Check that a container element cannot be written using indexing for
+Ada.Containers.Hashed_Sets.
+
+BXAI006
+
+Check that a container element cannot be written using indexing for
+Ada.Containers.Ordered_Sets.
+
+BXAI007
+
+Check that a container element cannot be written using indexing for
+Ada.Containers.Bounded_Hashed_Sets.
+
+BXAI008
+
+Check that a container element cannot be written using indexing for
+Ada.Containers.Bounded_Ordered_Sets.
+
BXAIA01
Check that reverse iterators are not allowed for package
@@ -2414,6 +2434,16 @@
Check that reverse iterators are not allowed for package
Ada.Containers.Indefinite_Hashed_Sets.
+
+BXAIA03
+
+Check that a container element cannot be written using indexing for
+Ada.Containers.Indefinite_Hashed_Sets.
+
+BXAIA04
+
+Check that a container element cannot be written using indexing for
+Ada.Containers.Indefinite_Ordered_Sets.
BXC3001
Questions? Ask the ACAA Technical Agent