CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2006/12/20 01:28:52	1.47
+++ acats/docs/mod_list.txt	2007/03/06 04:33:32	1.48
@@ -1,23 +1,24 @@
 ACATS Test Modification List
 
-Version 2.5N
-December 19, 2006
+Version 2.5P
+March 5, 2007
 
 
 Changes from the last list:
 
-Test CXD8002 was modified to eliminate errors caused by rounding values down
-when converted. Test CXF2001 reports the wrong block name in a failure message
-at the end of the test. C96004A and C96007A have been modified to work for both
-Ada 95 and Ada 2005.
-
-New test C460013 has been created to check that null-excluding access
-parameters do not allow null values. This test also checks that the not null
-syntax is allowed; this syntax is now required even for Ada 95 compilers (see
-AI-447). Allowing not null in Ada 95 compilers eases transition to Ada 2005
-(access parameters and discriminants that include not null will not change
-behavior when moved to Ada 2005 compilers).
+The new syntax in C460013.A is backwards. This correction to a pending new test
+changes its effective date to October 2007.
 
+The function Stream_Io_File at lines 114-117 in test CXAC005 potentially could
+raise Program_Error due to violating the return-by-reference rules (depending
+on the implementation of Stream_IO.File_Type). As this function is illegal in
+Ada 2005, the test has been rewritten to remove it.
+
+The test BXE2009 tests that a Remote_Call_Interface package cannot with a
+normal package. Unfortunately, the normal package chosen (Ada.Finalization) was
+changed to a Remote_Types package by Corrigendum 1. Thus, the package was
+changed to Ada.Command_Line.
+
 It has been reported that there are a number of tests (roughly 25) that return
 limited objects that are incompatible with Ada 2005. (Specifically, 6.5(5.5/2).
 Ada 95 allows only cases that are illegal in Ada 2005, so it is impossible to
@@ -29,18 +30,21 @@
 confirmed that these tests are incompatible, thus we're not publishing the list
 here).
 
-Note that there is no version 2.5I of the list. As ISO requires with the Ada
-standard, we do not use the letters I and O in version numbers, to avoid
-confusion when reading.
+Note that there is no version 2.5I or 2.5O of the list. As ISO requires with
+the Ada standard, we do not use the letters I and O in version numbers, to
+avoid confusion when reading.
 
 The ACAA would like to remind ACATS users that a base test suite update is
 planned by April 2007. This is expected to be the last Ada 95 test suite.
 
-New tests inserted between October 1, 2006 and January 1, 2007 will become
-required for conformity assessments on July 1, 2007. No new tests were inserted
-between January 1, 2004 and October 1, 2006. New tests added to the ACATS
-before January 1, 2004 are now required for conformity assessments. The
-effective dates of tests are marked in the lists.
+No further new tests are expected for version 2 of the ACATS test suite (future
+development will be done on the Ada 2005 version, which will be version 3.0 of
+the ACATS test suite). New tests inserted (or corrected) between January 1,
+2007 and April 1, 2007 will become required for conformity assessments on
+October 1, 2007. No new tests were inserted between January 1, 2004 and January
+1, 2007. New tests added to the ACATS before January 1, 2004 are now required
+for conformity assessments. The effective dates of tests are marked in the
+lists.
 
 Questions about this document? Contact the ACAA Technical Agent at
 agent@ada-auth.org.
@@ -152,8 +156,8 @@
 	Pragma Elaborate_All (Report); was added @93 in order to ensure
 	Program_Error is not during elaboration.
 
-C460013 [Pending New] New VCS Label: A2_5N
-			Required after 2007-07-01
+C460013 [Pending New] New VCS Label: A2_5P
+			Required after 2007-10-01
 	Check that null excluding subtypes do not allow null values:
 	access parameters. Includes a check for the not null syntax
 	as required in Ada 95 by AI-447.
@@ -299,6 +303,11 @@
 	Check that implicit_dereferences, object names, and implicit
 	conversions are freezing.
 
+CXAC005 [Allowed Modification] New VCS Label: A2_5P Org VCS Label: A2_5
+			Required after 2007-07-01
+	The function @114-7 may raise Program_Error for some
+	implementations of Stream_IO.File_Type.
+
 CXB3012 [Modified] VCS Label: A2_5L
 	Subtests 5 through 8 assume behavior changed by AI-242. The test
 	was changed to allow the AI-242 results.
@@ -312,7 +321,6 @@
 CXD4009 [Modified] VCS Label: A2_5L
 	The T tasks may make their second call on the entries of Checker
 	before Checker finishes processing the first set.
-
 CXD8002 [Allowed Modification] New VCS Label: A2_5N Org VCS Label: A2_5
 			Required after 2007-04-01
 	Conversion @179 may round down, causing delay to be reported
@@ -320,7 +328,9 @@
 
 ===== Annex E =====
 
-[None]
+CXD8002 [Allowed Modification] New VCS Label: A2_5P Org VCS Label: A2_5
+			Required after 2007-07-01
+	Package Ada.Finalization @140 is not a "normal" package.
 
 ===== Annex F =====
 
@@ -328,6 +338,7 @@
 			Required after 2007-04-01
 	Failure message @749 reports wrong block name.
 
+
 ===== Annex G =====
 
 CXG2018 [Modified] VCS Label: A2_5E
@@ -355,7 +366,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_2_5N.Zip and Tar files on the ACAA web site.
+Mod_2_5P.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.
@@ -389,7 +400,9 @@
 
 C96004A	2007-04-01
 C96007A	2007-04-01
+CXAC005	2007-07-01
 CXD8002	2007-04-01
+BXE2009	2007-07-01
 CXF2001	2007-04-01
 
 
@@ -458,6 +471,6 @@
 
 (Refer to the main list for details)
 
-C460013	2007-07-01
+C460013	2007-10-01
 
 

Questions? Ask the ACAA Technical Agent