CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2014/02/27 05:16:09	1.69
+++ acats/docs/mod_list.txt	2014/08/30 04:43:12	1.70
@@ -1,49 +1,39 @@
-ACATS Test Modification List for ACATS 3.1
-Version 3.1A
-April 1, 2014
+ACATS Modification List for ACATS 4.0
+Version 4.0A
+August 31, 2014
 
 
 What is this?
 
-This the ACATS test modification list for ACATS 3.1. This document includes test
-corrections, test removals, and new tests for ACATS 3.1. ACATS 3.1 is the
-current test suite for the version of Ada that became current with the approval
-and publication of Amendment 1 by ISO as ISO/IEC 8652:1995/AMD 1:2007 (often
-known as "Ada 2005"). Tests for the third edition of Ada, ISO/IEC 8652:2012
-(usually known as "Ada 2012") will be added to a separate version of the test
-suite (to be created in the near future).
-
-ACATS Test Modification List version 2.6D for ACATS 2.6 is the current list for
-that test suite. ACATS 2.6 should be used for testing Ada 95 implementations,
-and will continue to be maintained as necessary for the foreseeable future.
+This is the ACATS modification list for ACATS 4.0. This document includes test
+corrections, test removals, and new tests for ACATS 4.0. ACATS 4.0 is the
+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.1B 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.
+
+ACATS Modification List version 2.6D for ACATS 2.6 is the current list for that
+test suite. ACATS 2.6 should be used for testing implementations of the second
+edition of Ada, ISO/IEC 8652:1995 (usually known as "Ada 95"); it also will
+continue to be maintained as necessary for the foreseeable future.
 
 Changes from the last list:
 
-This is the first list for ACATS 3.1.
+This is the initial list for ACATS 4.0. It contains one new test, C760014
+(mainly so it wouldn't be empty).
 
-14 new tests issued too late to be included in ACATS 3.1 are carried over to
-this list: B730008, B730009, CXAI001, CXAI002, CXAI003, CXAI004, CXAI005,
-CXAI006, CXAIA01, CXAIA02, CXAIA03, CXAIA04, CXAIA05, CXAIA06, as well as the
-foundation for 6 of those tests, FXAIA00.
-
-Previously new test BDD2004 is reissued with this list to correct errors.
-
-New tests inserted between January 1, 2014 and March 31, 2014 will become
-required for conformity assessments on October 1, 2014. New tests inserted
-between October 1, 2013 and December 31, 2013 will become required for
-conformity assessments on July 1, 2014. All other tests previously inserted into
-ACATS 3.0 are part of ACATS 3.1 and are required for conformity assessment. The
+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.
 
-Ada 2012 compatibility:
-
-This test suite is designed for Ada 2005. The soon-to-released ACATS 4.0 should
-be used to test Ada 2012 implementations. There are a significant number of
-tests in ACATS 3.1 that are incompatible with the requirements of Ada 2012.
-
 Notice:
 
 The ACAA has created and maintains the Ada Conformity Assessment Test Suite for
@@ -63,8 +53,8 @@
 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”.
+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,
@@ -77,8 +67,8 @@
 
 	<section|chapter>.<clause>[.<subclause>]:<paragraph>
 
-These references are to the consolidated Ada standard as available at
-http://www.adaic.org/resources/add-contentstandards/05rm/html/RM-TOC.html.
+These references are to the Ada standard as available at
+http://www.adaic.org/resources/add-contentstandards/12rm/html/RM-TOC.html.
 
 
 
@@ -90,85 +80,9 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
-B730008 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check that a tagged partial view and its completion must have the
-	same set of interfaces.
-
-B730009 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check that a tagged partial view can be synchronized if and only
-	if the completion is a synchronized type.
-
-BDD2004 [Pending New] New VCS Label: A3_1A
-			Required after 2014-10-01
-	Check that subprograms specified for stream attributes meet the
-	requirements for such subprograms. This version corrects the
-	location of 'Class @230, 235, 240.
-
-CXAI001 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check the functionality defined in package Ada.Containers.Vectors.
-
-CXAI002 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check the functionality defined in package
-	Ada.Containers.Doubly_Linked_Lists.
-
-CXAI003 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check the functionality defined in package
-	Ada.Containers.Hashed_Maps.
-
-CXAI004 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check the functionality defined in package
-	Ada.Containers.Ordered_Maps.
-
-CXAI005 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check the functionality defined in package
-	Ada.Containers.Hashed_Sets.
-
-CXAI006 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check the functionality defined in package
-	Ada.Containers.Ordered_Sets.
-
-FXAIA00 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Foundation containing types and values to be used to check the
-	functionality of the indefinite containers.
-
-CXAIA01 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check the functionality defined in package
-	Ada.Containers.Indefinite_Vectors.
-
-CXAIA02 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check the functionality defined in package
-	Ada.Containers.Indefinite_Doubly_Linked_Lists.
-
-CXAIA03 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check the functionality defined in package
-	Ada.Containers.Indefinite_Hashed_Maps.
-
-CXAIA04 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check the functionality defined in package
-	Ada.Containers.Indefinite_Ordered_Maps.
-
-CXAIA05 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check the functionality defined in package
-	Ada.Containers.Indefinite_Hashed_Sets.
-
-CXAIA06 [Pending New] New VCS Label: A3_1A
-			Required after 2014-07-01
-	Check the functionality defined in package
-	Ada.Containers.Indefinite_Ordered_Sets.
+C760014  [Pending New] New VCS Label: A4_0A
+			Required after 2015-04-01
+	Check that Ada.Finalization is declared pure.
 
 ===== Annex C =====
 
@@ -200,6 +114,7 @@
 [None.]
 
 
+
 How to get new and modified tests:
 
 The official home of the ACATS test suite is the ACAA web site. The site can be
@@ -207,7 +122,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_3_1A.Zip and Tar files on the ACAA web site.
+Mod_4_0A.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.
@@ -220,7 +135,7 @@
 If you cannot get the files from the official site or you cannot get the files
 in a format appropriate for your processor, please contact your ACAL.
 
-The baseline ACATS 3.1 is available in various formats on the ACAA web site.
+The baseline ACATS 4.0 is available in various formats on the ACAA web site.
 
 Summary lists:
 
@@ -259,20 +174,7 @@
 Pending New Tests
 
 (Refer to the main list for details)
+
+C760014	2015-04-01
+
 
-B730008	2014-07-01
-B730009	2014-07-01
-BDD2004	2014-10-01
-CXAI001	2014-07-01
-CXAI002	2014-07-01
-CXAI003	2014-07-01
-CXAI004	2014-07-01
-CXAI005	2014-07-01
-CXAI006	2014-07-01
-CXAIA01	2014-07-01
-CXAIA02	2014-07-01
-CXAIA03	2014-07-01
-CXAIA04	2014-07-01
-CXAIA05	2014-07-01
-CXAIA06	2014-07-01
-FXAIA00	2014-07-01

Questions? Ask the ACAA Technical Agent