CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2019/03/30 02:32:39	1.92
+++ acats/docs/mod_list.txt	2019/06/29 01:36:26	1.93
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1L
-March 29, 2019
+Version 4.1M
+June 28, 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.1V for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1W 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,22 +22,32 @@
 
 Changes from the last list:
 
-A handful of tests changed status on January 1st; see the lists for the details.
+A handful of tests changed status on April 1st; see the lists for the details.
 
-New test B452002 checks that the Name Resolution and Legality Rules for the
-universal access "=" operator are enforced.
+Corrected new test C452006 to avoid cases where the membership is illegal by
+AI12-0328-1.
 
-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.
+Created new tests B940008, B940009, B940010, B940011,and B952005 to check
+various legality rules associated with “implementing” protected operations.
+Created new test C940017 to verify that dispatching works for protected
+interfaces.
+
+Revised tests C94001A, C94001B, C94001C, C94002A, C94004A, C94004B, C94004C,
+C94005A, C94005B, C94007A, C94010A, C95012A, and C97307A in order to replace
+excessively long delays with Impdef constants. This should reduce the runtime of
+the ACATS by about 27 minutes (using the default Impdef values).
+
+The reading of the manual grading file was made more resilient by discarding all
+trailing white space. This helps especially on Unix-like systems when reading a
+Windows-formatted file.
+
+New tests posted between April 1, 2019 and June 30, 2019 will become required
+for conformity assessments on January 1, 2020. 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 before October 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.
@@ -277,10 +287,12 @@
 	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.
+C452006 [Pending New] New VCS Label: A4_1M
+			Required after 2020-01-01
+	[VCS Label A4_1L] Check that memberships with multiple choices
+	call the correct equality operation for access types.
+	[VCS Label A4_1M] Corrected to remove cases made illegal by
+	AI12-0328-1.
 
 C452A01 [Pending New] New VCS Label: A4_1K
 			Required after 2019-07-01
@@ -720,27 +732,23 @@
 	Checks that a renamed limited view cannot be used where there is
 	not a with for the original package.
 
-B854002 [Pending New] New VCS Label: A4_1J
-			Required after 2019-04-01
+B854002 [New] VCS Label: A4_1J
 	[VCS Label A4_1H] When parameter or result has a null exclusion
 	for a subprogram rename, check that the subtype of the
 	corresponding parameter or result of the renamed subprogram must
 	exclude null.
 	[VCS Label A4_1J] Corrected wording of the second test objective.
 
-B854003 [Pending New] New VCS Label: A4_1J
-			Required after 2019-04-01
+B854003 [New] VCS Label: A4_1J
 	Check various rules about renames as body: conformance of both the
 	renaming and renamed entity, and renaming of abstract and
 	intrinsic subprograms.
 
-B854004 [Pending New] New VCS Label: A4_1J
-			Required after 2019-04-01
+B854004 [New] VCS Label: A4_1J
 	Check that renaming a subprogram that requires overriding is
 	illegal.
 
-B854005 [Pending New] New VCS Label: A4_1J
-			Required after 2019-04-01
+B854005 [New] VCS Label: A4_1J
 	Check that a renaming of a prefixed view is illegal if renaming
 	the prefix as an object is illegal.
 
@@ -767,9 +775,93 @@
 B940004 [Modified] VCS Label: A4_1C
 	Split into 8 files; added location indicators.
 
+B940008 [Pending New] New VCS Label: A4_1M
+			Required after 2020-01-01
+	Check the overriding indicators work properly on protected
+	subprograms.
+
+B940009 [Pending New] New VCS Label: A4_1M
+			Required after 2020-01-01
+	Check that the mode and type of the first parameter of protected
+	operations that implement inherited subprograms is correct.
+
+B940010 [Pending New] New VCS Label: A4_1M
+			Required after 2020-01-01
+	Check that a protected operation and a primitive subprogram if a
+	tagged protected type cannot have the same profile.
+
+B940011 [Pending New] New VCS Label: A4_1M
+			Required after 2020-01-01
+	Check that an protected operation and the associated inherited
+	operation must subtype conform. Check that inherited operations
+	must be implemented, overridden, or be a null procedure.
+
+C940017 [Pending New] New VCS Label: A4_1M
+			Required after 2020-01-01
+	Check that dispatching calls can be made through a protected
+	interface and that they can be implemented with protected
+	subprograms and entries.
+
+C94001A [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
+C94001B [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
+C94001C [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
+C94002A [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
+C94004A [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
+C94004B [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
+C94004C [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
+C94005A [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
+C94005B [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
+C94007A [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
+C94010A [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
 B95007B [Modified] VCS Label: A4_1A
 	Fixed error markers @62,66,70 to match ACATS standards.
 
+C95012A [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
+B952005 [Pending New] New VCS Label: A4_1M
+			Required after 2020-01-01
+	Check the overriding indicators work properly on task and
+	protected entries.
+
+C97307A [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1
+			Required after 2019-10-01
+	Revised test to replace excessive delays with Impdef constants.
+
 BA1001D [Modified] VCS Label: A4_1G
 	Revised to mark the main subprogram as optional, as it is not
 	necessary to check the test objective. Added error location
@@ -844,8 +936,7 @@
 CC3601C [Modified] VCS Label: A4_1E
 	Moved “=” for type Rec in order that it not violate 4.5.2(9.8/4).
 
-BC40003 [Pending New] New VCS Label: A4_1J
-			Required after 2019-04-01
+BC40003 [Pending New] VCS Label: A4_1J
 	[VCS A4_1H] Checks that the subtype of the actual for a generic
 	formal object with a null exclusion must exclude null.
 	[VCS A4_1J] Revised test to eliminate cases whose result would be
@@ -862,8 +953,7 @@
 	Checks that the null exclusion of the formal type and of the
 	actual subtype for a generic formal access type must match.
 
-BC60005 [Pending New] New VCS Label: A4_1J
-			Required after 2019-04-01
+BC60005 [New] VCS Label: A4_1J
 	[VCS Label A4_1H] Checks that the subtype of a parameter or result
 	of the actual subprogram for a generic formal subprogram where the
 	corresponding parameter or result has a null exclusion must
@@ -1067,6 +1157,11 @@
 	Increased table sizes as the new tests have caused grading the
 	entire ACATS to exceed the old limits.
 
+GRD_DATA.A [Allowed Modification] New VCS Label: A4_1M Org VCS Label: A4_1D
+			Required after 2019-10-01
+	Generalized reading of white space in order to be more resilient,
+	especially on Unix-like systems.
+
 SPECIAL.A [Modified] VCS Label: A4_1J
 	[VCS Label A4_1C] Added test BA21005 to the list of optional main
 	subprograms.
@@ -1092,7 +1187,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1L.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1M.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
@@ -1134,7 +1229,20 @@
 
 (Refer to the main list for details)
 
-[None in this list.]
+C94001A	2019-10-01
+C94001B	2019-10-01
+C94001C	2019-10-01
+C94002A	2019-10-01
+C94004A	2019-10-01
+C94004B	2019-10-01
+C94004C	2019-10-01
+C94005A	2019-10-01
+C94005B	2019-10-01
+C94007A	2019-10-01
+C94010A	2019-10-01
+C95012A	2019-10-01
+C97307A	2019-10-01
+GRD_DATA	2019-10-01
 
 Modified Tests
 
@@ -1241,7 +1349,7 @@
 LXH4013
 LXH4014
 GRADE
-GRD_DATA
+GRD_DATA [VCS Label A4_1D]
 SPECIAL
 SUMMARY
 TCTOUCH.ADA
@@ -1285,6 +1393,9 @@
 B851005
 B851006
 B853001
+B854002
+B854003
+B854004
 BA12018
 BA14001
 BA14002
@@ -1293,7 +1404,9 @@
 BB42001
 BB42002
 BB42003
+BC40003
 BC54004
+BC60005
 BD30001
 BD30002
 BD30003
@@ -1345,17 +1458,17 @@
 B452002	2019-10-01
 B831006	2019-07-01
 B851007	2019-07-01
-B854002	2019-04-01
-B854003	2019-04-01
-B854004	2019-04-01
-BC40003	2019-04-01
-BC60005	2019-04-01
+B940008	2020-01-01
+B940009	2020-01-01
+B940010	2020-01-01
+B940011	2020-01-01
+B952005	2020-01-01
 C452003	2019-07-01
 C452004	2019-10-01
 C452005	2019-10-01
-C452006	2019-10-01
+C452006	2020-01-01
 C452A01	2019-07-01
 C452A02	2019-07-01
 C452A03	2019-07-01
-
+C940017	2020-01-01
 

Questions? Ask the ACAA Technical Agent