CVS difference for acats/new/testobj.txt

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