CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2008/01/26 04:54:44	1.52
+++ acats/docs/mod_list.txt	2008/04/01 03:47:49	1.53
@@ -1,78 +1,82 @@
 ACATS Test Modification List for ACATS 3.0
-Version 3.0B
-January 25, 2008
+Version 3.0C
+March 31, 2008
 
 
 What is this?
 
-This the ACATS test modification list for ACATS 3.0. This document includes
-test corrections, test removals, and new tests for ACATS 3.0. ACATS 3.0 is the
-test suite for the current version of Ada (often known as "Ada 2005") that
-became current with the approval and publication of Amendment 1 by ISO as
+This the ACATS test modification list for ACATS 3.0. This document includes test corrections, test 
+removals, and new tests for ACATS 3.0. ACATS 3.0 is the test suite for the current version of Ada (often 
+known as "Ada 2005") that became current with the approval and publication of Amendment 1 by ISO as 
 ISO/IEC 8652:1995/AMD 1:2007.
 
-ACATS Test Modification List version 2.6C for ACATS 2.6 remains current 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.
+ACATS Test Modification List version 2.6C for ACATS 2.6 remains current 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.
 
 Changes from the last list:
 
-Test C34008A was corrected as it has a function that returns an existing task
-object.
+BXC3002 tested the last sentence of C.3.1(8/2), which was deleted by the Amendment. A test of the 
+required accessibility check was added to replace the original test case.
 
-Test C41306A was withdrawn because it deadlocks because it calls an entry of a
-task that will not be activated until after the function returns.
+Type Is_Limited_With_Attrs in test BXE2009 does not have available stream attributes by the Ada 2005 
+rules; thus the rest of the test gets unintentional errors.
 
-Test C413006 was created to replace C41306A and test additional cases.
+Test CA11023 contains two minor errors.
 
-Test C990001 had a missing test case added (it is similar to the one deleted
-from C34008A).
-
-New tests that originated in the ACATS 3.0 release are required for conformity
-assessments using ACATS 3.0. New tests inserted between April 1, 2008 and July
-1, 2008 will become required for conformity assessments on January 1, 2009. New
-tests inserted between January 1, 2008 and April 1, 2008 will become required
-for conformity assessments on October 1, 2008. The effective dates of tests are
-marked in the lists.
+Test B58001A was replaced by a new test B650004, which tests many more cases, and whose name 
+references the correct clause.
 
-Questions about this document? Contact the ACAA Technical Agent at
-agent@ada-auth.org.
+Test C38006A was replaced by a new test C3A0016, which tests many more cases, and whose name 
+references the correct clause.
 
+A number of other new tests were added: 
+
+Test C3A0017 tests that anonymous access-to-subprograms can be used in many contexts, and that they 
+can be used to call the associated functions.
+
+C650002 tests return statements in entry bodies, accept statements, and protected procedures. C650003 
+tests simple return statements inside of extended return statements and other methods of completion. 
+C650A01 tests that the result of a function returning an anonymous access-to-specific-tagged has the 
+correct tag (or Constraint_Error is raised).
+
+New tests that originated in the ACATS 3.0 release are required for conformity assessments using ACATS 
+3.0. New tests inserted between April 1, 2008 and July 1, 2008 will become required for conformity 
+assessments on January 1, 2009. New tests inserted between January 1, 2008 and April 1, 2008 will 
+become required for conformity assessments on October 1, 2008. The effective dates of tests are marked in 
+the lists. 
+
+Questions about this document? Contact the ACAA Technical Agent at agent@ada-auth.org.
+
 Notice:
 
-The ACAA has created and maintains the Ada Conformity Assessment Test Suite for
-the purpose of conformity assessments conducted in accordance with the
-International Standard ISO/IEC 18009 - Ada: Conformity assessment of a language
-processor. This test suite should not be used to make claims of conformance
-unless used in accordance with ISO/IEC 18009 and any applicable ACAA
-procedures.
+The ACAA has created and maintains the Ada Conformity Assessment Test Suite for the purpose of 
+conformity assessments conducted in accordance with the International Standard ISO/IEC 18009 - Ada: 
+Conformity assessment of a language processor. This test suite should not be used to make claims of 
+conformance unless used in accordance with ISO/IEC 18009 and any applicable ACAA procedures.
 
 List explanation:
 
-Test numbers given are for the basic test.  Categories are "Withdrawn" (the
-test should not be processed for Ada conformity assessments); "Allowed
-Modification" (either the original test or the modified one should be processed
-for Ada conformity assessments); "Modified" (the modified test must be
-processed for Ada conformity assessments); "Pending New" (the test does not
-need to be processed for Ada conformity assessments, but will be added in the
-future); "New" (the 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".
-
-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, then the particular file will be indicated by "fn", where "n" is the
-test-program name's file-designator numeral.  E.g., "B38103E : @f1-31, ... "
-denotes test file b38103e1.ada. In cases where there are two or more rationales
-for different errors in a test program, these different rationales with their
-respective line citations are listed on separate lines.  References to the Ada
+Test numbers given are for the basic test.  Categories are "Withdrawn" (the test should not be processed for 
+Ada conformity assessments); "Allowed Modification" (either the original test or the modified one should 
+be processed for Ada conformity assessments); "Modified" (the modified test must be processed for Ada 
+conformity assessments); "Pending New" (the test does not need to be processed for Ada conformity 
+assessments, but will be added in the future); "New" (the 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".
+
+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, then the particular file will be indicated by "fn", where "n" is 
+the test-program name's file-designator numeral.  E.g., "B38103E : @f1-31, ... " denotes test file
+b38103e1.ada. In cases where there are two or more rationales for different errors in a test program, these 
+different rationales with their respective line citations are listed on separate lines.  References to the Ada 
 standards are given in the format:
 
 	<section|chapter>.<clause>[.<subclause>]:<paragraph>
 
-These references are to the consolidated Ada standard as available at
+These references are to the consolidated Ada standard as available at 
 http://www.adaic.com/standards/05rm/html/RM-TOC.html.
 
 
@@ -90,6 +94,21 @@
 	Revised to eliminate function V @73-76 and its uses, as it
 	attempts to return an existing object of a limited type.
 
+C38006A [Withdrawn] Org VCS Label: A3_0C
+	This test has been replaced by new test C3A0016.
+
+C3A0016 [Pending New] New VCS Label:A3_0C
+			Required after 2008-10-01
+	Check that a constant access-to-variable value can be used to
+	modify the designated object. This test adds general access and
+	anonymous access test cases, and as such is no longer a legacy
+	test.
+
+C3A0017 [Pending New] New VCS Label:A3_0C
+			Required after 2008-10-01
+	Check that anonymous access-to-subprograms can be used in many
+	contexts, and that the associated function can be called.
+
 C413006 [Pending New] New VCS Label:A3_0B
 			Required after 2008-10-01
 	Created test from ashes of C41306A, included additional test
@@ -101,22 +120,65 @@
 	Deadlock: returns @75,83 call an entry on a task that will not be
 	activated until the return statement finishes.
 
+B58001A [Withdrawn] Org VCS Label: A3_0C
+	This test has been replaced by new test B650004.
+
+C650002 [Pending New] New VCS Label: A3_0C
+			Required after 2008-10-01
+	Check that a return statement that applies to an entry body
+	or accept statement completes the body or statement.
+
+C650003 [Pending New] New VCS Label: A3_0C
+			Required after 2008-10-01
+	Try various ways to complete an extended return statement.
+
+B650004 [Pending New] New VCS Label: A3_0C
+			Required after 2008-10-01
+	Test that return statements cannot be in a non-callable body,
+	even when inside of a callable construct. This tests adds
+	many test cases to those in B58001A, including those for
+	extended return statements; it no longer is a legacy test for
+	that reason.
+
+F650A00 [Pending New] New VCS Label: A3_0C
+			Required after 2008-10-01
+	Foundation providing a limited tagged type hierarchy for extended
+	return tests.
+
+C650A01 [Pending New] New VCS Label: A3_0C
+			Required after 2008-10-01
+	Check that Constraint_Error is raised if the result of an
+	anonymous access-to-specific-tagged does not have the correct tag.
+
 C990001 [Allowed Modification] New VCS Label:A3_0B Org VCS Label: A3_0
 			Required after 2008-07-01
 	Added function returning a task as an attribute prefix case from
 	C34008A.
 
+CA11023 [Allowed Modification] New VCS Label:A3_0C Org VCS Label: A3_0
+			Required after 2008-07-01
+	@f2-190 should be Dept2 rather than Dept1. "Return False;" should
+	be added @f2-116.
+
+
 ===== Annex C =====
 
-[None.]
+BXC3002 [Allowed Modification] New VCS Label:A3_0C Org VCS Label: A3_0
+			Required after 2008-07-01
+	Declaration @103 is not illegal as Amendment repealed the relevant
+	rule.
 
 ===== Annex D =====
 
 [None.]
 
+
 ===== Annex E =====
 
-[None.]
+BXE2009 [Allowed Modification] New VCS Label:A3_0C Org VCS Label: A3_0
+			Required after 2008-07-01
+	Type Is_Limited_With_Attrs @80 does not have available stream
+	attributes, but is assumed to have them.
 
 ===== Annex F =====
 
@@ -136,23 +198,22 @@
 
 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.
-
-The complete set of official new and modified tests are available in the
-Mod_3_0B.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.
-Select the revision you want (usually the most recent) and it will be retrieved
-for you. Tests are stored in directories that correspond to the test's prefix.
-For instance, the test CD92001.A will be found in the CD directory. You can
-also browse the differences between versions of a test. [In case of a conflict,
-the files in the ACATS VCS should be considered the 'official' versions.]
+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.
+
+The complete set of official new and modified tests are available in the Mod_3_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. Select the revision you want (usually the most 
+recent) and it will be retrieved for you. Tests are stored in directories that correspond to the test's prefix. 
+For instance, the test CD92001.A will be found in the CD directory. You can also browse the differences 
+between versions of a test. [In case of a conflict, the files in the ACATS VCS should be considered the 
+'official' versions.]
 
-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.
+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.0 is available in various formats on the ACAA web site.
 
@@ -163,6 +224,8 @@
 
 (Refer to the main list for details)
 
+B58001A
+C38006A
 C41306A
 
 
@@ -171,8 +234,11 @@
 
 (Refer to the main list for details)
 
+BXC3002	2008-07-01
+BXE2009	2008-07-01
 C34008A	2008-07-01
 C990001	2008-07-01
+CA11023	2008-07-01
 
 
 Modified Tests
@@ -193,14 +259,19 @@
 
 (Refer to the main list for details)
 
+B650004	2008-10-01
+C3A0016	2008-10-01
+C3A0017	2008-10-01
 C413006	2008-10-01
+C650002	2008-10-01
+C650003	2008-10-01
+C650A01	2008-10-01
+F650A00	2008-10-01
 
 
 
-Tests that ought to have changes made, but currently have a low priority for
-changes:
+Tests that ought to have changes made, but currently have a low priority for changes:
 
-B371001 [The test case @f2 is commented out pending the resolution
-ofAI05-0041-1.]
+B371001 [The test case @f2 is commented out pending the resolution ofAI05-0041-1.]
 
 

Questions? Ask the ACAA Technical Agent