CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2014/11/25 01:31:43	1.71
+++ acats/docs/mod_list.txt	2014/12/31 05:39:53	1.72
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.0
-Version 4.0B
-November 24, 2014
+Version 4.0C
+December 30, 2014
 
 
 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.1C for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1D 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,33 +22,40 @@
 
 Changes from the last list:
 
-Modified tests BDD2004 and BDD2005 to reflect the rulings in AI12-0106-1 and
-AI12-0121-1.
+B3A2017 is a new test that checks 3.10.2(32/3).
 
-Test CXAI027 was corrected to report the correct name of the package it tests.
+C3A2004 is a new test that checks that the type of the prefix of 'Access can be
+used to help resolve the context.
 
-New tests BDB3A01 and CDB3A01 were added to test pragma and aspect
-Default_Storage_Pool; they use a foundation FDB3A00.
+Test B43102A is replaced by new test B431006, which checks that the rewording of
+4.3.1(17/3) is enforced properly.
 
-New test CB30001 checks that the optional message parameter to a raise statement
-can be used, and that the provided message can be retrieved with
-Exception_Message.
+New test C550001 checks that for loops iterate in the correct order for subtypes
+with static predicates.
 
-New test CB30002 checks that the optional message parameter to a raise
-expression can be used, and that the provided message can be retrieved with
-Exception_Message.
+New tests B640001 and C640002 check that abstract nondispatching operations do
+not participate in resolution.
 
-New tests BXAI001, BXAI002, BXAI003, BXAI004, BXAIA01, and BXAIA02 check that
-reverse iterators (using the new container and cursor syntax) are not allowed
-for hashed containers.
+New tests B650005 and B650006 check Ada 2012 Legality Rules for extended return
+statements.
 
-New tests BXAI005, BXAI006, BXAI007, BXAI008, BXAIA03, and BXAIA04 check that
-writing a container element using indexing is not allowed for set containers.
+New test BA12017 checks that a limited with clause cannot name an ancestor
+package.
 
-New tests C433002, C433003, C433004, C433005 check various rules for array
-aggregates, new test C431002 checks AI05-0016-1, and new test B431005 checks
-AI12-0046-1.
+New test BA15003 checks that library unit pragmas cannot be given in a nested
+unit.
 
+BC60001 is a new test that checks rules associated with a generic formal
+subprogram default of null (new in Ada 2005).
+
+New test CXA5016 tests the Machine_Rounding attribute.
+
+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 test CXAC008 checks that Stream_IO files are not truncated by Reset or
+Close.
+
 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
@@ -121,6 +128,18 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
+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
+	the expected type of the use of the attribute.
+
+B3A2017 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check P'Access is not allowed in a generic body if P is declared
+	in the generic (including in the parent of a child or in a formal
+	package) and the access type is a formal type or outside of
+	the generic.
+
 C431002 [Pending New] New VCS Label: A4_0B
 			Required after 2015-07-01
 	Check that a component association of others => <> in a record or
@@ -134,6 +153,15 @@
 	component is illegal if the expression is illegal for any one of
 	the associated components.
 
+B431006 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check that if a variant part is not nested in an unselected
+	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
@@ -159,10 +187,46 @@
 	aggregate with an others choice in the expression of a return
 	statement.
 
+C550001 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check that for loops iterate properly over subtypes with static
+	predicates.
+
+B640001 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check that abstract nondispatching operations do not participate
+	in resolution.
+
+C640002 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check that an abstract nondispatching operator provides a way
+	to eliminate an unwanted predefined operator.
+
+B650005 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check that the accessibility level of the return subtype
+	indication of an extended return statement cannot be statically
+	deeper that that of the function result if that result is
+	class-wide.
+
+B650006 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check that an extended return statement with a constant return
+	object cannot omit the initializing expression.
+
 C760014 [Pending New] New VCS Label: A4_0A
 			Required after 2015-04-01
 	Check that Ada.Finalization is declared pure.
 
+BA12017 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check that a limited with clause is not allowed on a
+	descendant of the named package.
+
+BA15003 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check that a library unit pragma must apply to a library unit.
+
 CB30001 [Pending New] New VCS Label: A4_0B
 			Required after 2015-07-01
 	Check that the optional message parameter is supported in a raise
@@ -175,6 +239,10 @@
 	expression, and that the message can be retrieved with
 	Exception_Message.
 
+BC60001 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Test rules associated with formal subprogram defaults of null.
+
 BDB3A01 [Pending New] New VCS Label: A4_0B
 			Required after 2015-07-01
 	Test resolution and legality rules for pragma and aspect
@@ -194,6 +262,39 @@
 	Replaced test cases waiting on AI12-0106-1 (now approved)
 	and made changes required by AI12-0121-1.
 
+CXA5016 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check operation of attribute Machine_Rounding.
+
+CXAA021 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check file operations of Text_IO.Bounded_IO.
+
+CXAA022 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check file operations of Text_IO.Unbounded_IO.
+
+CXAB002 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check file operations of Wide_Text_IO.Wide_Bounded_IO.
+
+CXAB003 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check file operations of Wide_Wide_Text_IO.Wide_Wide_Bounded_IO.
+
+CXAB004 [Pending New] New VCS Label: A4_0C
+			Required after 2015-07-01
+	Check file operations of Wide_Text_IO.Wide_Unbounded_IO.
+
+CXAB005 [Pending New] New VCS Label: A4_0C
+			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.
+
 BXAI001 [Pending New] New VCS Label: A4_0B
 			Required after 2015-07-01
 	Test that package Hashed_Maps does not allow reverse iterators.
@@ -295,11 +396,10 @@
 How to get new and modified tests:
 
 The official home of the ACATS test suite is the ACAA web site. The site can be
-accessed from the Compilers and Conformance section of the Ada IC web site
-(www.adaic.org). It also can be accessed directly at www.ada-auth.org.
+accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_0B.Zip and Tar files on the ACAA web site.
+Mod_4_0C.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.
@@ -320,7 +420,7 @@
 
 (Refer to the main list for details)
 
-None.
+B43102A
 
 
 
@@ -354,7 +454,15 @@
 
 (Refer to the main list for details)
 
+B3A2017	2015-07-01
 B431005	2015-07-01
+B431006	2015-07-01
+B640001	2015-07-01
+B650005	2015-07-01
+B650006	2015-07-01
+BA12017	2015-07-01
+BA15003	2015-07-01
+BC60001	2015-07-01
 BDB3A01	2015-07-01
 BXAI001	2015-07-01
 BXAI002	2015-07-01
@@ -368,15 +476,26 @@
 BXAIA02	2015-07-01
 BXAIA03	2015-07-01
 BXAIA04	2015-07-01
+C3A2004	2015-07-01
 C431002	2015-07-01
 C433002	2015-07-01
 C433003	2015-07-01
 C433004	2015-07-01
 C433005	2015-07-01
+C550001	2015-07-01
+C640002	2015-07-01
 C760014	2015-04-01
 CB30001	2015-07-01
 CB30002	2015-07-01
 CDB3A01	2015-07-01
+CXA5016	2015-07-01
+CXAA021	2015-07-01
+CXAA022	2015-07-01
+CXAB002	2015-07-01
+CXAB003	2015-07-01
+CXAB004	2015-07-01
+CXAB005	2015-07-01
+CXAC008	2015-07-01
 FDB3A00	2015-07-01
 
 

Questions? Ask the ACAA Technical Agent