CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2022/09/25 08:38:47	1.107
+++ acats/docs/mod_list.txt	2023/01/01 04:53:55	1.108
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1BB
-September 25, 2022
+Version 4.1CC
+December 31, 2022
 
 
 What is this?
@@ -22,21 +22,18 @@
 
 Changes from the last list:
 
-A handful of tests changed status on July 1st; see the lists for the details.
+A handful of tests changed status on October 1st; see the lists for the details.
 
-New test B433004 checks that an others choice is not allowed in an aggregate
-that appears as the dependent expression of a conditional expression in an
-unconstrained context.
-
-New test C433007 checks that an aggregate with an others choice can be assigned
-into an array variable even if the nominal subtype of the variable is
-unconstrained.
-
-Test B611004 was modified to replace most of the OK lines with ERROR lines.
-Class-wide aspects are only allowed on tagged types and primitive subprograms,
-and most of the subprogram bodies in this test are not primitive. This somewhat
-obscures the objective of the test, but that cannot be helped.
+New test B413005 checks that prefixed views of subprograms do not allow too
+much.
 
+New test C413007 checks that when the prefix of a prefixed view is an implicit
+dereference, Constraint_Error is raised if the access value is null.
+
+New test C433008 checks that aggregates allow others choices when they appear
+inside of a conditional expression. (The model is intended to be that
+conditional expressions have the same semantic effect as parenthesis).
+
 Note: Some Allowed Modification tests have a required date of “ACATS 4.2”. These
 are tests that don't have substantive changes, but rather change comments
 (including error locations for B-Tests). For ACATS users that are using
@@ -46,12 +43,12 @@
 tests until the time when the next ACATS version (ACATS 4.2) is issued (most
 likely in the next quarter).
 
-New tests posted between July 1, 2022 and September 30, 2022 will become
-required for conformity assessments on April 1, 2023. New tests posted between
-April 1, 2022 and June 30, 2022 will become required for conformity assessments
-on January 1, 2023. New tests posted between January 1, 2022 and March 31, 2022
-will become required for conformity assessments on October 1, 2022.  New tests
-posted before January 1, 2022 are required for conformity assessments. The
+New tests posted between October 1, 2022 and December 31, 2022 will become
+required for conformity assessments on Julyl 1, 2023. New tests posted between
+July 1, 2022 and September 30, 2022 will become required for conformity
+assessments on April 1, 2023. New tests posted between April 1, 2022 and June
+30, 2022 will become required for conformity assessments on January 1, 2023. New
+tests posted before April 1, 2022 are required for conformity assessments. The
 effective dates of tests are marked in the lists.
 
 Questions about this document? Contact the ACAA Technical Agent at
@@ -74,7 +71,7 @@
 tools are intended to:
 
     * Greatly reduce the effort to grade an ACATS test run (and, hopefully to
-    reduce the cost of formal testing to make it a more practical option);
+      reduce the cost of formal testing to make it a more practical option);
 
     * Ensure that all users of the ACATS grade tests in the same way, thus
       making it more valid to compare ACATS results between different
@@ -101,10 +98,7 @@
 by the normal process for updating the ACATS – an ACATS Modification List like
 this one.
 
-Details on the operation of the tools can be found in the ACATS 4.1
-documentation (that documentation can be found at
-http://www.ada-auth.org/acats-files/4.1/docs/UG-6.HTM). As always, if you have
-questions, contact the ACAA Technical Agent at agent@ada-auth.org.
+Details on the operation of the tools can be found in the ACATS 4.1 documentation (that documentation can be found at http://www.ada-auth.org/acats-files/4.1/docs/UG-6.HTM). As always, if you have questions, contact the ACAA Technical Agent at agent@ada-a
uth.org.
 
 Notice:
 
@@ -116,21 +110,21 @@
 
 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
 label to retrieve the test from the ACATS VCS. See “How to get new and modified
 tests”.
 
-In citations, line numbers are given relative to the start of a test file in
-the format of '@<line#,line#,...>'; if a test program comprises more than one
-file, then the particular file will be indicated by "fn", where "n" is the
+In citations, line numbers are given relative to the start of a test file in the
+format of '@<line#,line#,...>'; if a test program comprises more than one file,
+then the particular file will be indicated by "fn", where "n" is the
 test-program name's file-designator numeral.  E.g., "B38103E : @f1-31, ... "
 denotes test file b38103e1.ada. In cases where there are two or more rationales
 for different errors in a test program, these different rationales with their
@@ -412,6 +406,16 @@
 	PPA and PFA trigger the issue of AI12-0289-1; explicit null
 	exclusions were added to the parameters to avoid it.
 
+B413005 [Pending New] New VCS Label: A4_1CC
+			Required after 2023-07-01
+	Check that various incorrect prefixed views are not allowed.
+
+C413007 [Pending New] New VCS Label: A4_1CC
+			Required after 2023-07-01
+	Check that when the prefix of a prefixed view is an access object,
+	evaluation of the prefixed view raises Constraint_Error when the
+	value of the prefix is null.
+
 B41327B [Allowed Modification] New VCS Label: A4_1W Org VCS Label: A4_1
 			Required in ACATS 4.2
 	Added error location indicators.
@@ -430,13 +434,11 @@
 B416001 [Modified] VCS Label: A4_1W
 	Commented out Priv2 test case as it is the subject of AI12-0428-1.
 
-C431003 [Pending New] New VCS Label: A4_1Z
-			Required after 2022-10-01
+C431003 [New] VCS Label: A4_1Z
 	Check that record aggregates that specify a discriminant with <>
 	get the default value of the discriminant.
 
-C431004 [Pending New] New VCS Label: A4_1Z
-			Required after 2022-10-01
+C431004 [New] VCS Label: A4_1Z
 	Check that extension aggregates that specify a discriminant with
 	<> get the default value of the discriminant.
 
@@ -444,13 +446,11 @@
 	Check that record aggregates are not allowed for types whose
 	components aren't visible.
 
-B431008 [Pending New] New VCS Label: A4_1Z
-			Required after 2022-10-01
+B431008 [New] VCS Label: A4_1Z
 	Check that record aggregates that specify a discriminant with <>
 	are illegal if the discriminant does not have a default.
 
-B431009 [Pending New] New VCS Label: A4_1Z
-			Required after 2022-10-01
+B431009 [New] VCS Label: A4_1Z
 	Check that extension aggregates that specify a discriminant with
 	<> are illegal if the discriminant does not have a default.
 
@@ -494,6 +494,12 @@
 	into an array variable even if the nominal subtype of the variable
 	is unconstrained.
 
+C433008 [Pending New] New VCS Label: A4_1CC
+			Required after 2023-07-01
+	Check that aggregate with others choices can be used inside a
+	conditional expression so long as the context of the conditional
+	expression provides a constraint.
+
 B440001 [New] VCS Label: A4_1Y
 	Check that the operands of a membership test are
 	simple_expressions, not choice_expressions.
@@ -654,8 +660,7 @@
 	Moved error tags to more usual locations, added error location
 	indicators.
 
-B490004 [Pending New] New VCS Label: A4_1Z
-			Required after 2022-10-01
+B490004 [New] VCS Label: A4_1Z
 	Check that static expressions that fail a static predicate check
 	are illegal, even if the assertion policy is Ignore.
 
@@ -1963,7 +1968,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1BB.Zip and Tar files on the ACAA web site. As always, when a multi-file
+Mod_4_1CC.Zip and Tar files on the ACAA web site. As always, when a multi-file
 test is modified, we provide all of the files, including the unmodified files.
 
 Individual new and modified tests can be retrieved from the ACATS VCS. Simply
@@ -2250,6 +2255,8 @@
 B393013
 B3A2018
 B431007
+B431008
+B431009
 B432002
 B432003
 B440001
@@ -2257,6 +2264,7 @@
 B452002
 B458001
 B480004
+B490004
 B611001
 B611002
 B611003
@@ -2341,6 +2349,8 @@
 C360B01
 C360B02
 C3A0030
+C431003
+C431004
 C452002
 C452003
 C452004
@@ -2408,13 +2418,11 @@
 
 (Refer to the main list for details)
 
-B431008	2022-10-01
-B431009	2022-10-01
+B413005	2023-07-01
 B433004	2023-04-01
-B490004	2022-10-01
-C431003	2022-10-01
-C431004	2022-10-01
+C413007	2023-07-01
 C433007	2023-04-01
+C433008	2023-07-01
 C458002	2023-01-01
 C458003	2023-01-01
 C458A01	2023-01-01

Questions? Ask the ACAA Technical Agent