CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2001/12/06 01:34:14	1.32
+++ acats/docs/mod_list.txt	2002/01/23 00:45:18	1.33
@@ -1,48 +1,35 @@
 ACATS Test Modification List
 
-Version 2.4F
-December  5, 2001
+Version 2.4G
+January 22, 2002
 
 
 Changes from the last list:
 
-Test CXG2012 needs 'Machine to discard excess precision before making equality
-tests.
+Test B3A2009 contains a check which conflicts with the under consideration
+AI-229. AI-229 allows 'Access for subprograms in generic bodies if the access
+type is declared in the generic's specification; the RM language does not.
+Because of the inconsistency, this subtest has been commented out (the ACAA
+would like to allow vendors to implement the AI, as it is necessary to prevent
+dangling references to subprograms).
+
+Test CD72A02 has had the test description corrected (it referred to a
+non-existent test). No substantive changes were made to this test.
+
+Reminder: ACATS 2.5 will be issued in March. As with ACATS 2.3 and 2.4 before
+it, this is simply a "roll-up" of tests modified before January 1, 2002 and new
+tests added before October 1, 2001; the same tests would be required on April
+1, 2002 whether or not it is issued. The main advantage of new ACATS versions
+is that the documentation is updated to reflect changes from the past year.
+
+New tests inserted between January 1, 2002 and April 1, 2002 will become
+required for conformity assessments on October 1, 2002. 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 added to the ACATS before July 1, 2001 are now required for
+conformity assessments. The effective dates of tests are marked in the lists.
 
-Test C761012 was added to check that finalization of anonymous objects occurs
-no later than the finalization of the innermost enclosing master if a transfer
-of control or exception occurs. This is a clarification from Technical
-Corrigendum 1 (published June 2001), Defect Report 8652/0023, AI-00169.
-
-Test B854001 was added to check that a renames-as-body is illegal if the
-declaration occurs before the subprogram it completes is frozen, and the
-renaming renames the subprogram itself (directly or indirectly). This is a
-clarification from Technical Corrigendum 1, Defect Report 8652/0027, AI-00135.
-
-Test C854003 was added to check that a renames-as-body only requires mode
-conformance if it is not frozen. This is a change from Technical Corrigendum 1,
-Defect Report 8652/0028, AI-00145.
-
-Test CD10002 was added to check that operational items are allowed in some
-contexts where representation items are not. This is a change from Technical
-Corrigendum 1, Defect Report 8652/0009, AI-00137.
-
-A series of new tests and a foundation were added to test most of the stream
-attribute clarifications in Technical Corrigendum 1, Defect Report 8652/0040,
-AI-00108. (Note to implementers: see additional related stream attribute
-corrections in AI-00195; these are not yet tested but may constrain any
-corrections made.) The new tests are BDD2002, CDD2A01, CDD2A02, CDD2A03, and
-the foundation FDD2A00.
-
-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.
 
@@ -83,29 +70,30 @@
 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
+B330001 [Modified] VCS Label: A2_4D
 	Corrected description of error @245.
 
-B371001 [Pending New] New VCS Label: A2_4C
-			Required after 2002-01-01
+B371001 [New] VCS Label: A2_4C
 	[A2_4A] 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.
 	[A2_4C] Corrected the "ERROR:" comment format.
 
-B392011 [Pending New] New VCS Label: A2_4C
-			Required after 2002-01-01
+B392011 [New] VCS Label: A2_4C
 	Check that if the expected type for an expression is an anonymous
 	access-to-specific tagged type, then the object designated by the
 	expression shall not be dynamically tagged unless it is a
 	controlling operand in a call on a dispatching operation. Test
 	new cases, that is X'Access (where X is of a class-wide type) and
 	new T'Class'(...). (Technical Corrigendum 3.9.2(9/1)).
+
+B3A2009 [Allowed Modification] New VCS Label: A2_4G Org VCS Label: A2_4
+			Required after 2002-07-01
+	Commented out subtest at @145, as it conflicts with the under
+	consideration AI-229.
 
-C392013 [Pending New] New VCS Label: A2_4B
-			Required after 2002-01-01
+C392013 [New] New VCS Label: A2_4B
 	[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.
@@ -115,12 +103,11 @@
       class-wide type) and new T'Class'(...) are dynamically tagged and
       can be used in dispatching calls.
 
-C3A0015 [Pending New] New VCS Label: A2_4C
-			Required after 2002-01-01
+C3A0015 [New] VCS Label: A2_4C
 	Check that a derived access type has the same storage pool as its
 	parent.  (Technical Corrigendum 3.10(7/1)).
 
-B460005 [New] New VCS Label: A2_4A
+B460005 [New] VCS Label: A2_4A
 	Check that in a view conversion of arrays, the target and operand
 	components may not have different aliasing.
 
@@ -156,12 +143,10 @@
 	The assignments and checks @117, 126, 135, and 144 could be
 	eliminated by 11.6 permissions.
 
-C731001 [Allowed Modification] New VCS Label: A2_4D Org VCS Label: A2_4
-			Required after 2002-01-01
+C731001 [Modified] VCS Label: A2_4D
 	The Verbose flag @52 should be False.
 
-C760013 [Pending New] New VCS Label: A2_4C
-			Required after 2002-01-01
+C760013 [New] VCS Label: A2_4C
 	Check that Initialize is not called for default-initialized
 	Subcomponents of the ancestor type of an extension aggregate.
 
@@ -179,8 +164,7 @@
 	master if a transfer of control or exception occurs prior to its
 	normal finalization (Technical Corrigendum 1, 7.6.1(13.1/1)).
 
-B851001 [Pending New] New VCS Label: A2_4C
-			Required after 2002-01-01
+B851001 [New] VCS Label: A2_4C
 	Check that the restrictions on renaming components that depend on
       a discriminant are enforced in the public and private parts of an
       instance. Check that the restrictions on renaming components that
@@ -218,6 +202,10 @@
 	representation items are not. Corrigendum 7.3(5), 13.1(10),
 	13.1(11/1).
 
+CD72A02 [Allowed Modification] New VCS Label: A2_4G Org VCS Label: A2_4
+			Required after 2002-07-01
+	The test description @37-38 refers to a non-existent test.
+
 CDB0A02 [Modified] VCS Label: A2_4A
 	Requirements on the maximum size of 'Max_Size_in_Storage_Elements
 	are not justified by 13.11.1:3.
@@ -226,8 +214,7 @@
 	Check that components of Stream_Element_Array are aliased.
 	Corrigendum 13.13.1(4/1).
 
-CDD2001 [Pending New] New VCS Label: A2_4A
-			Required after 2002-01-01
+CDD2001 [New] VCS Label: A2_4A
 	Check that the default implementation of Read and Input raise
 	End_Error if the end of stream is reached before the reading of
 	a value is completed.  Corrigendum 13.13.2(35.1/1).
@@ -372,7 +359,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_4F Zip and Tar files on the ACAA web site.
+Mod_2_4G 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.
@@ -404,22 +391,24 @@
 
 (Refer to the main list for details)
 
-B330001	2002-01-01
-B460005	2002-04-01
-C731001	2002-01-01
-CXA5A10	2002-04-01
-CXG2012	2002-04-01
+B3A2009	 2002-07-01
+B460005	 2002-04-01
+CD72A02	 2002-07-01
+CXA5A10	 2002-04-01
+CXG2012	 2002-04-01
 
 
 Modified Tests
 
 (Refer to the main list for details)
 
+B330001
 C490001
 C490002
 C52011A
 C52011B
 C58005H
+C731001
 C761006
 C86003A
 C93005F
@@ -438,10 +427,17 @@
 
 (Refer to the main list for details)
 
+B371001
+B392011
 B460005
+B851001
+C392013
 C392014
+C3A0015
+C760013
 C761011
 CDD1001
+CDD2001
 CXA4005
 CXA4016
 CXA4034
@@ -455,20 +451,13 @@
 
 (Refer to the main list for details)
 
-B371001	2002-01-01
-B392011	2002-01-01
-B851001	2002-01-01
-BDD2002	2002-07-01
-C392013	2002-01-01
-C3A0015	2002-01-01
-C460012	2002-04-01
-C760013	2002-01-01
-C761012	2002-07-01
-B854001	2002-07-01
-C854003	2002-07-01
-CD10002	2002-07-01
-CDD2001	2002-01-01
-CDD2A01	2002-07-01
-CDD2A02	2002-07-01
-CDD2A03	2002-07-01
-FDD2A00	2002-07-01
+B854001	 2002-07-01
+BDD2002	 2002-07-01
+C460012	 2002-04-01
+C761012	 2002-07-01
+C854003	 2002-07-01
+CD10002	 2002-07-01
+CDD2A01	 2002-07-01
+CDD2A02	 2002-07-01
+CDD2A03	 2002-07-01
+FDD2A00	 2002-07-01

Questions? Ask the ACAA Technical Agent