CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2008/05/31 04:09:02	1.54
+++ acats/docs/mod_list.txt	2008/07/22 22:23:22	1.55
@@ -1,6 +1,6 @@
 ACATS Test Modification List for ACATS 3.0
-Version 3.0D
-May 30, 2008
+Version 3.0E
+July 22, 2008
 
 
 What is this?
@@ -17,54 +17,31 @@
 
 Changes from the last list:
 
-B831001 has a generic function that is illegal by AI05-0073-1. B831002 has an
-instantiation that claims to override a non-existent declaration.
+Five tests changed categories on July 1st.
 
-B371001 adds test cases for the rules improved by AI05-0041-1.
+Corrected an illegal return statement in test C650A01. Fixed the related
+foundation to avoid an illegal component reference.
 
-B394A02 corrects a test case so that it depends only on legal types.
+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.
 
-B740003 revised its error indications to allow more flexibility to
-implementations.
-
-BA12010 was corrected so that one subtest is testing the intended objective.
-
-A number of new tests were added:
-
-C393013 tests that functions with controlling results are automatically
-inherited for null extensions, and that the result of the function has the
-correct tag.
-
-C3A0018 tests anonymous access-to-protected subprograms.
-
-C3A0019, C3A0020, C3A0021, C3A0022, C3A0023, C3A0024, C3A0025, C3A0026, C3A0027,
-C3A0028, and C3A0029 test that null exclusions actually exclude null at runtime.
-
-B3A0005 tests that modifications through a dereference of an anonymous
-access-to-constant type are prohibited. B3A0006 tests that an anonymous
-access-to-variable cannot be given a value that designates a constant. B3A0007
-and B3A0008 test null exclusions cannot be given for non-access types or for
-types that already exclude null.
-
-B3A1001 tests that incomplete types must be completed in the same declaration
-list unless they are declared in the the private part of a package. It replaces
-the old ACATS tests B38101A and B38101B with additional test cases. Similarly,
-B3A1002 replaces old ACATS test B38101C. B3A1003 checks that an incomplete type
-cannot be completed with another incomplete type, a private type, a private
-extension, or a subtype. B3A1004 checks that a tagged incomplete cannot be
-completed with an untagged type.
-
-B3A1A01 checks that most incomplete views cannot be used as parameter or result
-subtypes. B3A1A02 checks that incomplete views cannot be used in object
-declarations, component declarations, or allocators. B3A1A03 checks that
-incomplete views cannot be used in a use type clause.
-
 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.
+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.
 
 Questions about this document? Contact the ACAA Technical Agent at
 agent@ada-auth.org.
@@ -115,8 +92,7 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
-C34008A [Allowed Modification] New VCS Label:A3_0B Org VCS Label: A3_0
-			Required after 2008-07-01
+C34008A [Modified] VCS Label:A3_0B
 	Revised to eliminate function V @73-76 and its uses, as it
 	attempts to return an existing object of a limited type.
 
@@ -183,98 +159,122 @@
 	Check that anonymous access-to-subprograms can be used in many
 	contexts, and that the associated function can be called.
 
-C3A0018 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that anonymous access-to-protected subprograms can be used
-	in many contexts, and that the associated subprogram can be
-	called.
-
-C3A0019 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that Constraint_Error is raised when a null access value is
-	converted to a null excluding subtype of a named access type.
+C3A0018 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-01
+	VCS Label A3_0D: Check that anonymous access-to-protected
+	subprograms can be used in many contexts, and that the associated
+	subprogram can be called.
+	VCS Label A3_0E: The wrong routine is returned @126; "protected"
+	is missing @123; @307 needs a call of Set_Factor.
+
+C3A0019 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-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 A: null exclusion given at point of use for a general access
 	type.
+	VCS Label A3_0E: @408 must be initialized with Aux'Access.
 
-C3A0020 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that Constraint_Error is raised when a null access value is
-	converted to a null excluding subtype of a named access type.
+C3A0020 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-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 B: null exclusion given in a subtype of a general access
 	type.
+	VCS Label A3_0E: @404 must be initialized with Aux'Access.
 
-C3A0021 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that Constraint_Error is raised when a null access value is
-	converted to a null excluding subtype of a named access type.
+C3A0021 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-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.
 
-C3A0022 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that Constraint_Error is raised when a null access value is
-	converted to a null excluding subtype of a named access type.
+C3A0022 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-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 D: null exclusion given at point of use for a pool-specific
 	access type.
+	VCS Label A3_0E: @407 must be initialized with Non_Null_Init.
 
-C3A0023 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that Constraint_Error is raised when a null access value is
-	converted to a null excluding subtype of a named access type.
+C3A0023 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-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 E: null exclusion given in a subtype of a pool-specific
 	access type.
+	VCS Label A3_0E: @402 must be initialized with Non_Null_Init.
 
-C3A0024 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that Constraint_Error is raised when a null access value is
-	converted to a null excluding subtype of a named access type.
+C3A0024 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-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.
-
-C3A0025 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that Constraint_Error is raised when a null access value is
-	converted to a null excluding anonymous access-to-object type.
+	VCS Label A3_0E: @393 must be initialized with Non_Null_Init.
 
-C3A0026 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that Constraint_Error is raised when a null access value is
-	converted to a null excluding anonymous access-to-subprogram type.
+C3A0025 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-01
+	VCS Label A3_0D: Check that Constraint_Error is raised when a
+	null access value is converted to a null excluding anonymous
+	access-to-object type.
+	VCS Label A3_0E: @334 must be initialized with Aux'Access.
+
+C3A0026 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-01
+	VCS Label A3_0D: Check that Constraint_Error is raised when a
+	null access value is converted to a null excluding anonymous
+	access-to-subprogram type.
+	VCS Label A3_0E: Expressions @385 and @407 fail accessibility
+	check. @406 must be initialized with Double'Access.
+
+C3A0027 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-01
+	VCS Label A3_0D: Check that Constraint_Error is raised when a
+	null access value is converted to a null excluding anonymous
+	access-to-protected-subprogram type.
+	VCS Label A3_0E: Expressions @393 and @416 fail accessibility
+	check. @415 must be initialized with PO.Double'Access.
+
+C3A0028 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-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-to-subprogram type.
+	VCS Label A3_0E: @409 must be initialized with Double'Access.
+
+C3A0029 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-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-to-protected-subprogram type.
+	VCS Label A3_0E: @420 must be initialized with PO.Double'Access.
 
-C3A0027 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that Constraint_Error is raised when a null access value is
-	converted to a null excluding anonymous access-to-protected-
-	subprogram type.
-
-C3A0028 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that Constraint_Error is raised when a null access value is
-	converted to a null excluding subtype of a named access-to-
-	subprogram type.
-
-C3A0029 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that Constraint_Error is raised when a null access value is
-	converted to a null excluding subtype of a named access-to-
-	protected-subprogram type.
-
 B3A1001 [Pending New] New VCS Label:A3_0D
 			Required after 2009-01-01
 	Check that an incomplete type must be completed, and must be
-      completed in the same declaration list unless it is given
+	completed in the same declaration list unless it is given
 	in the private part of a package.
 
 B3A1002 [Pending New] New VCS Label:A3_0D
 			Required after 2009-01-01
 	Check that an incomplete type must be completed, and must be
-      completed in the same declaration list unless it is given
+	completed in the same declaration list unless it is given
 	in the private part of a package  generic package cases.
 
-B3A1003 [Pending New] New VCS Label:A3_0D
-			Required after 2009-01-01
-	Check that an incomplete type cannot be completed by another
-	incomplete type, a private type, a private extension, or
-	a subtype.
+B3A1003 [Pending New] New VCS Label:A3_0E
+			Required after 2009-04-01
+	VCS Label A3_0D: Check that an incomplete type cannot be
+	completed by another incomplete type, a private type, a
+	private extension, or a subtype.
+	VCS Label A3_0E: Allow errors @110 and @111.
 
 B3A1004 [Pending New] New VCS Label:A3_0D
 			Required after 2009-01-01
@@ -333,15 +333,20 @@
 	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.
+F650A00 [Pending New] New VCS Label: A3_0E
+			Required after 2009-04-01
+	VCS Label A3_0C: Foundation providing a limited tagged type
+	hierarchy for extended return tests.
+	VCS Label A3_0E: Eliminated illegal reference to Time component
+	@150.
+
+C650A01 [Pending New] New VCS Label: A3_0E
+			Required after 2009-04-01
+	VCS Label A3_0C: Check that Constraint_Error is raised if the
+	result of an anonymous access-to-specific-tagged does not have
+	the correct tag.
+	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
@@ -357,13 +362,39 @@
 	The declaration @309 has the wrong name (should be G) and profile
 	(Gfu should have a Boolean parameter).
 
-C990001 [Allowed Modification] New VCS Label:A3_0B Org VCS Label: A3_0
-			Required after 2008-07-01
+C851001 [Pending New] New VCS Label: A3_0E
+			Required after 2009-04-01
+	Check that when renaming an object that excludes null, the
+	renamed object still excludes null even if the
+	renaming_declaration does not include a null_exclusion.
+
+B851002 [Pending New] New VCS Label: A3_0E
+			Required after 2009-04-01
+	Check that the resolution and legality rules are enforced for
+	renaming of anonymous access-to-object types.
+
+C851002 [Pending New] New VCS Label: A3_0E
+			Required after 2009-04-01
+	For an object renaming with an anonymous access type, check that
+	the name is resolved if there is only one interpretation with a
+	correct anonymous access type, even if other interpretations
+	exist.
+
+B851003 [Pending New] New VCS Label: A3_0E
+			Required after 2009-04-01
+	Check that the resolution and legality rules are enforced for
+	renaming of anonymous access-to-subprogram types.
+
+B851004 [Pending New] New VCS Label: A3_0E
+			Required after 2009-04-01
+	Check that the legality rules for renamings that include a
+	null_exclusion are enforced.
+
+C990001 [Modified] VCS Label:A3_0B
 	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
+CA11023 [Modified] VCS Label:A3_0C
 	@f2-190 should be Dept2 rather than Dept1. "Return False;" should
 	be added @f2-116.
 
@@ -374,8 +405,7 @@
 
 ===== Annex C =====
 
-BXC3002 [Allowed Modification] New VCS Label:A3_0C Org VCS Label: A3_0
-			Required after 2008-07-01
+BXC3002 [Modified] VCS Label:A3_0C
 	Declaration @103 is not illegal as Amendment repealed the relevant
 	rule.
 
@@ -386,8 +416,7 @@
 
 ===== Annex E =====
 
-BXE2009 [Allowed Modification] New VCS Label:A3_0C Org VCS Label: A3_0
-			Required after 2008-07-01
+BXE2009 [Modified] VCS Label:A3_0C
 	Type Is_Limited_With_Attrs @80 does not have available stream
 	attributes, but is assumed to have them.
 
@@ -414,7 +443,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_0D.Zip and Tar files on the ACAA web site.
+Mod_3_0E.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.
@@ -453,18 +482,19 @@
 B831001	2008-10-01
 B831002	2008-10-01
 BA12010	2008-10-01
-BXC3002	2008-07-01
-BXE2009	2008-07-01
-C34008A	2008-07-01
-C990001	2008-07-01
-CA11023	2008-07-01
+
 
 
 Modified Tests
 
 (Refer to the main list for details)
 
-[None.]
+BXC3002
+BXE2009
+C34008A
+C990001
+CA11023
+
 
 
 New Tests
@@ -474,6 +504,7 @@
 [None.]
 
 
+
 Pending New Tests
 
 (Refer to the main list for details)
@@ -485,32 +516,36 @@
 B3A0008	2009-01-01
 B3A1001	2009-01-01
 B3A1002	2009-01-01
-B3A1003	2009-01-01
+B3A1003	2009-04-01
 B3A1004	2009-01-01
 B3A1A01	2009-01-01
 B3A1A02	2009-01-01
 B3A1A03	2009-01-01
 B650004	2008-10-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-01-01
-C3A0019	2009-01-01
-C3A0020	2009-01-01
-C3A0021	2009-01-01
-C3A0022	2009-01-01
-C3A0023	2009-01-01
-C3A0024	2009-01-01
-C3A0025	2009-01-01
-C3A0026	2009-01-01
-C3A0027	2009-01-01
-C3A0028	2009-01-01
-C3A0029	2009-01-01
+C3A0018	2009-04-01
+C3A0019	2009-04-01
+C3A0020	2009-04-01
+C3A0021	2009-04-01
+C3A0022	2009-04-01
+C3A0023	2009-04-01
+C3A0024	2009-04-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	2008-10-01
+C650A01	2009-04-01
+C851001	2009-04-01
+C851002	2009-04-01
 F3A1A00	2009-01-01
-F650A00	2008-10-01
-
+F650A00	2009-04-01
 

Questions? Ask the ACAA Technical Agent