CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2009/04/10 05:16:56	1.60
+++ acats/docs/mod_list.txt	2009/07/02 00:11:45	1.61
@@ -1,6 +1,6 @@
 ACATS Test Modification List for ACATS 3.0
-Version 3.0K
-April  9, 2009
+Version 3.0L
+July 1, 2009
 
 
 What is this?
@@ -17,21 +17,17 @@
 
 Changes from the last list:
 
-This list contains a number of test status changes.
+This list contains a number of test status changes; there are no new or modified
+tests.
 
-Test B431003 was revised to add additional cases after it was noted that it did
-not detect a likely error situation (where a compiler requires only the visible
-components to be provided).
-
 New tests that originated in the ACATS 3.0 release are required for conformity
-assessments using ACATS 3.0. New tests inserted between April 1, 2009 and July
-1, 2009 will become required for conformity assessments on January 1, 2010. 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 before October 1, 2008 are now
-required for conformity assessments. The effective dates of tests are marked in
-the lists.
+assessments using ACATS 3.0. New tests inserted between July 1, 2009 and October
+1, 2009 will become required for conformity assessments on April 1, 2010. New
+tests inserted between April 1, 2009 and July 1, 2009 will become required for
+conformity assessments on January 1, 2010. New tests inserted between January 1,
+2009 and April 1, 2009 will become required for conformity assessments on
+October 1, 2009. New tests inserted before January 1, 2009 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
 agent@ada-auth.org.
@@ -173,8 +169,7 @@
 	type.
 	VCS Label A3_0E: @404 must be initialized with Aux'Access.
 
-C3A0021 [Pending New] New VCS Label:A3_0F
-			Required after 2009-07-01
+C3A0021 [New] VCS Label:A3_0F
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access type.
@@ -182,8 +177,7 @@
 	VCS Label A3_0E: @427 must be initialized with Aux'Access.
 	VCS Label A3_0F: @409 and 432 must be initialized with Aux'Access.
 
-C3A0022 [Pending New] New VCS Label:A3_0E
-			Required after 2009-07-01
+C3A0022 [New] VCS Label:A3_0E
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access type.
@@ -199,8 +193,7 @@
 	access type.
 	VCS Label A3_0E: @402 must be initialized with Non_Null_Init.
 
-C3A0024 [Pending New] New VCS Label:A3_0F
-			Required after 2009-07-01
+C3A0024 [New] VCS Label:A3_0F
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access type.
@@ -210,16 +203,14 @@
 	VCS Label A3_0F: @379 and 398 must be initialized with
 	Non_Null_Init.
 
-C3A0025 [Pending New] New VCS Label:A3_0G
-			Required after 2009-07-01
+C3A0025 [New] VCS Label:A3_0G
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding anonymous
 	access-to-object type.
 	VCS Label A3_0E: @334 must be initialized with Aux'Access.
 	VCS Label A3_0G: Corrected a spelling error in the test objective.
 
-C3A0026 [Pending New] New VCS Label:A3_0G
-			Required after 2009-07-01
+C3A0026 [New] VCS Label:A3_0G
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding anonymous
 	access-to-subprogram type.
@@ -227,8 +218,7 @@
 	check. @406 must be initialized with Double'Access.
 	VCS Label A3_0G: Corrected a spelling error in the test objective.
 
-C3A0027 [Pending New] New VCS Label:A3_0G
-			Required after 2009-07-01
+C3A0027 [New] New VCS Label:A3_0G
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding anonymous
 	access-to-protected-subprogram type.
@@ -278,8 +268,7 @@
 	Foundation providing types to be accessed as a limited view
 	in order to test the usage of incomplete views.
 
-B3A1A01 [Pending New] New VCS Label:A3_0F
-			Required after 2009-07-01
+B3A1A01 [New] VCS Label:A3_0F
 	VCS Label A3_0D: Check that an untagged incomplete view cannot be
 	used as the subtype mark of a parameter, and that any incomplete
 	view cannot be used as the subtype mark of the result of a
@@ -288,21 +277,18 @@
 	Acc13; and @146 Acc14. @162-173 should be removed as they
 	violate 3.10.1(9.3/2).
 
-B3A1A02 [Pending New] New VCS Label:A3_0G
-			Required after 2009-07-01
+B3A1A02 [New] VCS Label:A3_0G
 	VCS Label A3_0D: Check that an incomplete view cannot be used in
 	the subtype indication of an object declaration, component
 	declaration, or allocator.
 	VCS Label A3_0G: Corrected test objective.
 
-B3A1A03 [Pending New] New VCS Label:A3_0G
-			Required after 2009-07-01
+B3A1A03 [New] VCS Label:A3_0G
 	VCS Label A2_0D: Check that an incomplete view cannot be used in
 	a use type clause.
 	VCS Label A3_0G: Corrected test objective.
 
-B3A1A04 [Pending New] New VCS Label:A3_0F
-			Required after 2009-07-01
+B3A1A04 [New] VCS Label:A3_0F
 	Check that a tagged incomplete view cannot be used as the prefix
 	of the Class attribute used in a context that does not allow a
 	tagged incomplete view.
@@ -323,8 +309,7 @@
 	of the visible components (but not the hidden ones) is not
 	accepted.
 
-C433001 [Allowed Modification] New VCS Label:A3_0J Org VCS Label: A3_0
-			Required after 2009-07-01
+C433001 [Modified] VCS Label:A3_0J
 	Messages @85, 107 should refer to Second_Component and messages
 	@88, 110 should refer to Last_Component.
 
@@ -363,8 +348,7 @@
 B740003 [Modified] VCS Label:A3_0D
 	The error @f1-106 can also be reported @f1-104.
 
-B831001 [Allowed Modification] New VCS Label:A3_0F Org VCS Label: A3_0
-			Required after 2009-04-01
+B831001 [Modified] VCS Label:A3_0F
 	VCS Label A3_0D: The generic @f0-82 is illegal because of
 	AI05-0073-1. "abstract" was removed from @f0-81, @f1-755, and
 	@f1-846.
@@ -402,15 +386,13 @@
 	Added function returning a task as an attribute prefix case from
 	C34008A.
 
-CA11023 [Allowed Modification] New VCS Label:A3_0J Org VCS Label: A3_0C
-			Required after 2009-07-01
+CA11023 [Modified] VCS Label:A3_0J
 	VCS Label A3_0C: @f2-190 should be Dept2 rather than Dept1.
 	"Return False;" should be added @f2-116.
 	VCS Label A3_0J: The main subprogram should be named CA110232
 	based on the conventions given in the ACATS User's Guide.
 
-CA12001 [Allowed Modification] New VCS Label:A3_0J Org VCS Label: A3_0
-			Required after 2009-07-01
+CA12001 [Modified] VCS Label:A3_0J
 	The main subprogram should be named CA120012
 	based on the conventions given in the ACATS User's Guide.
 
@@ -418,8 +400,7 @@
 	The limited with @f4-67 is illegal by 10.1.2(21/2), which is
 	not the intent expressed by the error comment.
 
-CC30003 [Pending New] New VCS Label: A3_0F
-			Required after 2009-07-01
+CC30003 [New] VCS Label: A3_0F
 	Check that a type derived from a generic formal tagged type
 	inherits primitives properly in an instance.
 
@@ -430,8 +411,7 @@
 	Declaration @103 is not illegal as Amendment repealed the relevant
 	rule.
 
-CXB3006 [Allowed Modification] New VCS Label:A3_0J Org VCS Label: A3_0
-			Required after 2009-07-01
+CXB3006 [Modified] VCS Label:A3_0J
 	Calls @258, 264 are ambigiuous because of new routines added by
 	Ada 2005; the calls should be qualified with the wchar_array type.
 
@@ -469,7 +449,8 @@
 (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_0K.Zip and Tar files on the ACAA web site.
+Mod_3_0K.Zip and Tar files on the ACAA web site.  (Note that there is no
+separate set of files for list 3.0L, as they are unchanged.)
 
 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.
@@ -504,13 +485,8 @@
 (Refer to the main list for details)
 
 B431003	2009-10-01
-C433001	2009-07-01
-CA11023	2009-07-01
-CA12001	2009-07-01
-CXB3006	2009-07-01
 
 
-
 Modified Tests
 
 (Refer to the main list for details)
@@ -526,9 +502,12 @@
 BXC3002
 BXE2009
 C34008A
+C433001
 C650003
 C990001
 CA11023
+CA12001
+CXB3006
 
 
 
@@ -545,6 +524,11 @@
 B3A1002
 B3A1003
 B3A1004
+B3A1005
+B3A1A01
+B3A1A02
+B3A1A03
+B3A1A04
 B650004
 B851002
 B851003
@@ -555,8 +539,13 @@
 C3A0018
 C3A0019
 C3A0020
+C3A0021
 C3A0022
 C3A0023
+C3A0024
+C3A0025
+C3A0026
+C3A0027
 C3A0028
 C3A0029
 C413006
@@ -565,6 +554,7 @@
 C650A01
 C851001
 C851002
+CC30003
 F3A1A00
 F650A00
 
@@ -574,16 +564,7 @@
 Pending New Tests
 
 (Refer to the main list for details)
+
+None.
 
-B3A1005	2009-07-01
-B3A1A01	2009-07-01
-B3A1A02	2009-07-01
-B3A1A03	2009-07-01
-B3A1A04	2009-07-01
-C3A0021	2009-07-01
-C3A0024	2009-07-01
-C3A0025	2009-07-01
-C3A0026	2009-07-01
-C3A0027	2009-07-01
-CC30003	2009-07-01
 

Questions? Ask the ACAA Technical Agent