CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2008/12/06 03:43:55	1.57
+++ acats/docs/mod_list.txt	2009/01/03 00:25:22	1.58
@@ -1,6 +1,6 @@
 ACATS Test Modification List for ACATS 3.0
-Version 3.0G
-December  5, 2008
+Version 3.0H
+January  2, 2009
 
 
 What is this?
@@ -17,20 +17,16 @@
 
 Changes from the last list:
 
-Test Objective spelling and grammar was corrected in tests B3A1A02, B3A1A03, C3A0025,
-C3A0026, C3A0027, and C650003.
+This list just contains a number of test status changes; there are no new or
+modified tests .
 
-B394A03, B394A04, and B394A05 had some declarations that violate 7.3(7.1/2) and
-12.5.1(5/2).
-
-
 New tests that originated in the ACATS 3.0 release are required for conformity
-assessments using ACATS 3.0. New tests inserted between October 1, 2008 and
-January 1, 2009 will become required for conformity assessments on July 1,
-2009. New tests inserted between July 1, 2008 and October 1, 2008 will become
-required for conformity assessments on April 1, 2009. New tests inserted between
-April 1, 2008 and July 1, 2008 will become required for conformity assessments
-on January 1, 2009. New tests inserted before April 1, 2008 are now required for
+assessments using ACATS 3.0. New tests inserted between January 1, 2009 and
+April 1, 2009 will become required for conformity assessments on October 1,
+2009. New tests inserted between October 1, 2008 and January 1, 2009 will become
+required for conformity assessments on July 1, 2009. New tests inserted between
+July 1, 2008 and October 1, 2008 will become required for conformity assessments
+on April 1, 2009. New tests inserted before July 1, 2008 are now required for
 conformity assessments. The effective dates of tests are marked in the lists.
 
 Questions about this document? Contact the ACAA Technical Agent at
@@ -38,7 +34,11 @@
 
 Notice:
 
-The ACAA has created and maintains the Ada Conformity Assessment Test Suite for the purpose of conformity assessments conducted in accordance with the International Standard ISO/IEC 18009 - Ada: Conformity assessment of a language processor. This test sui
te should not be used to make claims of conformance unless used in accordance with ISO/IEC 18009 and any applicable ACAA procedures.
+The ACAA has created and maintains the Ada Conformity Assessment Test Suite for
+the purpose of conformity assessments conducted in accordance with the
+International Standard ISO/IEC 18009 - Ada: Conformity assessment of a language
+processor. This test suite should not be used to make claims of conformance
+unless used in accordance with ISO/IEC 18009 and any applicable ACAA procedures.
 
 List explanation:
 
@@ -82,12 +82,9 @@
 	Revised to eliminate function V @73-76 and its uses, as it
 	attempts to return an existing object of a limited type.
 
-B371001 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
+B371001 [New] VCS Label:A3_0D
 	Replaces the previous B371001 to include checks for the rule
-	improvements of AI05-0041-1. [As this is an replacement, the
-	original test version (VCS Label: A3_0) can be used for conformity
-	assessments until the above date.]
+	improvements of AI05-0041-1.
 
 C38006A [Withdrawn] Org VCS Label: A3_0C
 	This test has been replaced by new test C3A0016.
@@ -101,8 +98,7 @@
 B38101C [Withdrawn] Org VCS Label: A3_0D
 	This test has been replaced by new test B3A1002.
 
-C393013 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
+C393013 [New] VCS Label:A3_0D
 	Check that functions with controlling results are automatically
 	inherited correctly for null type extensions.
 
@@ -125,24 +121,20 @@
 	Decls @78,108 must be synchronized instead of limited; they
 	violate 7.3(7.1/2) and 12.5.1(5/2), respectively.
 
-B3A0005 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
+B3A0005 [New] VCS Label:A3_0D
 	Check that a dereference of an anonymous access-to-constant type
 	is a constant.
 
-B3A0006 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
+B3A0006 [New] VCS Label:A3_0D
 	Check that an anonymous access-to-variable type cannot designate
 	a constant.
 
-B3A0007 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
+B3A0007 [New] VCS Label:A3_0D
 	Check that a null_exclusion cannot be given in a construct
 	if the subtype mark is not an access type or if it excludes
 	null.
 
-B3A0008 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
+B3A0008 [New] VCS Label:A3_0D
 	Check that a null_exclusion cannot be given in a construct
 	if the subtype mark is a generic formal type that excludes
 	null.
@@ -261,14 +253,12 @@
 	named access-to-protected-subprogram type.
 	VCS Label A3_0E: @420 must be initialized with PO.Double'Access.
 
-B3A1001 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
+B3A1001 [New] VCS Label:A3_0D
 	Check that an incomplete type must be completed, and must be
 	completed in the same declaration list unless it is given
 	in the private part of a package.
 
-B3A1002 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
+B3A1002 [New] VCS Label:A3_0D
 	Check that an incomplete type must be completed, and must be
 	completed in the same declaration list unless it is given
 	in the private part of a package  generic package cases.
@@ -280,8 +270,7 @@
 	private extension, or a subtype.
 	VCS Label A3_0E: Allow errors @110 and @111.
 
-B3A1004 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
+B3A1004 [New] VCS Label:A3_0D
 	Check that a tagged incomplete type cannot be completed with an
 	untagged type.
 
@@ -291,8 +280,7 @@
 	in a private part cannot be given unless the completion of the
 	private type is also in the same private part.
 
-F3A1A00 [Pending New] New VCS Label: A3_0D
-			Required after 2009-01-01
+F3A1A00 [New] VCS Label: A3_0D
 	Foundation providing types to be accessed as a limited view
 	in order to test the usage of incomplete views.
 
@@ -472,7 +460,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_3_0G.Zip and Tar files on the ACAA web site.
+Mod_3_0H.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.
@@ -505,12 +493,13 @@
 Allowed Modification Tests
 
 (Refer to the main list for details)
+
+B394A03	2009-04-01
+B394A04	2009-04-01
+B394A05	2009-04-01
+B831001	2009-04-01
+C650003	2009-04-01
 
-B394A03	 2009-04-01
-B394A04	 2009-04-01
-B394A05	 2009-04-01
-B831001	 2009-04-01
-C650003	 2009-04-01
 
 
 Modified Tests
@@ -534,11 +523,21 @@
 (Refer to the main list for details)
 
 B650004
+B371001
+B3A0005
+B3A0006
+B3A0007
+B3A0008
+B3A1001
+B3A1002
+B3A1004
+C393013
 C3A0016
 C3A0017
 C413006
 C650002
 C650003
+F3A1A00
 
 
 
@@ -546,15 +545,7 @@
 
 (Refer to the main list for details)
 
-B371001	2009-01-01
-B3A0005	2009-01-01
-B3A0006	2009-01-01
-B3A0007	2009-01-01
-B3A0008	2009-01-01
-B3A1001	2009-01-01
-B3A1002	2009-01-01
 B3A1003	2009-04-01
-B3A1004	2009-01-01
 B3A1005	2009-07-01
 B3A1A01	2009-07-01
 B3A1A02	2009-07-01
@@ -563,7 +554,6 @@
 B851002	2009-04-01
 B851003	2009-04-01
 B851004	2009-04-01
-C393013	2009-01-01
 C3A0018	2009-04-01
 C3A0019	2009-04-01
 C3A0020	2009-04-01
@@ -572,14 +562,13 @@
 C3A0023	2009-04-01
 C3A0024	2009-07-01
 C3A0025	2009-07-01
-C3A0026	2009-04-01
-C3A0027	2009-04-01
+C3A0026	2009-07-01
+C3A0027	2009-07-01
 C3A0028	2009-04-01
 C3A0029	2009-04-01
 C650A01	2009-04-01
 C851001	2009-04-01
 C851002	2009-04-01
 CC30003	2009-07-01
-F3A1A00	2009-01-01
 F650A00	2009-04-01
 

Questions? Ask the ACAA Technical Agent