CVS difference for acats/docs/mod_list.txt

Differences between 1.98 and version 1.99
Log of other versions for file acats/docs/mod_list.txt

--- acats/docs/mod_list.txt	2020/10/01 03:32:38	1.98
+++ acats/docs/mod_list.txt	2020/12/29 02:44:30	1.99
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1S
-September 30, 2020
+Version 4.1T
+December 28, 2020
 
 
 What is this?
@@ -22,17 +22,15 @@
 
 Changes from the last list:
 
-A handful of tests changed status on July 1st; see the lists for the details.
+A handful of tests changed status on October 1st; see the lists for the details.
 
-Corrected pragmas in test B651001 to apply to the intended procedures.
+B3A2018 was corrected to not be affected by AI12-0345-1, AI12-0390-1, and
+AI12-0402-1.
 
-New tests C360A01, C360A02, C360B01, C360B02, and the associated foundations
-F360A00 and F360B00 check that objects of types that have a specified
-Default_Component_Value are appropriately initialized.
+New tests CXAIB01, CXAIB02, CXAIB03, CXAIB04, CXAIB05, CXAIB06, CXAIB07, and
+CXAIB08 check that (some) containers are preelaborated, and that the types they
+declare have preelaborable initialization. FXAIB00 is the associated foundation.
 
-Added checks that Program_Error is raised as expected in tests CXB3019, CXB3020,
-CXB3021, and CXB3022.
-
 Note: Some Allowed Modification tests have a required date of “ACATS 4.2”. These
 are tests that don't have substantive changes, but rather change comments
 (including error locations for B-Tests). For ACATS users that are using
@@ -43,12 +41,12 @@
 likely before winter 2021; it will be announced at least 90 days in advance of
 issuance).
 
-New tests posted between July 1, 2020 and September 30, 2020 will become
-required for conformity assessments on April 1, 2021. New tests posted between
-April 1, 2020 and June 30, 2020 will become required for conformity assessments
-on January 1, 2021. New tests posted between January 1, 2020 and March 31, 2020
-will become required for conformity assessments on October 1, 2020. New tests
-posted before January 1, 2020 are required for conformity assessments. The
+New tests posted between October 1, 2020 and December 31, 2020 will become
+required for conformity assessments on July 1, 2021. New tests posted between
+July 1, 2020 and September 30, 2020 will become required for conformity
+assessments on April 1, 2021. New tests posted between April 1, 2020 and June
+30, 2020 will become required for conformity assessments on January 1, 2021. New
+tests posted before April 1, 2020 are required for conformity assessments. The
 effective dates of tests are marked in the lists.
 
 Questions about this document? Contact the ACAA Technical Agent at
@@ -161,8 +159,7 @@
 			Required in ACATS 4.2
 	Added error location indicators.
 
-B350001 [Pending New] VCS Label: A4_1Q
-			Required after 2020-10-01
+B350001 [New] VCS Label: A4_1Q
 	Check that the requirements on the specification of the
 	Default_Value aspect are enforced.
 
@@ -205,8 +202,7 @@
 C35A001 [New] VCS Label: A4_1D
 	Check that Small can be specified by an aspect specification.
 
-B360001 [Pending New] VCS Label: A4_1Q
-			Required after 2020-10-01
+B360001 [New] VCS Label: A4_1Q
 	Check that the requirements on the specification of the
 	Default_Component_Value aspect are enforced.
 
@@ -350,6 +346,11 @@
 	return object. Check that master of the function call is properly
 	determined statically.
 
+B3A2018 [Allowed Modification] New VCS Label: A4_1T Org VCS Label: A4_1H
+			Required after 2021-04-01
+	Corrected so that it is not affected by whether AI12-0345-1,
+	AI12-0402-1, and AI12-0390-1 are implemented.
+
 B413004 [Modified] VCS Label: A4_1J
 	PPA and PFA trigger the issue of AI12-0289-1; explicit null
 	exclusions were added to the parameters to avoid it.
@@ -389,13 +390,10 @@
 	membership operations works as intended.
 	[VCS Label A4_1F] Fixed incorrect test number passed to Report.
 
-C452003 [New] VCS Label: A4_1K
-	Check that memberships of general access-to-object types work as
-	defined.
-
-C452003 [Allowed Modification] New VCS Label: A4_1R Org VCS Label: A4_1K
-			Required after 2020-10-01
-	Corrected Force_Save and Force_Op.
+C452003 [New] VCS Label: A4_1R
+	[VCS Label A4_1K] Check that memberships of general access-to-
+	object types work as defined.
+	[VCS Label A4_1R] Corrected Force_Save and Force_Op.
 
 C452004 [New] VCS Label: A4_1Q
 	[VCS Label A4_1L] Check that memberships with multiple choices are
@@ -916,9 +914,6 @@
 	corresponding parameter or result of the renamed subprogram must
 	exclude null.
 	[VCS Label A4_1J] Corrected wording of the second test objective.
-
-B854002 [Allowed Modification] New VCS Label: A4_1R Org VCS Label: A4_1J
-			Required after 2020-10-01
 	[VCS Label A4_1R] Corrected error markers on RenG51, RenG61,
 	RenGF51, and RenGF61. Corrected renaming @412 to rename the
 	correct function.
@@ -936,8 +931,7 @@
 	Check that a renaming of a prefixed view is illegal if renaming
 	the prefix as an object is illegal.
 
-B860002 [Pending New] New VCS Label: A4_1Q
-			Required after 2020-10-01
+B860002 [New] VCS Label: A4_1Q
 	Check that implicit conversions of access types don't allow too
 	much.
 
@@ -1158,9 +1152,6 @@
 	corresponding parameter or result has a null exclusion must
 	exclude null.
 	[VCS Label A4_1J] Corrected wording of the second test objective.
-
-BC60005 [Allowed Modification] New VCS Label: A4_1R Org VCS Label: A4_1J
-			Required after 2020-10-01
 	[VCS Label A4_1Q] Corrected error markers on InstG51, InstG61,
 	InstGF51, and InstGF61.
 	[VCS Label A4_1R] Corrected instance @437 to use correct actual
@@ -1245,30 +1236,24 @@
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-BDD2006 [Pending New] VCS Label: A4_1Q
-			Required after 2020-10-01
+BDD2006 [New] VCS Label: A4_1Q
 	Check that the requirements for specifying the Stream_Size
 	attribute are enforced.
 
-BDD2007 [Pending New] VCS Label: A4_1Q
-			Required after 2020-10-01
+BDD2007 [New] VCS Label: A4_1Q
 	Check that the requirements for specifying the Stream_Size
 	aspect are enforced.
 
-CDD2B01 [Pending New] VCS Label: A4_1Q
-			Required after 2020-10-01
+CDD2B01 [New] VCS Label: A4_1Q
 	Check that confirming Stream_Size attributes work as expected.
 
-CDD2B02 [Pending New] VCS Label: A4_1Q
-			Required after 2020-10-01
+CDD2B02 [New] VCS Label: A4_1Q
 	Check that confirming Stream_Size aspects work as expected.
 
-CDD2B03 [Pending New] VCS Label: A4_1Q
-			Required after 2020-10-01
+CDD2B03 [New] VCS Label: A4_1Q
 	Check that non-confirming Stream_Size attributes work as expected.
 
-CDD2B04 [Pending New] VCS Label: A4_1Q
-			Required after 2020-10-01
+CDD2B04 [New] VCS Label: A4_1Q
 	Check that non-confirming Stream_Size aspects work as expected.
 
 CDE0002 [Modified] VCS Label: A4_1E
@@ -1285,6 +1270,52 @@
 	[VCS Label A4_1H] Added “return;” @171; if the file can't be
 	opened, the Read_File trial is complete.
 
+CXAIB01 [Pending New] VCS Label: A4_1T
+			Required after 2021-07-01
+	Check that Ada.Containers.Vectors is preelaborated, and it and
+	types declared in it can be used in preelaborated packages.
+
+CXAIB02 [Pending New] VCS Label: A4_1T
+			Required after 2021-07-01
+	Check that Ada.Containers.Bounded_Vectors is preelaborated, and it
+	and types declared in it can be used in preelaborated packages.
+
+CXAIB03 [Pending New] VCS Label: A4_1T
+			Required after 2021-07-01
+	Check that Ada.Containers.Doubly_Linked_Lists is preelaborated,
+	and it and types declared in it can be used in preelaborated
+	packages.
+
+CXAIB04 [Pending New] VCS Label: A4_1T
+			Required after 2021-07-01
+	Check that Ada.Containers.Bounded_Doubly_Linked_Lists is
+	preelaborated, and it and types declared in it can be used in
+	preelaborated packages.
+
+CXAIB05 [Pending New] VCS Label: A4_1T
+			Required after 2021-07-01
+	Check that Ada.Containers.Ordered_Maps is preelaborated,
+	and it and types declared in it can be used in preelaborated
+	packages.
+
+CXAIB06 [Pending New] VCS Label: A4_1T
+			Required after 2021-07-01
+	Check that Ada.Containers.Bounded_Ordered_Maps is preelaborated,
+	and it and types declared in it can be used in preelaborated
+	packages.
+
+CXAIB07 [Pending New] VCS Label: A4_1T
+			Required after 2021-07-01
+	Check that Ada.Containers.Hashed_Maps is preelaborated,
+	and it and types declared in it can be used in preelaborated
+	packages.
+
+CXAIB08 [Pending New] VCS Label: A4_1T
+			Required after 2021-07-01
+	Check that Ada.Containers.Bounded_Hashed_Maps is preelaborated,
+	and it and types declared in it can be used in preelaborated
+	packages.
+
 CXB3019 [Allowed Modification] New VCS Label: A4_1S Org VCS Label: A4_1
 			Required after 2021-01-01
 	Added missing failures if Program_Error is not raised when
@@ -1419,10 +1450,13 @@
 F611B00 [New] VCS Label: A4_1A
 	Foundation for tests C611B01, C611B02, and C611B03.
 
-FDD2B00 [Pending New] VCS Label: A4_1Q
-			Required after 2020-10-01
+FDD2B00 [New] VCS Label: A4_1Q
 	A foundation for Stream_Size aspect tests.
 
+FXAIB00 [Pending New] VCS Label: A4_1T
+			Required after 2021-07-01
+	A foundation for container preelaboration tests.
+
 GRADE.A [Modified] VCS Label: A4_1G
 	[VCS Label A4_1C] Allowed manual grading for tests that are
 	missing execution or linking (with no earlier errors). Corrected
@@ -1468,7 +1502,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1S.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1T.Zip and Tar files on the ACAA web site. As always, when a multi-file
 test is modified, we provide all of the files, including the unmodified files.
 
 Individual new and modified tests can be retrieved from the ACATS VCS. Simply
@@ -1518,6 +1552,7 @@
 B38103C	ACATS 4.2
 B38103D	ACATS 4.2
 B38103E	ACATS 4.2
+B3A2018	2021-04-01 [VCS Label A4_1T]
 B48002A	ACATS 4.2
 B48002G	ACATS 4.2
 B48003B	ACATS 4.2
@@ -1525,19 +1560,16 @@
 B490003	ACATS 4.2
 B56001A	ACATS 4.2
 B57001B	ACATS 4.2
-B651001	2020-01-01 [VCS Label A4_1S]
+B651001	2021-01-01 [VCS Label A4_1S]
 B660002	ACATS 4.2
 B660003	ACATS 4.2
 B66001A	ACATS 4.2
 B66001B	ACATS 4.2
-B854002	2020-10-01 [VCS Label A4_1R]
 BC51019	ACATS 4.2
 BC51020	ACATS 4.2
 BC51B02	ACATS 4.2
 BC51C01	ACATS 4.2
 BC51C02	ACATS 4.2
-BC60005	2020-10-01 [VCS Label A4_1R]
-C452003	2020-10-01 [VCS Label A4_1R]
 CXB3019	2021-01-01
 CXB3020	2021-01-01
 CXB3021	2021-01-01
@@ -1674,11 +1706,13 @@
 
 (Refer to the main list for details)
 
+B350001
 B354002
 B35A001
+B360001
 B393012
 B393013
-B3A2018
+B3A2018 [VCS Label A4_1H]
 B431007
 B432002
 B432003
@@ -1718,7 +1752,7 @@
 B851006
 B851007
 B853001
-B854002 [VCS Label A4_1J]
+B854002
 B854003
 B854004
 B860002
@@ -1738,19 +1772,21 @@
 BC40003
 BC54004
 BC55001
-BC60005 [VCS Label A4_1J]
+BC60005
 BD30001
 BD30002
 BD30003
 BDB2001
 BDB4001
+BDD2006
+BDD2007
 C350001
 C354004
 C35A001
 C3A0030
 C452002
-C452003 [VCS Label A4_1K]
-C452004 [VCS Label A4_1L]
+C452003
+C452004
 C452005
 C452006
 C452A01
@@ -1781,24 +1817,23 @@
 CD30010
 CD30011
 CD30012
+CDD2B01
+CDD2B02
+CDD2B03
+CDD2B04
 CXAC009
 CXAG003
 CXB3023
 CXB3024
 F611A00
 F611B00
-
+FDD2B00
 
 Pending New Tests
 
 (Refer to the main list for details)
 
-B350001	2020-10-01
-B360001	2020-10-01
-B860002	2020-10-01
 BD10001	2021-01-01
-BDD2006	2020-10-01
-BDD2007	2020-10-01
 C350A01	2021-01-01
 C350A02	2021-01-01
 C350B01	2021-01-01
@@ -1808,12 +1843,16 @@
 C360B01	2021-04-01
 C360B02	2021-04-01
 C620002	2021-01-01
-CDD2B01	2020-10-01
-CDD2B02	2020-10-01
-CDD2B03	2020-10-01
-CDD2B04	2020-10-01
+CXAIB01	2021-07-01
+CXAIB02	2021-07-01
+CXAIB03	2021-07-01
+CXAIB04	2021-07-01
+CXAIB05	2021-07-01
+CXAIB06	2021-07-01
+CXAIB07	2021-07-01
+CXAIB08	2021-07-01
 F350A00	2021-01-01
 F350B00	2021-01-01
 F360A00	2021-04-01
 F360B00	2021-04-01
-FDD2B00	2020-10-01
+FXAIB00	2021-07-01

Questions? Ask the ACAA Technical Agent