CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2001/03/22 23:02:55	1.27
+++ acats/docs/mod_list.txt	2001/05/25 00:43:17	1.28
@@ -1,17 +1,26 @@
 ACATS Test Modification List
 
-Version 2.4A
-March 22, 2001
+Version 2.4B
+May 24, 2001
 
 
 Changes from the last list:
 
-This is the first list for ACATS 2.4. All new tests which have become effective
-on or before April 1, 2001 are now included in ACATS 2.4, along with all
-modified tests which were modified before January 1, 2001. All of these tests
-(now included in ACATS 2.4) have been removed from the modification list, so it
-is much shorter than the previous version.
+C392013 contains an error; the result for the 9 = 9 case is incorrect. As this
+was a Pending New test, this change results in the test's required date being
+adjusted to January 1, 2002.
+
+CB41004 was erroneously included as an "allowed modification" test in the 2.4A
+list; it is in fact part of ACATS 2.4.
+
+Tests CE2120A, CE2120B, and CE3119A are withdrawn. The ARG has informally
+determined that the second sentence of A.8.2(22) is Implementation Advice. The
+ACATS does not generally test Implementation Advice, and the only purpose of
+these tests is to check this sentence.
 
+The support file MACRO.DFS was modified to remove the substitution parameters
+for the three tests withdrawn above.
+
 New tests inserted between April 1, 2001 and July 1, 2001 will become required
 for conformity assessments on January 1, 2002. New tests inserted between
 January 1, 2001 and April 1, 2001 will become required for conformity
@@ -61,83 +70,88 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
-B371001 [Pending New] New VCS Label: A2_3J
+B371001 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Check that a discriminant_constraint of a general access type is
 	Illegal if there is a place within the immediate scope of the
 	designated subtype where the designated subtype's view is
 	unconstrained.
 
-C392013 [Pending New] New VCS Label: A2_3J
-			Required after 2001-10-01
-	Check that "/=" implicitly declared for tagged types is legal and
-	can be used in a dispatching call.
+C392013 [Pending New] New VCS Label: A2_4B
+			Required after 2002-01-01
+	[A2_4A] Check that "/=" implicitly declared for tagged types is
+	legal and can be used in a dispatching call.
+	[A2_4B] Corrected result for 9 = 9 case.
 
-C392014 [Pending New] New VCS Label: A2_3J
+C392014 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Check that objects designated by X'Access (where X is of a
       class-wide type) and new T'Class'(...) are dynamically tagged and
       can be used in dispatching calls.
 
-B460005 [Pending New] New VCS Label: A2_3J
+B460005 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Check that in a view conversion of arrays, the target and operand
 	components may not have different aliasing.
 
-C761006 [Allowed Modification] New VCS Label: A2_3J Org VCS Label: A2_3
+C761006 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
 			Required after 2001-07-01
 	Call to Good Adjust @291 need not be made (by change in Technical
 	Corrigendum).
 
-C761011 [Pending New] New VCS Label: A2_3J
+C761011 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Check that the failure of a finalization of an object (in various
       cases) does not prevent other needed finalizations from occurring.
 
-CB41004 [Allowed Modification] New VCS Label: A2_3F Org VCS Label: A2_3
-			Required after 2001-04-01
-	Removed subtest for Exception_Identity pending resolution of
-	AI-00241.
-
-CDB0A02 [Allowed Modification] New VCS Label: A2_3H Org VCS Label: A2_3
+CDB0A02 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
 			Required after 2001-07-01
 	Requirements on the maximum size of 'Max_Size_in_Storage_Elements
 	are not justified by 13.11.1:3.
+
+CE2120A [Withdrawn] Org VCS Label: A2_4
+	A.8.2(22) is Implementation Advice, not a requirement.
 
-CXA4005 [Pending New] New VCS Label: A2_3J
+CE2120B [Withdrawn] Org VCS Label: A2_4
+	A.8.2(22) is Implementation Advice, not a requirement.
+
+CE3119A [Withdrawn] Org VCS Label: A2_4
+	A.8.2(22) is Implementation Advice, not a requirement.
+
+CXA4005 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Added checks that the lower bound of function results is 1.
 	[Note: This is an enhancement of an existing test; the
 	existing test remains required for conformity assessment until
 	this new test becomes effective.]
 
-CXA4016 [Pending New] New VCS Label: A2_3J
+CXA4016 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Added checks that the lower bound of function results is 1.
 	[Note: This is an enhancement of an existing test; the
 	existing test remains required for conformity assessment until
 	this new test becomes effective.]
 
-CXA4034 [Pending New] New VCS Label: A2_3J
+CXA4034 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Check that Ada.Strings.Bounded.Slice and
       Ada.Strings.Wide_Bounded.Slice raise Index_Error as needed.
 
-CXA5011 [Allowed Modification] New VCS Label: A2_3J Org VCS Label: A2_3
+CXA5011 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
 			Required after 2001-07-01
 	Conversions @361 and @408 may raise Constraint_Error if Integer is
 	16-bits in size.
 
-CXAA019 [Pending New] New VCS Label: A2_3J
+CXAA019 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Check that the parameter mode of Ada.Text_IO.Flush and
 	Ada.Streams.Stream_IO.Flush is 'in'.
 
-CXAC002 [Allowed Modification] New VCS Label: A2_3J Org VCS Label: A2_3
+CXAC002 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
 			Required after 2001-07-01
 	The Not_Applicable case @276 should raise Incomplete.
 
-CXAC003 [Pending New] New VCS Label: A2_3J
+CXAC003 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Added a check that Stream raises Status_Error if its argument
 	is not open.
@@ -145,11 +159,11 @@
 	existing test remains required for conformity assessment until
 	this new test becomes effective.]
 
-CXAC005 [Pending New] New VCS Label: A2_3J
+CXAC005 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Check that operations of Stream_IO update the index properly.
 
-CXB3010 [Allowed Modification] New VCS Label: A2_3H Org VCS Label: A2_3
+CXB3010 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
 			Required after 2001-07-01
 	Assignment @287 might raise Constraint_Error, obscuring the
 	subtest objective.
@@ -164,17 +178,17 @@
 
 ===== Annex E =====
 
-CXE4002 [Allowed Modification] New VCS Label: A2_3H Org VCS Label: A2_3
+CXE4002 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
 			Required after 2001-07-01
 	A race condition at start time might cause the test to fail
 	unnecessarily.
 
-CXE4004 [Allowed Modification] New VCS Label: A2_3H Org VCS Label: A2_3
+CXE4004 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
 			Required after 2001-07-01
 	A race condition at start time might cause the test to fail
 	unnecessarily.
 
-CXE4005 [Allowed Modification] New VCS Label: A2_3H Org VCS Label: A2_3
+CXE4005 [Allowed Modification] New VCS Label: A2_4A Org VCS Label: A2_4
 			Required after 2001-07-01
 	A race condition at start time might cause the test to fail
 	unnecessarily.
@@ -185,7 +199,7 @@
 
 ===== Annex G =====
 
-CXG2008 [Pending New] New VCS Label: A2_3J
+CXG2008 [Pending New] New VCS Label: A2_4A
 			Required after 2001-10-01
 	Added checks that the non-generic packages are declared Pure.
 	[Note: This is an enhancement of an existing test; the
@@ -206,7 +220,7 @@
 (www.adaic.org). It also can be accessed directly at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_2_4A Zip and Tar files on the ACAA web site.
+Mod_2_4B Zip and Tar files on the ACAA web site.
 
 Individual new and modified tests can be retrieved from the ACATS VCS. Simply
 navigate to the appropriate directory (folder), and select the test you want.
@@ -228,7 +242,9 @@
 
 (Refer to the main list for details)
 
-[None]
+CE2120A
+CE2120B
+CE3119A
 
 
 
@@ -244,7 +260,7 @@
 CXE4002	2001-07-01
 CXE4004	2001-07-01
 CXE4005	2001-07-01
-
+MACRO.DFS 2001-10-01
 
 Modified Tests
 
@@ -265,7 +281,7 @@
 (Refer to the main list for details)
 
 B371001	2001-10-01
-C392013	2001-10-01
+C392013	2002-01-01
 C392014	2001-10-01
 B460005	2001-10-01
 C761011	2001-10-01

Questions? Ask the ACAA Technical Agent