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
Questions? Ask the ACAA Technical Agent