CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2008/07/22 22:23:22	1.55
+++ acats/docs/mod_list.txt	2008/10/02 04:26:52	1.56
@@ -1,6 +1,6 @@
 ACATS Test Modification List for ACATS 3.0
-Version 3.0E
-July 22, 2008
+Version 3.0F
+October  1, 2008
 
 
 What is this?
@@ -17,42 +17,40 @@
 
 Changes from the last list:
 
-Five tests changed categories on July 1st.
+As this is the first list of a new quarter, some tests have changed status.
+Check the lists for details.
 
-Corrected an illegal return statement in test C650A01. Fixed the related
-foundation to avoid an illegal component reference.
+Tests C3A0021 and C3A0024 are corrected in order to eliminate
+default-initialized null-excluding access objects (which always raise
+Constraint_Error).
 
-Test C3A0018 was corrected to fix several test errors. Tests C3A0026 and C3A0027
-have return statements that fail an accessibility check, these were corrected.
-Tests C3A0019 through C3A0029 all contain an extended return statement with an
-unintentional Constraint_Error.
-
-Several new tests were added:
-
-C851001 checks that renaming a null-excluding object leaves the object as
-null-excluding. C851002 tests that resolution of object renames take anonymous
-access types into account. B851002 and B851003 check that the resolution and
-legality rules for renaming of anonymous access types are enforced. B851004
-check that the rules for renamings with null_exclusions are enforced.
+Test B3A1A01 was corrected to remove duplicate names and incorrect test cases.
 
+Test B831001 has a renames that attempts to rename a previously incorrect
+declaration. The ACATS is not about the quality of error recovery, so this was
+eliminated.
+
+New test CC30003 tests that types derived from generic formal tagged private
+types inherit primitive routines properly.
+
+New tests B3A1005 and B3A1A04 test that rules 3.10.1(9.3/2) and 3.10.1(9/2),
+respectively, are enforced properly.
+
 New tests that originated in the ACATS 3.0 release are required for conformity
-assessments using ACATS 3.0. New tests inserted between July 1, 2008 and October
-1, 2008 will become required for conformity assessments on April 1, 2009. 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.
+assessments using ACATS 3.0. New tests inserted between October 1, 2008 and
+January 1, 2009 will become required for conformity assessments on April 1,
+2009. New tests inserted between July 1, 2008 and October 1, 2008 will become
+required for conformity assessments on April 1, 2009. New tests inserted between
+April 1, 2008 and July 1, 2008 will become required for conformity assessments
+on January 1, 2009. New tests inserted before April 1, 2008 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.
 
 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 sui
te should not be used to make claims of conformance unless used in accordance with ISO/IEC 18009 and any applicable ACAA procedures.
 
 List explanation:
 
@@ -120,8 +118,7 @@
 	Check that functions with controlling results are automatically
 	inherited correctly for null type extensions.
 
-B394A02 [Allowed Modification] New VCS Label:A3_0D Org VCS Label: A3_0
-			Required after 2008-10-01
+B394A02 [Modified] VCS Label:A3_0D
 	Revised to add "B394A02." @121 in front of Interf01 so that legal
 	type is used.
 
@@ -147,15 +144,13 @@
 	if the subtype mark is a generic formal type that excludes
 	null.
 
-C3A0016 [Pending New] New VCS Label:A3_0C
-			Required after 2008-10-01
+C3A0016 [New] VCS Label:A3_0C
 	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
+C3A0017 [New] VCS Label:A3_0C
 	Check that anonymous access-to-subprograms can be used in many
 	contexts, and that the associated function can be called.
 
@@ -185,16 +180,17 @@
 	type.
 	VCS Label A3_0E: @404 must be initialized with Aux'Access.
 
-C3A0021 [Pending New] New VCS Label:A3_0E
-			Required after 2009-04-01
+C3A0021 [Pending New] New VCS Label:A3_0F
+			Required after 2009-07-01
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access type.
 	Case C: null exclusion given in a general access type declaration.
 	VCS Label A3_0E: @427 must be initialized with Aux'Access.
+	VCS Label A3_0F: @409 and 432 must be initialized with Aux'Access.
 
 C3A0022 [Pending New] New VCS Label:A3_0E
-			Required after 2009-04-01
+			Required after 2009-07-01
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access type.
@@ -211,14 +207,16 @@
 	access type.
 	VCS Label A3_0E: @402 must be initialized with Non_Null_Init.
 
-C3A0024 [Pending New] New VCS Label:A3_0E
-			Required after 2009-04-01
+C3A0024 [Pending New] New VCS Label:A3_0F
+			Required after 2009-07-01
 	VCS Label A3_0D: Check that Constraint_Error is raised when a
 	null access value is converted to a null excluding subtype of a
 	named access type.
 	Case F: null exclusion given in a pool-specific access type
 	declaration.
 	VCS Label A3_0E: @393 must be initialized with Non_Null_Init.
+	VCS Label A3_0F: @379 and 398 must be initialized with
+	Non_Null_Init.
 
 C3A0025 [Pending New] New VCS Label:A3_0E
 			Required after 2009-04-01
@@ -281,16 +279,25 @@
 	Check that a tagged incomplete type cannot be completed with an
 	untagged type.
 
+B3A1005 [Pending New] New VCS Label:A3_0F
+			Required after 2009-07-01
+	Check that a primitive operation of an incomplete type declared
+	in a private part cannot be given unless the completion of the
+	private type is also in the same private part.
+
 F3A1A00 [Pending New] New VCS Label: A3_0D
 			Required after 2009-01-01
 	Foundation providing types to be accessed as a limited view
 	in order to test the usage of incomplete views.
 
-B3A1A01 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that an untagged incomplete view cannot be used as the
-	subtype mark of a parameter, and that any incomplete view cannot
-	be used as the subtype mark of the result of a function.
+B3A1A01 [Pending New] New VCS Label:A3_0F
+			Required after 2009-07-01
+	VCS Label A3_0D: Check that an untagged incomplete view cannot be
+	used as the subtype mark of a parameter, and that any incomplete
+	view cannot be used as the subtype mark of the result of a
+	function.
+	VCS Label A3_0F: @140 should be named Acc11; @142 Acc12; @144
+	Acc13; and @146 Acc14.
 
 B3A1A02 [Pending New] New VCS Label:A3_0D
 			Required after 2009-01-01
@@ -301,10 +308,15 @@
 B3A1A03 [Pending New] New VCS Label:A3_0D
 			Required after 2009-01-01
 	Check that an incomplete view cannot be used in a use type clause.
+
+B3A1A04 [Pending New] New VCS Label:A3_0F
+			Required after 2009-07-01
+	Check that a tagged incomplete view cannot be used as the prefix
+	of the Class attribute used in a context that does not allow a
+	tagged incomplete view.
 
-C413006 [Pending New] New VCS Label:A3_0B
-			Required after 2008-10-01
-	Created test from ashes of C41306A, included additional test
+C413006 [New] VCS Label:A3_0B
+	Created test from ashes of C41306A, including additional test
 	cases for completeness. A new test is needed as Ada 95 and Ada
 	2005 features must be used; the result is not a legacy test in
 	any way.
@@ -316,17 +328,14 @@
 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
+C650002 [New] VCS Label: A3_0C
 	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
+C650003 [New] VCS Label: A3_0C
 	Try various ways to complete an extended return statement.
 
-B650004 [Pending New] New VCS Label: A3_0C
-			Required after 2008-10-01
+B650004 [New] VCS Label: A3_0C
 	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
@@ -348,17 +357,18 @@
 	VCS Label A3_0E: Return statement @108 violates 3.9.2(9/1); remove
 	'Class from type PA_Class.
 
-B740003 [Allowed Modification] New VCS Label:A3_0D Org VCS Label: A3_0
-			Required after 2008-10-01
+B740003 [Modified] VCS Label:A3_0D
 	The error @f1-106 can also be reported @f1-104.
 
-B831001 [Allowed Modification] New VCS Label:A3_0D Org VCS Label: A3_0
-			Required after 2008-10-01
-	The generic @f0-82 is illegal because of AI05-0073-1. "abstract"
-	was removed from @f0-81, @f1-755, and @f1-846.
+B831001 [Allowed Modification] New VCS Label:A3_0F Org VCS Label: A3_0
+			Required after 2009-04-01
+	VCS Label A3_0D: The generic @f0-82 is illegal because of
+	AI05-0073-1. "abstract" was removed from @f0-81, @f1-755, and
+	@f1-846.
+	VCS Label A3_0F: The rename @f1-408-9 depends on a previously
+	incorrect declaration @f1-382.
 
-B831002 [Allowed Modification] New VCS Label:A3_0D Org VCS Label: A3_0
-			Required after 2008-10-01
+B831002 [Modified] VCS Label:A3_0D
 	The declaration @309 has the wrong name (should be G) and profile
 	(Gfu should have a Boolean parameter).
 
@@ -398,11 +408,16 @@
 	@f2-190 should be Dept2 rather than Dept1. "Return False;" should
 	be added @f2-116.
 
-BA12010 [Allowed Modification] New VCS Label:A3_0D Org VCS Label: A3_0
-			Required after 2008-10-01
+BA12010 [Modified] VCS Label:A3_0D
 	The limited with @f4-67 is illegal by 10.1.2(21/2), which is not
 	the intent expressed by the error comment.
 
+CC30003 [Pending New] New VCS Label: A3_0F
+			Required after 2009-07-01
+	Check that a type derived from a generic formal tagged type
+	inherits primitives properly in an instance.
+
+
 ===== Annex C =====
 
 BXC3002 [Modified] VCS Label:A3_0C
@@ -443,7 +458,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_0E.Zip and Tar files on the ACAA web site.
+Mod_3_0F.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.
@@ -477,11 +492,7 @@
 
 (Refer to the main list for details)
 
-B394A02	2008-10-01
-B740003	2008-10-01
-B831001	2008-10-01
-B831002	2008-10-01
-BA12010	2008-10-01
+B831001	2009-04-01
 
 
 
@@ -489,6 +500,10 @@
 
 (Refer to the main list for details)
 
+B394A02
+B740003
+B831002
+BA12010
 BXC3002
 BXE2009
 C34008A
@@ -501,7 +516,12 @@
 
 (Refer to the main list for details)
 
-[None.]
+B650004
+C3A0016
+C3A0017
+C413006
+C650002
+C650003
 
 
 
@@ -518,34 +538,31 @@
 B3A1002	2009-01-01
 B3A1003	2009-04-01
 B3A1004	2009-01-01
-B3A1A01	2009-01-01
+B3A1005	2009-07-01
+B3A1A01	2009-07-01
 B3A1A02	2009-01-01
 B3A1A03	2009-01-01
-B650004	2008-10-01
+B3A1A04	2009-07-01
 B851002	2009-04-01
 B851003	2009-04-01
 B851004	2009-04-01
 C393013	2009-01-01
-C3A0016	2008-10-01
-C3A0017	2008-10-01
 C3A0018	2009-04-01
 C3A0019	2009-04-01
 C3A0020	2009-04-01
-C3A0021	2009-04-01
+C3A0021	2009-07-01
 C3A0022	2009-04-01
 C3A0023	2009-04-01
-C3A0024	2009-04-01
+C3A0024	2009-07-01
 C3A0025	2009-04-01
 C3A0026	2009-04-01
 C3A0027	2009-04-01
 C3A0028	2009-04-01
 C3A0029	2009-04-01
-C413006	2008-10-01
-C650002	2008-10-01
-C650003	2008-10-01
 C650A01	2009-04-01
 C851001	2009-04-01
 C851002	2009-04-01
+CC30003	2009-07-01
 F3A1A00	2009-01-01
 F650A00	2009-04-01
 

Questions? Ask the ACAA Technical Agent