CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2015/05/16 01:03:29	1.75
+++ acats/docs/mod_list.txt	2015/06/23 03:51:28	1.76
@@ -1,6 +1,6 @@
 ACATS Modification List for ACATS 4.0
-Version 4.0F
-May 15, 2015
+Version 4.0G
+June 22, 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.1G for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1H 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,46 +22,9 @@
 
 Changes from the last list:
 
-Since this is the first list of a new quarter, one modified test (CXAI027)
-changed status; the modification is now a required part of conformity
-assessment.
+BC60002, BC60003, BC60004, and CC66001 test various rules for formal abstract
+subprograms.
 
-Replaced the qualified expression case in C324002, as AI12-0100-1 (part of the
-upcoming Corrigendum) makes it clear that the check is performed. New tests
-C324004 and C324005 check that ignoring predicates works as expected.
-
-New tests B415001 and B415002 test various legality rules associated with aspect
-Implicit_Dereference.
-
-Corrected C415001 to eliminate a violation of the anti-aliasing rules
-(6.4.1(6.17/3)).
-
-New tests B416002, B416A01, C416A01, and C416A02 check various rules associated
-with generalized indexing.
-
-New test B433003 checks that an aggregate in the return expression of an
-expression function or the expression of a return statement cannot have an
-others choice if the function result subtype is unconstrained. New test C433006
-checks that the return expression of an expression function can provide an
-applicable index constraint.
-
-New tests C732002, C732A02, C732B01, and C732B02 test additional cases for type
-invariants.
-
-New tests B831004 and B831005 check that overriding indicators are properly
-enforced for primitive subprograms of types derived from generic formal types.
-
-New test C831001 checks that the operation of calls are not changed by
-overriding indicators.
-
-New test B840002 checks usage of package use clauses. New test B840003 checks
-that use all type clauses don't make too much visible.
-
-New test CXA4037 checks an old correction to Ada.Strings.Fixed.Find_Token.
-
-New tests BXB3001, BXB3002, BXB3003, BXB3004, CXB3001, CXB3002, CXB3003, and
-CXB3004 test aspect Unchecked_Union.
-
 New tests posted between April 1, 2015 and June 30, 2015 will become required
 for conformity assessments on January 1, 2016. New tests posted between January
 1, 2015 and March 31, 2015 will become required for conformity assessments on
@@ -598,6 +561,25 @@
 			Required after 2015-07-01
 	Test rules associated with formal subprogram defaults of null.
 
+CC60001 [Pending New] New VCS Label: A4_0G
+			Required after 2016-01-01
+	Check that calls on a formal abstract subprogram are dispatching.
+
+BC60002 [Pending New] New VCS Label: A4_0G
+			Required after 2016-01-01
+	Test rules associated with the controlling type of a formal
+	abstract subprogram.
+
+BC60003 [Pending New] New VCS Label: A4_0G
+			Required after 2016-01-01
+	Check that the actual subprogram for a formal abstract subprogram
+	must be a dispatching operation of the controlling type.
+
+BC60004 [Pending New] New VCS Label: A4_0G
+			Required after 2016-01-01
+	Check that a call on a formal abstract subprogram must be
+	dispatching.
+
 CD30006 [Allowed Modification] New VCS Label: A4_0E Org VCS Label: A4_0
 			Required after 2015-07-01
 	Eliminated overlong lines and tab characters.
@@ -879,7 +861,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_0F.Zip and Tar files on the ACAA web site.
+Mod_4_0G.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.
@@ -913,6 +895,7 @@
 BDD2005	2015-07-01
 C324001	2015-07-01
 C324002	2015-10-01
+C415001	2015-10-01
 CC30003	2015-07-01
 CC30004	2015-07-01
 CD30006	2015-07-01
@@ -979,6 +962,9 @@
 BA12017	2015-10-01
 BA15003	2015-07-01
 BC60001	2015-07-01
+BC60002	2016-01-01
+BC60003	2016-01-01
+BC60004	2016-01-01
 BDB3A01	2015-10-01
 BXAI001	2015-07-01
 BXAI002	2015-07-01
@@ -1028,6 +1014,7 @@
 CB30001	2015-07-01
 CB30002	2015-10-01
 CC51010	2015-10-01
+CC60001	2016-01-01
 CDB3A01	2015-10-01
 CXA4037	2016-01-01
 CXA5016	2015-07-01

Questions? Ask the ACAA Technical Agent