CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2014/12/31 05:39:53	1.72
+++ acats/docs/mod_list.txt	2015/01/20 00:49:20	1.73
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.0
-Version 4.0C
-December 30, 2014
+Version 4.0D
+January 19, 2015
 
 
 What is this?
@@ -10,7 +10,7 @@
 current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012
 (usually known as "Ada 2012").
 
-ACATS Modification List version 3.1D for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1E for ACATS 3.1 is the current list for that
 test suite. ACATS 3.1 should be used for testing implementations that support
 Amendment 1 (ISO/IEC 8652:1995/AMD 1:2007, often known as "Ada 2005"), and will
 continue to be maintained as necessary for the foreseeable future.
@@ -22,48 +22,49 @@
 
 Changes from the last list:
 
-B3A2017 is a new test that checks 3.10.2(32/3).
+Test CXAC008 (issued with ACATS Modification List 4.0C) required the wrong file
+size in subtest 8 (and also had some messages with the wrong subtest numbers).
+This test was corrected; this resets its required date to October.
 
-C3A2004 is a new test that checks that the type of the prefix of 'Access can be
-used to help resolve the context.
+New test C391003 checks that a type may be extended in a more nested scope than
+the parent type.
 
-Test B43102A is replaced by new test B431006, which checks that the rewording of
-4.3.1(17/3) is enforced properly.
+New test B393011 checks the examples from AI05-0068-1.
 
-New test C550001 checks that for loops iterate in the correct order for subtypes
-with static predicates.
+New tests C3A1003 and C3A1004 check that objects of tagged incomplete types can
+be passed as parameters.
 
-New tests B640001 and C640002 check that abstract nondispatching operations do
-not participate in resolution.
+New tests B3A1008, B3A1009, and B3A1010 check that objects with incomplete views
+cannot be used as prefixes.
 
-New tests B650005 and B650006 check Ada 2012 Legality Rules for extended return
-statements.
+New tests B457002, B457003, B457004, and B457005 check legality rules for
+conditional expressions.
 
-New test BA12017 checks that a limited with clause cannot name an ancestor
-package.
+New tests B480002 and B480003 check 4.8(5.2/3), that a class-wide allocator
+doesn't create an object of a type more local than the access type.
 
-New test BA15003 checks that library unit pragmas cannot be given in a nested
-unit.
+New tests and foundations B732001, B732C01, B732C02, C732001, C732A01, C732C01,
+F732A00, and F732C00 test various objectives for type invariants.
 
-BC60001 is a new test that checks rules associated with a generic formal
-subprogram default of null (new in Ada 2005).
+New test C760015 checks that a controlled type can be declared inside a
+subprogram.
 
-New test CXA5016 tests the Machine_Rounding attribute.
+New tests CC51010 and CC51011 test using formal incomplete types with actual
+incomplete types and views.
 
-Six new tests (CXAA021, CXAA022, CXAB002, CXAB003, CXAB004, CXAB005) check
-operation of Bounded_IO, Unbounded_IO, and all of the wide variations of them.
+New tests CXAH001, CXAH002, and CXAH003 test the implementation of the package
+Ada.Environment_Variables. The support package IMPDEF was updated to support
+those tests.
 
-New test CXAC008 checks that Stream_IO files are not truncated by Reset or
-Close.
+New tests posted between January 1, 2015 and March 31, 2015 will become required
+for conformity assessments on October 1, 2015. New tests posted between October
+1, 2014 and December 31, 2014 will become required for conformity assessments on
+July 1, 2015. New tests posted between July 1, 2014 and September 30, 2014 will
+become required for conformity assessments on April 1, 2015. All tests posted to
+modification lists for other versions of the ACATS are included in ACATS 4.0 if
+appropriate and thus are required for conformity assessment using ACATS 4.0 The
+effective dates of tests are marked in the lists.
 
-New tests posted between October 1, 2014 and December 31, 2014 will become
-required for conformity assessments on July 1, 2015. New tests posted between
-July 1, 2014 and September 30, 2014 will become required for conformity
-assessments on April 1, 2015. All tests posted to modification lists for other
-versions of the ACATS are included in ACATS 4.0 if appropriate and thus are
-required for conformity assessment using ACATS 4.0 The effective dates of tests
-are marked in the lists.
-
 Questions about this document? Contact the ACAA Technical Agent at
 agent@ada-auth.org.
 
@@ -128,6 +129,46 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
+B393011 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that an abstract routine of an abstract partial view
+	overridden by a non-abstract routine in the private part requires
+	overriding when it is inherited if the private part is not visible
+	where it is inherited.
+
+C391003 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that a type extension can be declared in a more nested scope
+	than its parent type, and that overridden subprograms of that
+	extension can be dispatched to.
+
+C3A1003 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that a dereference of an access-to-tagged-incomplete type
+	can be passed as a parameter.
+
+C3A1004 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that a parameter of a tagged incomplete type can be passed
+	as a parameter.
+
+B3A1008 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that a dereference of an access-to-incomplete type cannot
+	be used as a prefix.
+
+B3A1009 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that a dereference of an access-to-incomplete view cannot
+	be used as a prefix. Check that a parameter of an incomplete view
+	cannot be used as a prefix.
+
+B3A1010 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that a dereference of an access-to-formal incomplete type
+	cannot be used as a prefix. Check that a parameter of a tagged
+	formal incomplete type cannot be used as a prefix.
+
 C3A2004 [Pending New] New VCS Label: A4_0C
 			Required after 2015-07-01
 	Check that the type of the prefix of 'Access is used to resolve
@@ -159,9 +200,6 @@
 	variant, the value of the governing discriminant of a variant in
 	a record aggregate cannot be non-static.
 
-B43102A [Withdrawn] VCS Label: A4_0C
-	Replaced by B431006.
-
 C433002 [Pending New] New VCS Label: A4_0B
 			Required after 2015-07-01
 	Check that no array components can be outside of the index subtype
@@ -187,6 +225,38 @@
 	aggregate with an others choice in the expression of a return
 	statement.
 
+B457002 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that 'others' must be last and alone in a case expression.
+
+B457003 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that 'else' cannot be omitted for an if expression if the
+	type of the expression is not a boolean type.
+
+B457004 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that case choice coverage and staticness are enforced for
+	case expressions.
+
+B457005 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that all or none of the dependent expressions of a
+	conditional expression can be dynamically tagged if the type of
+	the expression is a specific tagged type.
+
+B480002 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that an initialized allocator for an access type with a
+	class-wide designated type does not create an object whose type
+	is more local than the access type.
+
+B480003 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that an uninitialized allocator for an access type with a
+	class-wide designated type does not create an object whose type
+	is more local than the access type.
+
 C550001 [Pending New] New VCS Label: A4_0C
 			Required after 2015-07-01
 	Check that for loops iterate properly over subtypes with static
@@ -214,10 +284,45 @@
 	Check that an extended return statement with a constant return
 	object cannot omit the initializing expression.
 
+B732001 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check various resolution and legality rules for aspect
+	Type_Invariant.
+
+C732001 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that assertion checks are made after assignments to and
+	calls with actuals of appropriate view conversions.
+
+C732A01 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that the failure of a Type_Invariant check raises
+	Assertion_Error (constrained array).
+
+B732C01 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that the aspect Type_Invariant can only be specified on
+	private types, private extensions, and full types that complete
+	one of the others.
+
+C732C01 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that the failure of a Type_Invariant check raises
+	Assertion_Error (tagged record).
+
+B732C02 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that the aspect Type_Invariant'Class can only be specified
+	on private types, private extensions, and interfaces.
+
 C760014 [Pending New] New VCS Label: A4_0A
 			Required after 2015-04-01
 	Check that Ada.Finalization is declared pure.
 
+C760015 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that a controlled type can be declared within a subprogram.
+
 BA12017 [Pending New] New VCS Label: A4_0C
 			Required after 2015-07-01
 	Check that a limited with clause is not allowed on a
@@ -239,6 +344,20 @@
 	expression, and that the message can be retrieved with
 	Exception_Message.
 
+CC51010 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that a generic unit with a tagged incomplete formal type
+	can be instantiated with an incomplete view of a type from a
+	limited withed package, and that operations in the instance can be
+	used normally when the full view of the type is visible.
+
+CC51011 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Check that a generic unit with a tagged incomplete formal type
+	can be instantiated with an incomplete type whose completion is
+	given in a body, and that such instantiations can be passed as
+	actuals to formal packages.
+
 BC60001 [Pending New] New VCS Label: A4_0C
 			Required after 2015-07-01
 	Test rules associated with formal subprogram defaults of null.
@@ -290,10 +409,26 @@
 			Required after 2015-07-01
 	Check file operations of Wide_Wide_Text_IO.Wide_Wide_Unbounded_IO.
 
-CXAC008 [Pending New] New VCS Label: A4_0C
-			Required after 2015-07-01
-	Check that Stream_IO files opened with mode Out_File are not
-	truncated by Close or Reset.
+CXAC008 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	[VCS Label A4_0C] Check that Stream_IO files opened with mode
+	Out_File are not truncated by Close or Reset.
+	[VCS Label A4_0D] Corrected required file size in subtest 8, and
+	various failure messages.
+
+CXAH001 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Test that package Environment_Variables can be used to read
+	environment variables.
+
+CXAH002 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Test that package Environment_Variables can be used to modify
+	environment variables.
+
+CXAH003 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Test the two parameter Value in package Environment_Variables.
 
 BXAI001 [Pending New] New VCS Label: A4_0B
 			Required after 2015-07-01
@@ -385,10 +520,27 @@
 
 ===== Support =====
 
+F732A00 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Foundation for test C732A01.
+
+F732C00 [Pending New] New VCS Label: A4_0D
+			Required after 2015-10-01
+	Foundation for tests B732C01, B732C02, and C732C01.
+
 FDB3A00 [Pending New] New VCS Label: A4_0B
 			Required after 2015-07-01
 	Foundation for test BDB3A01 and CDB3A01.
 
+IMPDEF [Allowed Modification] New VCS Label: A4_0D Org VCS Label: A4_0
+			Required after 2015-07-01
+	VCS Label A3_1E: Added constants for the names of environment
+	variables used by tests CXAH001, CXAH002, and CXAH003. Also
+	.AW file constants (these are not used as test source has been
+	provided in UTF-8 format since the release of ACATS 3.0). The
+	change is only needed for those tests, it has no effect on any
+	other tests.
+
 
 
 
@@ -399,7 +551,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_0C.Zip and Tar files on the ACAA web site.
+Mod_4_0D.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.
@@ -431,6 +583,8 @@
 BDD2004	2015-04-01
 BDD2005	2015-04-01
 CXAI027	2015-04-01
+IMPDEF	2015-07-01 [Only needed for new tests CXAH001, CXAH002,
+                        and CXAH003]
 
 
 Modified Tests
@@ -454,12 +608,25 @@
 
 (Refer to the main list for details)
 
+B393011	2015-10-01
+B3A1008	2015-10-01
+B3A1009	2015-10-01
+B3A1010	2015-10-01
 B3A2017	2015-07-01
 B431005	2015-07-01
 B431006	2015-07-01
+B457002	2015-10-01
+B457003	2015-10-01
+B457004	2015-10-01
+B457005	2015-10-01
+B480002	2015-10-01
+B480003	2015-10-01
 B640001	2015-07-01
 B650005	2015-07-01
 B650006	2015-07-01
+B732001	2015-10-01
+B732C01	2015-10-01
+B732C02	2015-10-01
 BA12017	2015-07-01
 BA15003	2015-07-01
 BC60001	2015-07-01
@@ -476,6 +643,8 @@
 BXAIA02	2015-07-01
 BXAIA03	2015-07-01
 BXAIA04	2015-07-01
+C3A1003	2015-10-01
+C3A1004	2015-10-01
 C3A2004	2015-07-01
 C431002	2015-07-01
 C433002	2015-07-01
@@ -484,9 +653,14 @@
 C433005	2015-07-01
 C550001	2015-07-01
 C640002	2015-07-01
+C732A01	2015-10-01
+C732C01	2015-10-01
 C760014	2015-04-01
+C760015	2015-10-01
 CB30001	2015-07-01
 CB30002	2015-07-01
+CC51010	2015-10-01
+CC51011	2015-10-01
 CDB3A01	2015-07-01
 CXA5016	2015-07-01
 CXAA021	2015-07-01
@@ -495,7 +669,12 @@
 CXAB003	2015-07-01
 CXAB004	2015-07-01
 CXAB005	2015-07-01
-CXAC008	2015-07-01
+CXAC008	2015-10-01
+CXAH001	2015-10-01
+CXAH002	2015-10-01
+CXAH003	2015-10-01
+F732A00	2015-10-01
+F732C00	2015-10-01
 FDB3A00	2015-07-01
 
 

Questions? Ask the ACAA Technical Agent