CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2009/03/31 03:17:38	1.59
+++ acats/docs/mod_list.txt	2009/04/10 05:16:56	1.60
@@ -1,6 +1,6 @@
 ACATS Test Modification List for ACATS 3.0
-Version 3.0J
-March 30, 2009
+Version 3.0K
+April  9, 2009
 
 
 What is this?
@@ -17,24 +17,21 @@
 
 Changes from the last list:
 
-C433001 has a number of misleading error messages, which have been corrected.
+This list contains a number of test status changes.
 
-The main subprograms of tests CA11023 and CA12001 don't meet the conventions
-specified in clause 4.3.3 of the ACATS User's guide.
+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).
 
-CXB3006 has two calls that are ambiguous because of routines added by Ada 2005.
-
-Note that there is no 3.0I version of the AML; we don't use I or O because of
-the possible confusion with numbers.
-
 New tests that originated in the ACATS 3.0 release are required for conformity
-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.
+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.
 
 Questions about this document? Contact the ACAA Technical Agent at
 agent@ada-auth.org.
@@ -49,12 +46,12 @@
 
 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”
+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
+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
@@ -113,18 +110,15 @@
 	Revised to add "B394A02." @121 in front of Interf01 so that legal
 	type is used.
 
-B394A03 [Allowed Modification] New VCS Label:A3_0G Org VCS Label: A3_0
-			Required after 2009-04-01
+B394A03 [Modified] VCS Label:A3_0G
 	Decls @78,108 must be synchronized instead of limited; they
 	violate 7.3(7.1/2) and 12.5.1(5/2), respectively.
 
-B394A04 [Allowed Modification] New VCS Label:A3_0G Org VCS Label: A3_0
-			Required after 2009-04-01
+B394A04 [Modified] VCS Label:A3_0G
 	Decls @76,106 must be synchronized instead of limited; they
 	violate 7.3(7.1/2) and 12.5.1(5/2), respectively.
 
-B394A05 [Allowed Modification] New VCS Label:A3_0G Org VCS Label: A3_0
-			Required after 2009-04-01
+B394A05 [Modified] VCS Label:A3_0G
 	Decls @78,108 must be synchronized instead of limited; they
 	violate 7.3(7.1/2) and 12.5.1(5/2), respectively.
 
@@ -156,16 +150,14 @@
 	Check that anonymous access-to-subprograms can be used in many
 	contexts, and that the associated function can be called.
 
-C3A0018 [Pending New] New VCS Label:A3_0E
-			Required after 2009-04-01
+C3A0018 [New] VCS Label:A3_0E
 	VCS Label A3_0D: Check that anonymous access-to-protected
 	subprograms can be used in many contexts, and that the associated
 	subprogram can be called.
 	VCS Label A3_0E: The wrong routine is returned @126; "protected"
 	is missing @123; @307 needs a call of Set_Factor.
 
-C3A0019 [Pending New] New VCS Label:A3_0E
-			Required after 2009-04-01
+C3A0019 [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.
@@ -173,8 +165,7 @@
 	type.
 	VCS Label A3_0E: @408 must be initialized with Aux'Access.
 
-C3A0020 [Pending New] New VCS Label:A3_0E
-			Required after 2009-04-01
+C3A0020 [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.
@@ -200,8 +191,7 @@
 	access type.
 	VCS Label A3_0E: @407 must be initialized with Non_Null_Init.
 
-C3A0023 [Pending New] New VCS Label:A3_0E
-			Required after 2009-04-01
+C3A0023 [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.
@@ -246,15 +236,13 @@
 	check. @415 must be initialized with PO.Double'Access.
 	VCS Label A3_0G: Corrected a spelling error in the test objective.
 
-C3A0028 [Pending New] New VCS Label:A3_0E
-			Required after 2009-04-01
+C3A0028 [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-to-subprogram type.
 	VCS Label A3_0E: @409 must be initialized with Double'Access.
 
-C3A0029 [Pending New] New VCS Label:A3_0E
-			Required after 2009-04-01
+C3A0029 [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-to-protected-subprogram type.
@@ -270,8 +258,7 @@
 	completed in the same declaration list unless it is given
 	in the private part of a package – generic package cases.
 
-B3A1003 [Pending New] New VCS Label:A3_0E
-			Required after 2009-04-01
+B3A1003 [New] VCS Label:A3_0E
 	VCS Label A3_0D: Check that an incomplete type cannot be
 	completed by another incomplete type, a private type, a
 	private extension, or a subtype.
@@ -330,6 +317,12 @@
 	Deadlock: returns @75,83 call an entry on a task that will not be
 	activated until the return statement finishes.
 
+B431003 [Allowed Modification] New VCS Label:A3_0K Org VCS Label: A3_0
+			Required after 2009-10-01
+	Test cases were added to check that an aggregate that gives all
+	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
 	Messages @85, 107 should refer to Second_Component and messages
@@ -342,9 +335,7 @@
 	Check that a return statement that applies to an entry body
 	or accept statement completes the body or statement.
 
-C650003 [New] VCS Label: A3_0C
-C650003 [Allowed Modification] New VCS Label:A3_0G Org VCS Label: A3_0C
-			Required after 2009-04-01
+C650003 [New] VCS Label: A3_0G
 	VCS Label A3_0C: Try various ways to complete an extended return
 	statement.
 	VCS Label A3_0G: Corrected test objective.
@@ -356,15 +347,13 @@
 	extended return statements; it no longer is a legacy test for
 	that reason.
 
-F650A00 [Pending New] New VCS Label: A3_0E
-			Required after 2009-04-01
+F650A00 [New] VCS Label: A3_0E
 	VCS Label A3_0C: Foundation providing a limited tagged type
 	hierarchy for extended return tests.
 	VCS Label A3_0E: Eliminated illegal reference to Time component
 	@150.
 
-C650A01 [Pending New] New VCS Label: A3_0E
-			Required after 2009-04-01
+C650A01 [New] VCS Label: A3_0E
 	VCS Label A3_0C: Check that Constraint_Error is raised if the
 	result of an anonymous access-to-specific-tagged does not have
 	the correct tag.
@@ -386,31 +375,26 @@
 	The declaration @309 has the wrong name (should be G) and profile
 	(Gfu should have a Boolean parameter).
 
-C851001 [Pending New] New VCS Label: A3_0E
-			Required after 2009-04-01
+C851001 [New] VCS Label: A3_0E
 	Check that when renaming an object that excludes null, the
 	renamed object still excludes null even if the
 	renaming_declaration does not include a null_exclusion.
 
-B851002 [Pending New] New VCS Label: A3_0E
-			Required after 2009-04-01
+B851002 [New] VCS Label: A3_0E
 	Check that the resolution and legality rules are enforced for
 	renaming of anonymous access-to-object types.
 
-C851002 [Pending New] New VCS Label: A3_0E
-			Required after 2009-04-01
+C851002 [New] VCS Label: A3_0E
 	For an object renaming with an anonymous access type, check that
 	the name is resolved if there is only one interpretation with a
 	correct anonymous access type, even if other interpretations
 	exist.
 
-B851003 [Pending New] New VCS Label: A3_0E
-			Required after 2009-04-01
+B851003 [New] VCS Label: A3_0E
 	Check that the resolution and legality rules are enforced for
 	renaming of anonymous access-to-subprogram types.
 
-B851004 [Pending New] New VCS Label: A3_0E
-			Required after 2009-04-01
+B851004 [New] VCS Label: A3_0E
 	Check that the legality rules for renamings that include a
 	null_exclusion are enforced.
 
@@ -430,9 +414,9 @@
 	The main subprogram should be named CA120012
 	based on the conventions given in the ACATS User's Guide.
 
-BA12010 [Modified] VCS Label:A3_0D
-	The limited with @f4-67 is illegal by 10.1.2(21/2), which is not
-	the intent expressed by the error comment.
+BA12010 [Modified] VCS Label: A3_0D
+	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
@@ -485,7 +469,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_0J.Zip and Tar files on the ACAA web site.
+Mod_3_0K.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.
@@ -518,16 +502,13 @@
 Allowed Modification Tests
 
 (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
 
-B394A03	2009-04-01
-B394A04	2009-04-01
-B394A05	2009-04-01
-B831001	2009-04-01
-C433001 2009-07-01
-C650003	2009-04-01
-CA11023 2009-07-01
-CA12001 2009-07-01
-CXB3006 2009-07-01
 
 
 Modified Tests
@@ -535,12 +516,17 @@
 (Refer to the main list for details)
 
 B394A02
+B394A03
+B394A04
+B394A05
 B740003
+B831001
 B831002
 BA12010
 BXC3002
 BXE2009
 C34008A
+C650003
 C990001
 CA11023
 
@@ -550,7 +536,6 @@
 
 (Refer to the main list for details)
 
-B650004
 B371001
 B3A0005
 B3A0006
@@ -558,14 +543,31 @@
 B3A0008
 B3A1001
 B3A1002
+B3A1003
 B3A1004
+B650004
+B851002
+B851003
+B851004
 C393013
 C3A0016
 C3A0017
+C3A0018
+C3A0019
+C3A0020
+C3A0022
+C3A0023
+C3A0028
+C3A0029
 C413006
 C650002
 C650003
+C650A01
+C851001
+C851002
 F3A1A00
+F650A00
+
 
 
 
@@ -573,30 +575,15 @@
 
 (Refer to the main list for details)
 
-B3A1003	2009-04-01
 B3A1005	2009-07-01
 B3A1A01	2009-07-01
 B3A1A02	2009-07-01
 B3A1A03	2009-07-01
 B3A1A04	2009-07-01
-B851002	2009-04-01
-B851003	2009-04-01
-B851004	2009-04-01
-C3A0018	2009-04-01
-C3A0019	2009-04-01
-C3A0020	2009-04-01
 C3A0021	2009-07-01
-C3A0022	2009-04-01
-C3A0023	2009-04-01
 C3A0024	2009-07-01
 C3A0025	2009-07-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
-F650A00	2009-04-01
 

Questions? Ask the ACAA Technical Agent