CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2008/10/02 04:26:52	1.56
+++ acats/docs/mod_list.txt	2008/12/06 03:43:55	1.57
@@ -1,6 +1,6 @@
 ACATS Test Modification List for ACATS 3.0
-Version 3.0F
-October  1, 2008
+Version 3.0G
+December  5, 2008
 
 
 What is this?
@@ -17,28 +17,16 @@
 
 Changes from the last list:
 
-As this is the first list of a new quarter, some tests have changed status.
-Check the lists for details.
+Test Objective spelling and grammar was corrected in tests B3A1A02, B3A1A03, C3A0025,
+C3A0026, C3A0027, and C650003.
 
-Tests C3A0021 and C3A0024 are corrected in order to eliminate
-default-initialized null-excluding access objects (which always raise
-Constraint_Error).
+B394A03, B394A04, and B394A05 had some declarations that violate 7.3(7.1/2) and
+12.5.1(5/2).
 
-Test B3A1A01 was corrected to remove duplicate names and incorrect test cases.
 
-Test B831001 has a renames that attempts to rename a previously incorrect
-declaration. The ACATS is not about the quality of error recovery, so this was
-eliminated.
-
-New test CC30003 tests that types derived from generic formal tagged private
-types inherit primitive routines properly.
-
-New tests B3A1005 and B3A1A04 test that rules 3.10.1(9.3/2) and 3.10.1(9/2),
-respectively, are enforced properly.
-
 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 April 1,
+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
@@ -122,6 +110,21 @@
 	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
+	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
+	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
+	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
 	Check that a dereference of an anonymous access-to-constant type
@@ -218,28 +221,31 @@
 	VCS Label A3_0F: @379 and 398 must be initialized with
 	Non_Null_Init.
 
-C3A0025 [Pending New] New VCS Label:A3_0E
-			Required after 2009-04-01
+C3A0025 [Pending New] New VCS Label:A3_0G
+			Required after 2009-07-01
 	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_0E
-			Required after 2009-04-01
+C3A0026 [Pending New] New VCS Label:A3_0G
+			Required after 2009-07-01
 	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.
 	VCS Label A3_0E: Expressions @385 and @407 fail accessibility
 	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_0E
-			Required after 2009-04-01
+C3A0027 [Pending New] New VCS Label:A3_0G
+			Required after 2009-07-01
 	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.
 	VCS Label A3_0E: Expressions @393 and @416 fail accessibility
 	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
@@ -297,17 +303,21 @@
 	view cannot be used as the subtype mark of the result of a
 	function.
 	VCS Label A3_0F: @140 should be named Acc11; @142 Acc12; @144
-	Acc13; and @146 Acc14.
+	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_0D
-			Required after 2009-01-01
-	Check that an incomplete view cannot be used in the subtype
-	indication of an object declaration, component declaration, or
-	allocator.
+B3A1A02 [Pending New] New VCS Label:A3_0G
+			Required after 2009-07-01
+	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_0D
-			Required after 2009-01-01
-	Check that an incomplete view cannot be used in a use type clause.
+B3A1A03 [Pending New] New VCS Label:A3_0G
+			Required after 2009-07-01
+	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
@@ -333,7 +343,11 @@
 	or accept statement completes the body or statement.
 
 C650003 [New] VCS Label: A3_0C
-	Try various ways to complete an extended return statement.
+C650003 [Allowed Modification] New VCS Label:A3_0G Org VCS Label: A3_0C
+			Required after 2009-04-01
+	VCS Label A3_0C: Try various ways to complete an extended return
+	statement.
+	VCS Label A3_0G: Corrected test objective.
 
 B650004 [New] VCS Label: A3_0C
 	Test that return statements cannot be in a non-callable body,
@@ -458,7 +472,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_0F.Zip and Tar files on the ACAA web site.
+Mod_3_0G.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.
@@ -491,9 +505,12 @@
 Allowed Modification Tests
 
 (Refer to the main list for details)
-
-B831001	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
@@ -540,8 +557,8 @@
 B3A1004	2009-01-01
 B3A1005	2009-07-01
 B3A1A01	2009-07-01
-B3A1A02	2009-01-01
-B3A1A03	2009-01-01
+B3A1A02	2009-07-01
+B3A1A03	2009-07-01
 B3A1A04	2009-07-01
 B851002	2009-04-01
 B851003	2009-04-01
@@ -554,7 +571,7 @@
 C3A0022	2009-04-01
 C3A0023	2009-04-01
 C3A0024	2009-07-01
-C3A0025	2009-04-01
+C3A0025	2009-07-01
 C3A0026	2009-04-01
 C3A0027	2009-04-01
 C3A0028	2009-04-01

Questions? Ask the ACAA Technical Agent