CVS difference for acats/docs/mod_list.txt

--- acats/docs/mod_list.txt	2002/04/03 00:21:38	1.34
+++ acats/docs/mod_list.txt	2002/06/29 22:52:07	1.35
@@ -1,18 +1,36 @@
 ACATS Test Modification List
 
-Version 2.5A
-April 1, 2002
+Version 2.5B
+June 29, 2002
 
 
 Changes from the last list:
 
-This is the first list for ACATS 2.5. As with ACATS 2.3 and 2.4 before it, this
-is simply a "roll-up" of tests modified before January 1, 2002 and new tests
-added before October 1, 2001; the same tests would be required on today (April
-1, 2002) whether or not it was issued. The main advantage of new ACATS versions
-is that the documentation is updated to reflect changes from the past year. All
-of these tests (now included in ACATS 2.5) have been removed from the
-modification list, so it is much shorter than the previous version.
+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
@@ -61,11 +79,55 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
-B3A2009 [Allowed Modification] New VCS Label: A2_5A Org VCS Label: A2_4
+C380001 [Pending New] New VCS Label: A2_5B
+			Required after 2003-01-01
+	Check that checks are made properly when a per-object expression
+	contains an attribute whose prefix denotes the current instance of
+	the type (Technical Corrigendum 1, 3.8(18/1)).
+
+C380002 [Pending New] New VCS Label: A2_5B
+			Required after 2003-01-01
+	Check that an expression in a per-object discriminant constraint
+	which is part of a named association is evaluated once for each
+	association. (Technical Corrigendum 1, 3.8(18.1/1)).
+
+C380003 [Pending New] New VCS Label: A2_5B
+			Required after 2003-01-01
+	Check that per-object expressions are evaluated as specified for
+      protected components (Technical Corrigendum 1, 3.6(22/1),
+      3.8(18/1)).
+
+C380004 [Pending New] New VCS Label: A2_5B
+			Required after 2003-01-01
+	Check that per-object expressions are evaluated as specified for
+      entry families and protected components (Technical Corrigendum 1,
+      3.6(22/1), 3.8(18/1)).
+
+C390010 [Allowed Modification] New VCS Label: A2_5B Org VCS Label: A2_5
+			Required after 2002-10-01
+	Pragma Elaborate_All (Report); was added @49 in order to ensure
+	Program_Error is not during elaboration.
+
+C3A2003 [Allowed Modification] New VCS Label: A2_5B Org VCS Label: A2_5
+			Required after 2002-10-01
+	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
 	Commented out subtest at @145, as it conflicts with the under
 	consideration AI-229.
 
+C460002 [Allowed Modification] New VCS Label: A2_5B Org VCS Label: A2_5
+			Required after 2002-10-01
+	Pragma Elaborate_All (Report); was added @93 in order to ensure
+	Program_Error is not during elaboration.
+
+B460006 [Pending New] New VCS Label: A2_5B
+			Required after 2003-01-01
+	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
 	Check that an anonymous object is finalized with its enclosing
@@ -78,12 +140,24 @@
 	the subprogram is frozen, and it renames the subprogram itself.
 	(Technical Corrigendum 1, 8.5.4(5/1)).
 
+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.
+
 C854003 [Pending New] New VCS Label: A2_5A
 			Required after 2002-07-01
 	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)).
 
+CC51008 [Pending New] New VCS Label: A2_5B
+			Required after 2003-01-01
+	Check that operations are inherited for a formal derived type
+	whose ancestor is also a formal type as described in the
+	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
 	Check that operational items are allowed in some contexts where
@@ -161,7 +235,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_5A Zip and Tar files on the ACAA web site.
+Mod_2_5B 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.
@@ -191,8 +265,12 @@
 
 (Refer to the main list for details)
 
-B3A2009	 2002-07-01
-CD72A02	 2002-07-01
+B3A2009	2002-07-01
+C390010	2002-10-01
+C3A2003	2002-10-01
+C460002	2002-10-01
+C854002	2002-10-01
+CD72A02	2002-07-01
 
 
 Modified Tests
@@ -213,12 +291,18 @@
 
 (Refer to the main list for details)
 
-B854001	 2002-07-01
-BDD2002	 2002-07-01
-C761012	 2002-07-01
-C854003	 2002-07-01
-CD10002	 2002-07-01
-CDD2A01	 2002-07-01
-CDD2A02	 2002-07-01
-CDD2A03	 2002-07-01
-FDD2A00	 2002-07-01
+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