CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2002/06/29 22:52:07	1.35
+++ acats/docs/mod_list.txt	2002/07/23 01:13:36	1.36
@@ -1,42 +1,27 @@
 ACATS Test Modification List
 
-Version 2.5B
-June 29, 2002
+Version 2.5C
+July 22, 2002
 
 
 Changes from the last list:
 
-CC51008 is a new test. This test checks that the revised rule from inheriting
-operations of untagged formal types is followed. If the rule is not followed,
-it is possible to call subprograms with the wrong parameter modes and
-constraints.
-
-B460006 is a new test. This test checks that the revised rule defining view
-conversions for tagged types is properly enforced. If the rule is not followed,
-it is possible to change the discriminants of an object of a tagged type (which
-is necessarily constrained).
-
-Tests C390010, C3A2003, C460002, and C854002 were each modified to add a pragma
-Elaborate_All for Report. Otherwise, each test may raise Program_Error during
-the elaboration of the packages.
-
-Test C380001 is a new test that checks that attributes with prefixes of the
-current type are treated as per- object. (This rule was revised in the
-Technical Corrigendum.)
-
-Test C380002 is a new test that checks that per-object discriminant constraints
-using named notation are evaluated properly. (This rule also was revised in the
-Technical Corrigendum.)
-
-Tests C380003 and C380004 are new tests that check that per-object constraints
-are handled properly for entry families and protected components. (The original
-tests for this were withdrawn in ACVC 2.1, and have not be replaced until now.)
-
-New tests inserted between April 1, 2002 and July 1, 2002 will become required
-for conformity assessments on January 1, 2003. New tests inserted between
-October 1, 2001 and January 1, 2002 will become required for conformity
-assessments on July 1, 2002. New tests added to the ACATS before October 1,
-2001 are now required for conformity assessments. The effective dates of tests
+Test C761010 has been improved to avoid calling Report.Comment after
+Report.Result. (This is defined to be non-conforming behavior by the ACATS
+documentation.)
+
+Test BC3009C was changed to include only the direct instantiation of "self"
+(this is illegal because "self" isn't generic within the unit). New L-Tests
+(LC30001, LC30002, LC30003) were added to check the main, post- compilation
+rule across library units. This is more user-oriented (as recursive
+instantiation is much more likely to occur in separate library units than in
+one unit), and properly handles the post-compilation rule.
+
+New tests inserted between July 1, 2002 and October 1, 2002 will become
+required for conformity assessments on April 1, 2003. New tests inserted
+between April 1, 2002 and July 1, 2002 will become required for conformity
+assessments on January 1, 2003. New tests added to the ACATS before January 1,
+2002 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
@@ -113,8 +98,7 @@
 	Pragma Elaborate_All (Report); was added @92 in order to ensure
 	Program_Error is not during elaboration.
 
-B3A2009 [Allowed Modification] New VCS Label: A2_5A Org VCS Label: A2_5
-			Required after 2002-07-01
+B3A2009 [Modified] VCS Label: A2_5A
 	Commented out subtest at @145, as it conflicts with the under
 	consideration AI-229.
 
@@ -128,14 +112,17 @@
 	Check that conversions between a tagged and untagged type are not
       considered view conversions. (Technical Corrigendum 1, 4.6(5/1)).
 
-C761012 [Pending New] New VCS Label: A2_5A
-			Required after 2002-07-01
+C761010 [Allowed Modification] New VCS Label: A2_5C Org VCS Label: A2_5
+			Required after 2003-01-01
+	Type TC_Control and related items were added to prevent
+	Report.Comment from being called after Report.Result.
+
+C761012 [New] New VCS Label: A2_5A
 	Check that an anonymous object is finalized with its enclosing
 	master if a transfer of control or exception occurs prior to its
 	normal finalization (Technical Corrigendum 1, 7.6.1(13.1/1)).
 
-B854001 [Pending New] New VCS Label: A2_5A
-			Required after 2002-07-01
+B854001 [New] New VCS Label: A2_5A
 	Check that a renames-as-body is illegal if it occurs before
 	the subprogram is frozen, and it renames the subprogram itself.
 	(Technical Corrigendum 1, 8.5.4(5/1)).
@@ -143,14 +130,32 @@
 C854002 [Allowed Modification] New VCS Label: A2_5B Org VCS Label: A2_5
 			Required after 2002-10-01
 	Pragma Elaborate_All (Report); was added @83 in order to ensure
-	Program_Error is not during elaboration.
+	Program_Error is not raised during elaboration.
 
-C854003 [Pending New] New VCS Label: A2_5A
-			Required after 2002-07-01
+C854003 [New] New VCS Label: A2_5A
 	Check that a renames-as-body only requires mode conformance
 	if it occurs before the subprogram is frozen. (Technical
 	Corrigendum 1, 8.5.4(5/1)).
 
+LC30001 [Pending New] New VCS Label: A2_5C
+			Required after 2003-04-01
+	Check that a partition containing recursive instantiation cannot
+	be executed (one level using renames).
+
+LC30002 [Pending New] New VCS Label: A2_5C
+			Required after 2003-04-01
+	Check that a partition containing recursive instantiation cannot
+	be executed (two levels).
+
+LC30003 [Pending New] New VCS Label: A2_5C
+			Required after 2003-04-01
+	Check that a partition containing recursive instantiation cannot
+	be executed (three levels).
+
+BC3009C [Allowed Modification] New VCS Label: A2_5C Org VCS Label: A2_5
+			Required after 2003-01-01
+	Test cases checking a post-compilation rule were removed.
+
 CC51008 [Pending New] New VCS Label: A2_5B
 			Required after 2003-01-01
 	Check that operations are inherited for a formal derived type
@@ -158,47 +163,40 @@
 	standard as modified by TC1. (Technical Corrigendum 1,
 	12.5.1(21/1)).
 
-CD10002 [Pending New] New VCS Label: A2_5A
-			Required after 2002-07-01
+CD10002 [New] New VCS Label: A2_5A
 	Check that operational items are allowed in some contexts where
 	representation items are not. Corrigendum 7.3(5), 13.1(10),
 	13.1(11/1).
 
-CD72A02 [Allowed Modification] New VCS Label: A2_5A Org VCS Label: A2_4
-			Required after 2002-07-01
+CD72A02 [Modified] VCS Label: A2_5A
 	The test description @37-38 refers to a non-existent test.
 
-BDD2002 [Pending New] New VCS Label: A2_5A
-			Required after 2002-07-01
+BDD2002 [New] New VCS Label: A2_5A
 	Check that a limited type extension is illegal if the parent type
 	has user defined Read or Write attributes, and a limited extension
 	component does not have user-defined Read or Write attributes.
 	Corrigendum 13.13.2(9/1).
 
-CDD2A01 [Pending New] New VCS Label: A2_5A
-			Required after 2002-07-01
+CDD2A01 [New] New VCS Label: A2_5A
 	Check that the default Read and Write attributes for a type
 	extension are created from the parent type's attributes and the
 	attributes of any extension components. Also checks that the
 	default Input and Output attributes are always used for a type
 	extension. Corrigendum 13.13.2(9/1) and 13.13.2(25/1).
 
-CDD2A02 [Pending New] New VCS Label: A2_5A
-			Required after 2002-07-01
+CDD2A02 [New] New VCS Label: A2_5A
 	Check that the Read, Write, Input, and Output attributes for an
 	untagged type are inherited from the parent type. Corrigendum
 	13.13.2(8.1/1) and 13.13.2(25/1).
 
-CDD2A03 [Pending New] New VCS Label: A2_5A
-			Required after 2002-07-01
+CDD2A03 [New] New VCS Label: A2_5A
 	Check that the default Read and Write attributes for a limited
 	type extension are created from the parent type's attributes
 	and the attributes of any extension components. Also checks that
 	the Read and Write attributes for such a type can be called.
 	Corrigendum 13.13.2(9/1) and 13.13.2(36/1).
 
-FDD2A00 [Pending New] New VCS Label: A2_5A
-			Required after 2002-07-01
+FDD2A00 [New] New VCS Label: A2_5A
 	Foundation for stream attribute tests.
 
 ===== Annex C =====
@@ -235,7 +233,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_5B Zip and Tar files on the ACAA web site.
+Mod_2_5C 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.
@@ -265,26 +263,35 @@
 
 (Refer to the main list for details)
 
-B3A2009	2002-07-01
+BC3009C	2003-01-01
 C390010	2002-10-01
 C3A2003	2002-10-01
 C460002	2002-10-01
+C761010	2003-01-01
 C854002	2002-10-01
-CD72A02	2002-07-01
 
 
 Modified Tests
 
 (Refer to the main list for details)
 
-None.
+B3A2009
+CD72A02
 
 
 New Tests
 
 (Refer to the main list for details)
 
-None.
+B854001
+BDD2002
+C761012
+C854003
+CD10002
+CDD2A01
+CDD2A02
+CDD2A03
+FDD2A00
 
 
 Pending New Tests
@@ -292,17 +299,11 @@
 (Refer to the main list for details)
 
 B460006	2003-01-01
-B854001	2002-07-01
-BDD2002	2002-07-01
 C380001	2003-01-01
 C380002	2003-01-01
 C380003	2003-01-01
 C380004	2003-01-01
-C761012	2002-07-01
-C854003	2002-07-01
 CC51008	2003-01-01
-CD10002	2002-07-01
-CDD2A01	2002-07-01
-CDD2A02	2002-07-01
-CDD2A03	2002-07-01
-FDD2A00	2002-07-01
+LC30001	2003-04-01
+LC30002	2003-04-01
+LC30003	2003-04-01

Questions? Ask the ACAA Technical Agent