CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2001/08/20 22:41:58	1.30
+++ acats/docs/mod_list.txt	2001/10/01 21:06:58	1.31
@@ -1,50 +1,52 @@
 ACATS Test Modification List
 
-Version 2.4D
-Augest 20, 2001
+Version 2.4E
+October 1, 2001
 
 
 Changes from the last list:
 
-The quarter has ended, so a batch of modified tests has become required for
-conformity assessments.
+Another three months have passed, meaning that a group of Corrigendum tests are
+now required for conformity assessments. Check the lists for details.
 
-C460012 contains a reference to the wrong discriminant. As this was a Pending
-New test, this change results in the test's required date being adjusted to
-April 1, 2002.
-
-C731001 outputs a lot of extra messages because the Verbose flag is set. That
-has been corrected.
-
-New tests inserted between July 1, 2001 and October 1, 2001 will become required
-for conformity assessments on April 1, 2002. 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 assessments on October 1, 2001. New tests added
-to the ACATS before January 1, 2001 are now required for conformity assessments
-(and all of these are included in ACATS 2.4). The effective dates of tests are
-marked in the lists.
+B460005 has the colon missing in the "Error:" comments (which mark the location
+of required errors); this difference causes problems for automatic test grading
+tools, so it have been eliminated.
+
+CXA5A10 tests on lines 172-202 that Constraint_Error is raised by an
+exponentiation operator with a zer left argument and a negative right argument,
+as described in A.5.1(30). However, A.5.1(30) only applies if Machine_Overflows
+is True, but the test failed to guard the subtest with such a check.
+
+New tests inserted between October 1, 2001 and January 1, 2002 will become
+required for conformity assessments on July 1, 2002. New tests inserted between
+July 1, 2001 and October 1, 2001 will become required for conformity
+assessments on April 1, 2002. New tests inserted between April 1, 2001 and July
+1, 2001 will become required for conformity assessments on January 1, 2002. New
+tests added to the ACATS before April 1, 2001 are now required for conformity
+assessments (and all of these are included in ACATS 2.4). The effective dates
+of tests are marked in the lists.
 
 Questions about this document? Contact the ACAA Technical Agent at
 agent@ada-auth.org.
 
 List explanation:
 
-Test numbers given are for the basic test.  Categories are "Withdrawn" (the test
-should not be processed for Ada conformity assessments); "Allowed Modification"
-(either the original test or the modified one should be processed for Ada
-conformity assessments); "Modified" (the modified test must be processed for Ada
-conformity assessments); "Pending New" (the test does not need to be processed
-for Ada conformity assessments, but will be added in the future); "New" (the
-test is processed for Ada conformity assessments).
+Test numbers given are for the basic test.  Categories are "Withdrawn" (the
+test should not be processed for Ada conformity assessments); "Allowed
+Modification" (either the original test or the modified one should be processed
+for Ada conformity assessments); "Modified" (the modified test must be
+processed for Ada conformity assessments); "Pending New" (the test does not
+need to be processed for Ada conformity assessments, but will be added in the
+future); "New" (the test is processed for Ada conformity assessments).
 
 ACATS version labels are provided with all new and modified tests. Use this
 label to retrieve the test from the ACATS VCS. See "How to get new and modified
 tests".
 
-In citations, line numbers are given relative to the start of a test file in the
-format of '@<line#,line#,...>'; if a test program comprises more than one file,
-then the particular file will be indicated by "fn", where "n" is the
+In citations, line numbers are given relative to the start of a test file in
+the format of '@<line#,line#,...>'; if a test program comprises more than one
+file, then the particular file will be indicated by "fn", where "n" is the
 test-program name's file-designator numeral.  E.g., "B38103E : @f1-31, ... "
 denotes test file b38103e1.ada. In cases where there are two or more rationales
 for different errors in a test program, these different rationales with their
@@ -65,6 +67,10 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
+B330001 [Allowed Modification] New VCS Label: A2_4D Org VCS Label: A2_4
+			Required after 2002-01-01
+	Corrected description of error @245.
+
 B371001 [Pending New] New VCS Label: A2_4C
 			Required after 2002-01-01
 	[A2_4A] Check that a discriminant_constraint of a general access
@@ -88,8 +94,7 @@
 	legal and can be used in a dispatching call.
 	[A2_4B] Corrected result for 9 = 9 case.
 
-C392014 [Pending New] New VCS Label: A2_4A
-			Required after 2001-10-01
+C392014 [New] VCS Label: A2_4A
 	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.
@@ -99,11 +104,15 @@
 	Check that a derived access type has the same storage pool as its
 	parent.  (Technical Corrigendum 3.10(7/1)).
 
-B460005 [Pending New] New VCS Label: A2_4A
-			Required after 2001-10-01
+B460005 [New] New VCS Label: A2_4A
 	Check that in a view conversion of arrays, the target and operand
 	components may not have different aliasing.
 
+B460005 [Allowed Modification] New VCS Label: A2_4E Org VCS Label: A2_4A
+			Required after 2002-04-01
+	Corrected syntax of "Error:" comments (which mark the location
+	of errors.)
+
 C460012 [Pending New] New VCS Label: A2_4D
 			Required after 2002-04-01
 	Check that the view created by a view conversion is constrained if
@@ -111,28 +120,23 @@
 	4.6(54/1)).
 	[A2_4D] Corrected a discriminant reference.
 
-C490001 [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
-			Required after 2001-10-01
+C490001 [Modified] VCS Label: A2_4C
 	Removed requirement to round away from zero, as this conflicts
 	with AI-268.
 
-C490002 [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
-			Required after 2001-10-01
+C490002 [Modified] VCS Label: A2_4C
 	Removed requirement to round away from zero, as this conflicts
 	with AI-268.
 
-C52011A [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
-			Required after 2001-10-01
+C52011A [Modified] VCS Label: A2_4C
 	The assignments and checks @114 and 129 could be eliminated by
 	11.6 permissions.
 
-C52011B [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
-			Required after 2001-10-01
+C52011B [Modified] VCS Label: A2_4C
 	The assignments and checks @124 and 139 could be eliminated by
 	11.6 permissions.
 
-C58005H [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
-			Required after 2001-10-01
+C58005H [Modified] VCS Label: A2_4C
 	The assignments and checks @117, 126, 135, and 144 could be
 	eliminated by 11.6 permissions.
 
@@ -149,8 +153,7 @@
 	Call to Good Adjust @291 need not be made (by change in Technical
 	Corrigendum).
 
-C761011 [Pending New] New VCS Label: A2_4A
-			Required after 2001-10-01
+C761011 [New] VCS Label: A2_4A
 	Check that the failure of a finalization of an object (in various
       cases) does not prevent other needed finalizations from occurring.
 
@@ -163,18 +166,15 @@
       unit.  Include the decendant of an untagged generic formal derived
       type case. (Technical Corrigendum 8.5.1(5/1)).
 
-C86003A [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
-			Required after 2001-10-01
+C86003A [Modified] VCS Label: A2_4C
 	The assignment and check @76 could be eliminated by 11.6
 	permissions.
 
-C93005F [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
-			Required after 2001-10-01
+C93005F [Modified] VCS Label: A2_4C
 	The assignment and check @228 could be eliminated by 11.6
 	permissions.
 
-C94001E [Allowed Modification] New VCS Label: A2_4C Org VCS Label: A2_4
-			Required after 2001-10-01
+C94001E [Modified] VCS Label: A2_4C
 	The assignment and check @58 could be eliminated by 11.6
       permissions.
 
@@ -182,8 +182,7 @@
 	Requirements on the maximum size of 'Max_Size_in_Storage_Elements
 	are not justified by 13.11.1:3.
 
-CDD1001 [Pending New] New VCS Label: A2_4A
-			Required after 2001-10-01
+CDD1001 [New] VCS Label: A2_4A
 	Check that components of Stream_Element_Array are aliased.
 	Corrigendum 13.13.1(4/1).
 
@@ -202,22 +201,17 @@
 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
+CXA4005 [New] New VCS Label: A2_4A
 	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.]
+	[Note: This is an enhancement of an existing test, and replaces
+	it.]
 
-CXA4016 [Pending New] New VCS Label: A2_4A
-			Required after 2001-10-01
+CXA4016 [New] VCS Label: A2_4A
 	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.]
+	[Note: This is an enhancement of an existing test, and replaces
+	it.]
 
-CXA4034 [Pending New] New VCS Label: A2_4A
-			Required after 2001-10-01
+CXA4034 [New] VCS Label: A2_4A
 	Check that Ada.Strings.Bounded.Slice and
       Ada.Strings.Wide_Bounded.Slice raise Index_Error as needed.
 
@@ -225,33 +219,32 @@
 	Conversions @361 and @408 may raise Constraint_Error if Integer is
 	16-bits in size.
 
-CXAA019 [Pending New] New VCS Label: A2_4A
-			Required after 2001-10-01
+CXA5A10 [Allowed Modification] New VCS Label: A2_4E Org VCS Label: A2_4
+			Required after 2002-04-01
+	The subtest @172-202 should apply only if 'Machine_Overflows is
+	True (A.5.1(28, 30)).
+
+CXAA019 [New] VCS Label: A2_4A
 	Check that the parameter mode of Ada.Text_IO.Flush and
 	Ada.Streams.Stream_IO.Flush is 'in'.
 
 CXAC002 [Modified] VCS Label: A2_4A
 	The Not_Applicable case @276 should raise Incomplete.
 
-CXAC003 [Pending New] New VCS Label: A2_4A
-			Required after 2001-10-01
+CXAC003 [New] New VCS Label: A2_4A
 	Added a check that Stream raises Status_Error if its argument
 	is not open.
-	[Note: This is an enhancement of an existing test; the
-	existing test remains required for conformity assessment until
-	this new test becomes effective.]
+	[Note: This is an enhancement of an existing test, and replaces
+	it.]
 
-CXAC005 [Pending New] New VCS Label: A2_4A
-			Required after 2001-10-01
+CXAC005 [New] VCS Label: A2_4A
 	Check that operations of Stream_IO update the index properly.
 
 CXB3010 [Modified] VCS Label: A2_4A
 	Assignment @287 might raise Constraint_Error, obscuring the
 	subtest objective.
 
-MACRO.DFS [Allowed Modification] New VCS Label: A2_4B Org VCS Label:
-A2_4
-			Required after 2001-10-01
+MACRO.DFS [Modified] VCS Label: A2_4B
 	Substitutions for withdrawn tests were removed.
 
 ===== Annex C =====
@@ -282,12 +275,10 @@
 
 ===== Annex G =====
 
-CXG2008 [Pending New] New VCS Label: A2_4A
-			Required after 2001-10-01
+CXG2008 [New] VCS Label: A2_4A
 	Added checks that the non-generic packages are declared Pure.
-	[Note: This is an enhancement of an existing test; the
-	existing test remains required for conformity assessment until
-	this new test becomes effective.]
+	[Note: This is an enhancement of an existing test, and replaces
+	it.]
 
 ===== Annex H =====
 
@@ -303,15 +294,15 @@
 (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_4D Zip and Tar files on the ACAA web site.
+Mod_2_4E 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.
 Select the revision you want (usually the most recent) and it will be retrieved
 for you. Tests are stored in directories that correspond to the test's prefix.
-For instance, the test CD92001.A will be found in the CD directory. You can also
-browse the differences between versions of a test. [In case of a conflict, the
-files in the ACATS VCS should be considered the 'official' versions.]
+For instance, the test CD92001.A will be found in the CD directory. You can
+also browse the differences between versions of a test. [In case of a conflict,
+the files in the ACATS VCS should be considered the 'official' versions.]
 
 If you cannot get the files from the official site or you cannot get the files
 in a format appropriate for your processor, please contact your ACAL.
@@ -335,23 +326,25 @@
 
 (Refer to the main list for details)
 
-C490001	2001-10-01
-C490002	2001-10-01
-C52011A	2001-10-01
-C52011B	2001-10-01
-C58005H	2001-10-01
+B330001	2002-01-01
+B460005	2002-04-01
 C731001	2002-01-01
-C86003A	2001-10-01
-C93005F	2001-10-01
-C94001E	2001-10-01
-MACRO.DFS	2001-10-01
+CXA5A10	2002-04-01
 
 
 Modified Tests
 
 (Refer to the main list for details)
 
+C490001
+C490002
+C52011A
+C52011B
+C58005H
 C761006
+C86003A
+C93005F
+C94001E
 CDB0A02
 CXA5011
 CXAC002
@@ -359,13 +352,24 @@
 CXE4002
 CXE4004
 CXE4005
+MACRO.DFS
 
 
 New Tests
 
 (Refer to the main list for details)
 
-[None.]
+B460005
+C392014
+C761011
+CDD1001
+CXA4005
+CXA4016
+CXA4034
+CXAA019
+CXAC003
+CXAC005
+CXG2008
 
 
 Pending New Tests
@@ -374,22 +378,10 @@
 
 B371001	2002-01-01
 B392011	2002-01-01
-B460005	2001-10-01
 B851001	2002-01-01
 C392013	2002-01-01
-C392014	2001-10-01
 C3A0015	2002-01-01
 C460012	2002-04-01
 C760013	2002-01-01
-C761011	2001-10-01
-CDD1001	2001-10-01
 CDD2001	2002-01-01
-CXA4005	2001-10-01
-CXA4016	2001-10-01
-CXA4034	2001-10-01
-CXAA019	2001-10-01
-CXAC003	2001-10-01
-CXAC005	2001-10-01
-CXG2008	2001-10-01
-
 

Questions? Ask the ACAA Technical Agent