CVS difference for acats/docs/mod_list.txt
--- acats/docs/mod_list.txt 2009/04/10 05:16:56 1.60
+++ acats/docs/mod_list.txt 2009/07/02 00:11:45 1.61
@@ -1,6 +1,6 @@
ACATS Test Modification List for ACATS 3.0
-Version 3.0K
-April 9, 2009
+Version 3.0L
+July 1, 2009
What is this?
@@ -17,21 +17,17 @@
Changes from the last list:
-This list contains a number of test status changes.
+This list contains a number of test status changes; there are no new or modified
+tests.
-Test B431003 was revised to add additional cases after it was noted that it did
-not detect a likely error situation (where a compiler requires only the visible
-components to be provided).
-
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, 2009 and July
-1, 2009 will become required for conformity assessments on January 1, 2010. New
-tests inserted between January 1, 2009 and April 1, 2009 will become required
-for conformity assessments on October 1, 2009. New tests inserted between
-October 1, 2008 and January 1, 2009 will become required for conformity
-assessments on July 1, 2009. New tests inserted before October 1, 2008 are now
-required for conformity assessments. The effective dates of tests are marked in
-the lists.
+assessments using ACATS 3.0. New tests inserted between July 1, 2009 and October
+1, 2009 will become required for conformity assessments on April 1, 2010. New
+tests inserted between April 1, 2009 and July 1, 2009 will become required for
+conformity assessments on January 1, 2010. New tests inserted between January 1,
+2009 and April 1, 2009 will become required for conformity assessments on
+October 1, 2009. New tests inserted before January 1, 2009 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.
@@ -173,8 +169,7 @@
type.
VCS Label A3_0E: @404 must be initialized with Aux'Access.
-C3A0021 [Pending New] New VCS Label:A3_0F
- Required after 2009-07-01
+C3A0021 [New] VCS Label:A3_0F
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.
@@ -182,8 +177,7 @@
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-07-01
+C3A0022 [New] VCS Label:A3_0E
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.
@@ -199,8 +193,7 @@
access type.
VCS Label A3_0E: @402 must be initialized with Non_Null_Init.
-C3A0024 [Pending New] New VCS Label:A3_0F
- Required after 2009-07-01
+C3A0024 [New] VCS Label:A3_0F
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.
@@ -210,16 +203,14 @@
VCS Label A3_0F: @379 and 398 must be initialized with
Non_Null_Init.
-C3A0025 [Pending New] New VCS Label:A3_0G
- Required after 2009-07-01
+C3A0025 [New] VCS Label:A3_0G
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.
VCS Label A3_0G: Corrected a spelling error in the test objective.
-C3A0026 [Pending New] New VCS Label:A3_0G
- Required after 2009-07-01
+C3A0026 [New] VCS Label:A3_0G
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.
@@ -227,8 +218,7 @@
check. @406 must be initialized with Double'Access.
VCS Label A3_0G: Corrected a spelling error in the test objective.
-C3A0027 [Pending New] New VCS Label:A3_0G
- Required after 2009-07-01
+C3A0027 [New] New VCS Label:A3_0G
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.
@@ -278,8 +268,7 @@
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_0F
- Required after 2009-07-01
+B3A1A01 [New] VCS Label:A3_0F
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
@@ -288,21 +277,18 @@
Acc13; and @146 Acc14. @162-173 should be removed as they
violate 3.10.1(9.3/2).
-B3A1A02 [Pending New] New VCS Label:A3_0G
- Required after 2009-07-01
+B3A1A02 [New] VCS Label:A3_0G
VCS Label A3_0D: Check that an incomplete view cannot be used in
the subtype indication of an object declaration, component
declaration, or allocator.
VCS Label A3_0G: Corrected test objective.
-B3A1A03 [Pending New] New VCS Label:A3_0G
- Required after 2009-07-01
+B3A1A03 [New] VCS Label:A3_0G
VCS Label A2_0D: Check that an incomplete view cannot be used in
a use type clause.
VCS Label A3_0G: Corrected test objective.
-B3A1A04 [Pending New] New VCS Label:A3_0F
- Required after 2009-07-01
+B3A1A04 [New] VCS Label:A3_0F
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.
@@ -323,8 +309,7 @@
of the visible components (but not the hidden ones) is not
accepted.
-C433001 [Allowed Modification] New VCS Label:A3_0J Org VCS Label: A3_0
- Required after 2009-07-01
+C433001 [Modified] VCS Label:A3_0J
Messages @85, 107 should refer to Second_Component and messages
@88, 110 should refer to Last_Component.
@@ -363,8 +348,7 @@
B740003 [Modified] VCS Label:A3_0D
The error @f1-106 can also be reported @f1-104.
-B831001 [Allowed Modification] New VCS Label:A3_0F Org VCS Label: A3_0
- Required after 2009-04-01
+B831001 [Modified] VCS Label:A3_0F
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.
@@ -402,15 +386,13 @@
Added function returning a task as an attribute prefix case from
C34008A.
-CA11023 [Allowed Modification] New VCS Label:A3_0J Org VCS Label: A3_0C
- Required after 2009-07-01
+CA11023 [Modified] VCS Label:A3_0J
VCS Label A3_0C: @f2-190 should be Dept2 rather than Dept1.
"Return False;" should be added @f2-116.
VCS Label A3_0J: The main subprogram should be named CA110232
based on the conventions given in the ACATS User's Guide.
-CA12001 [Allowed Modification] New VCS Label:A3_0J Org VCS Label: A3_0
- Required after 2009-07-01
+CA12001 [Modified] VCS Label:A3_0J
The main subprogram should be named CA120012
based on the conventions given in the ACATS User's Guide.
@@ -418,8 +400,7 @@
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
+CC30003 [New] VCS Label: A3_0F
Check that a type derived from a generic formal tagged type
inherits primitives properly in an instance.
@@ -430,8 +411,7 @@
Declaration @103 is not illegal as Amendment repealed the relevant
rule.
-CXB3006 [Allowed Modification] New VCS Label:A3_0J Org VCS Label: A3_0
- Required after 2009-07-01
+CXB3006 [Modified] VCS Label:A3_0J
Calls @258, 264 are ambigiuous because of new routines added by
Ada 2005; the calls should be qualified with the wchar_array type.
@@ -469,7 +449,8 @@
(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_0K.Zip and Tar files on the ACAA web site.
+Mod_3_0K.Zip and Tar files on the ACAA web site. (Note that there is no
+separate set of files for list 3.0L, as they are unchanged.)
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.
@@ -504,13 +485,8 @@
(Refer to the main list for details)
B431003 2009-10-01
-C433001 2009-07-01
-CA11023 2009-07-01
-CA12001 2009-07-01
-CXB3006 2009-07-01
-
Modified Tests
(Refer to the main list for details)
@@ -526,9 +502,12 @@
BXC3002
BXE2009
C34008A
+C433001
C650003
C990001
CA11023
+CA12001
+CXB3006
@@ -545,6 +524,11 @@
B3A1002
B3A1003
B3A1004
+B3A1005
+B3A1A01
+B3A1A02
+B3A1A03
+B3A1A04
B650004
B851002
B851003
@@ -555,8 +539,13 @@
C3A0018
C3A0019
C3A0020
+C3A0021
C3A0022
C3A0023
+C3A0024
+C3A0025
+C3A0026
+C3A0027
C3A0028
C3A0029
C413006
@@ -565,6 +554,7 @@
C650A01
C851001
C851002
+CC30003
F3A1A00
F650A00
@@ -574,16 +564,7 @@
Pending New Tests
(Refer to the main list for details)
+
+None.
-B3A1005 2009-07-01
-B3A1A01 2009-07-01
-B3A1A02 2009-07-01
-B3A1A03 2009-07-01
-B3A1A04 2009-07-01
-C3A0021 2009-07-01
-C3A0024 2009-07-01
-C3A0025 2009-07-01
-C3A0026 2009-07-01
-C3A0027 2009-07-01
-CC30003 2009-07-01
Questions? Ask the ACAA Technical Agent