CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2018/12/21 04:23:08	1.91
+++ acats/docs/mod_list.txt	2019/03/30 02:32:39	1.92
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1K
-December 20, 2018
+Version 4.1L
+March 29, 2019
 
 
 What is this?
@@ -10,7 +10,7 @@
 current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012
 (usually known as "Ada 2012").
 
-ACATS Modification List version 3.1U for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1V for ACATS 3.1 is the current list for that
 test suite. ACATS 3.1 should be used for testing implementations that support
 Amendment 1 (ISO/IEC 8652:1995/AMD 1:2007, often known as "Ada 2005"), and will
 continue to be maintained as necessary for the foreseeable future.
@@ -22,31 +22,23 @@
 
 Changes from the last list:
 
-A handful of tests changed status on October 1st; see the lists for the details.
+A handful of tests changed status on January 1st; see the lists for the details.
 
-New test B452001 checks that memberships against objects require a visible
-equality operation.
+New test B452002 checks that the Name Resolution and Legality Rules for the
+universal access "=" operator are enforced.
 
-New test C452003 checks that memberships of general access-to-object types work
-as defined when applied to anonymous access-to-tagged types.
+New tests C452004, C452005, and C452006 check that in various cases the correct
+equality operation is called by an individual membership test of a choice
+expression.
+
+New tests posted between January 1, 2019 and March 31, 2019 will become required
+for conformity assessments on October 1, 2019. New tests posted between October
+1, 2018 and December 31, 2018 will become required for conformity assessments on
+July 1, 2019. New tests posted between July 1, 2018 and September 30, 2018 will
+become required for conformity assessments on April 1, 2019. New tests posted
+before July 1, 2018 are required for conformity assessments. The effective dates
+of tests are marked in the lists.
 
-New tests C452A01, C452A02, and C452A03 check that language-defined types
-properly implement equality.
-
-Test B851007 was corrected to fix incorrect types and parameter modes. This
-changes the effective date for this test.
-
-New test B831006 checks that giving overriding indicators on operations declared
-in a protected body are always illegal.
-
-New tests posted between October 1, 2018 and December 31, 2018 will become
-required for conformity assessments on July 1, 2019. New tests posted between
-July 1, 2018 and September 30, 2018 will become required for conformity
-assessments on April 1, 2019. New tests posted between April 1, 2018 and June
-30, 2018 will become required for conformity assessments on January 1, 2019. New
-tests posted before April 1, 2018 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
 agent@ada-auth.org.
 
@@ -244,15 +236,13 @@
 	Added additional error locations to directly support common error
 	reporting strategies.
 
-B3A2018 [Pending New] New VCS Label: A4_1H
-			Required after 2019-01-01
+B3A2018 [New] VCS Label: A4_1H
 	Check that an explicitly aliased parameter has the same
 	accessibility level as a normal parameter unless compared to the
 	return object. Check that master of the function call is properly
 	determined statically.
 
-B413004 [Allowed Modification] New VCS Label: A4_1J Org VCS Label: A3_1
-			Required after 2019-01-01
+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.
 
@@ -261,6 +251,11 @@
 	Check that a membership that contains choice expressions is
 	illegal for a limited type that does not have equality.
 
+B452002 [Pending New] New VCS Label: A4_1L
+			Required after 2019-10-01
+	Check that Resolution and Legality Rules for the universal access
+	equality operator are enforced.
+
 C452002 [New] VCS Label: A4_1F
 	[VCS Label A4_1D] Check that overloading resolution of Ada 2012
 	membership operations works as intended.
@@ -271,6 +266,22 @@
 	Check that memberships of general access-to-object types work as
 	defined.
 
+C452004 [Pending New] New VCS Label: A4_1L
+			Required after 2019-10-01
+	Check that memberships with multiple choices are evaluated as
+	required, and that the correct equality operation is called for
+	untagged record types.
+
+C452005 [Pending New] New VCS Label: A4_1L
+			Required after 2019-10-01
+	Check that memberships with multiple choices call the correct
+	equality operation for array types.
+
+C452006 [Pending New] New VCS Label: A4_1L
+			Required after 2019-10-01
+	Check that memberships with multiple choices call the correct
+	equality operation for access types.
+
 C452A01 [Pending New] New VCS Label: A4_1K
 			Required after 2019-07-01
 	Check that “=” for language-defined private types behaves as if it
@@ -685,19 +696,16 @@
 B85003B [Withdrawn] VCS Label: A4_1H
 	Replaced by B851007.
 
-B851004 [Allowed Modification] New VCS Label: A4_1J Org VCS Label: A4_1
-			Required after 2019-01-01
+B851004 [Modified] VCS Label: A4_1J
 	Revised test to eliminate cases whose result would be
 	changed by pending AI12-0287-1, and added cases to preserve
 	complete testing.
 
-B851005 [Pending New] New VCS Label: A4_1H
-			Required after 2019-01-01
+B851005 [New] VCS Label: A4_1H
 	Checks that “known to be constrained” is properly enforced for
 	renames. Part 1: “Normal” cases (no generics or access cases).
 
-B851006 [Pending New] New VCS Label: A4_1H
-			Required after 2019-01-01
+B851006 [New] VCS Label: A4_1H
 	Checks that “known to be constrained” is properly enforced for
 	renames. Part 2: Access cases.
 
@@ -708,8 +716,7 @@
 	[VCS Label A4_1K] Corrected types of declaration @198 and @214,
 	and mode @328.
 
-B853001 [Pending New] New VCS Label: A4_1H
-			Required after 2019-01-01
+B853001 [New] VCS Label: A4_1H
 	Checks that a renamed limited view cannot be used where there is
 	not a with for the original package.
 
@@ -788,8 +795,7 @@
 	Revised to use Possible Error tags, and added error location
 	indicators.
 
-BA12018 [Pending New] New VCS Label: A4_1H
-			Required after 2019-01-01
+BA12018 [New] VCS Label: A4_1H
 	Check that names mentioned but not named in a private with are
 	also treated as privately withed.
 
@@ -852,8 +858,7 @@
 BC51016 [Modified] VCS Label: A4_1G
 	Corrected bad error tag, and added error location indicators.
 
-BC54004 [Pending New] New VCS Label: A4_1H
-			Required after 2019-01-01
+BC54004 [New] VCS Label: A4_1H
 	Checks that the null exclusion of the formal type and of the
 	actual subtype for a generic formal access type must match.
 
@@ -941,8 +946,7 @@
 CXAC009 [New] VCS Label: A4_1D
 	Check that Stream_IO.File_Type has Preelaborable_Initialization.
 
-CXAG003 [Pending New] New VCS Label: A4_1H
-			Required after 2019-01-01
+CXAG003 [New] VCS Label: A4_1H
 	[VCS Label A4_1G] Check that function
 	Ada.Directories.Name_Case_Equivalence exists and that it
 	reflects the handling of file names.
@@ -1063,15 +1067,13 @@
 	Increased table sizes as the new tests have caused grading the
 	entire ACATS to exceed the old limits.
 
-SPECIAL.A [Modified] VCS Label: A4_1H
+SPECIAL.A [Modified] VCS Label: A4_1J
 	[VCS Label A4_1C] Added test BA21005 to the list of optional main
 	subprograms.
 	[VCS Label A4_1H] Added seven tests to the list of optional main
 	subprograms.
-
-SPECIAL.A [Allowed Modification] New VCS Label: A4_1J Org VCS Label: A4_1H
-			Required after 2019-01-01
-	Added more tests to the list of optional main subprograms.
+	[VCS Label A4_1J Added more tests to the list of optional main
+	subprograms.
 
 SUMMARY.A [Modified] VCS Label: A4_1C
 	Corrected identification of main subprograms in modern tests.
@@ -1090,7 +1092,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1K.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1L.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
@@ -1131,11 +1133,8 @@
 Allowed Modification Tests
 
 (Refer to the main list for details)
-
-B413004	2019-01-01
-B851004	2019-01-01
-SPECIAL.A	2019-01-01 [VCS Label A4_1J]
 
+[None in this list.]
 
 Modified Tests
 
@@ -1160,6 +1159,7 @@
 B3A2011
 B3A2012
 B3A2016
+B413004
 B455002
 B457001
 B457004
@@ -1197,6 +1197,7 @@
 B83027D
 B83E01B
 B83F02C
+B851004
 B95007B
 B91003A
 B91003B
@@ -1241,7 +1242,7 @@
 LXH4014
 GRADE
 GRD_DATA
-SPECIAL [VCS Label A4_1H]
+SPECIAL
 SUMMARY
 TCTOUCH.ADA
 
@@ -1252,6 +1253,7 @@
 
 B354002
 B35A001
+B3A2018
 B458001
 B480004
 B611001
@@ -1280,6 +1282,10 @@
 B730012
 B730013
 B750A07
+B851005
+B851006
+B853001
+BA12018
 BA14001
 BA14002
 BA14003
@@ -1287,6 +1293,7 @@
 BB42001
 BB42002
 BB42003
+BC54004
 BD30001
 BD30002
 BD30003
@@ -1321,6 +1328,7 @@
 CD30011
 CD30012
 CXAC009
+CXAG003
 CXB3023
 CXB3024
 F611A00
@@ -1333,23 +1341,21 @@
 
 (Refer to the main list for details)
 
-B3A2018	2019-01-01
 B452001	2019-07-01
+B452002	2019-10-01
 B831006	2019-07-01
-B851005	2019-01-01
-B851006	2019-01-01
 B851007	2019-07-01
-B853001	2019-01-01
 B854002	2019-04-01
 B854003	2019-04-01
 B854004	2019-04-01
-BA12018	2019-01-01
 BC40003	2019-04-01
-BC54004	2019-01-01
 BC60005	2019-04-01
 C452003	2019-07-01
+C452004	2019-10-01
+C452005	2019-10-01
+C452006	2019-10-01
 C452A01	2019-07-01
 C452A02	2019-07-01
 C452A03	2019-07-01
-CXAG003	2019-01-01
+
 

Questions? Ask the ACAA Technical Agent