ACATS Test Modification List

ACATS Test Modification List

Version 2.5B
June 29, 2002

Changes from the last list:

CC51008 is a new test. This test checks that the revised rule from inheriting operations of untagged formal types is followed. If the rule is not followed, it is possible to call subprograms with the wrong parameter modes and constraints.

B460006 is a new test. This test checks that the revised rule defining view conversions for tagged types is properly enforced. If the rule is not followed, it is possible to change the discriminants of an object of a tagged type (which is necessarily constrained).

Tests C390010, C3A2003, C460002, and C854002 were each modified to add a pragma Elaborate_All for Report. Otherwise, each test may raise Program_Error during the elaboration of the packages.

Test C380001 is a new test that checks that attributes with prefixes of the current type are treated as per-object. (This rule was revised in the Technical Corrigendum.)

Test C380002 is a new test that checks that per-object discriminant constraints using named notation are evaluated properly. (This rule also was revised in the Technical Corrigendum.)

Tests C380003 and C380004 are new tests that check that per-object constraints are handled properly for entry families and protected components. (The original tests for this were withdrawn in ACVC 2.1, and have not be replaced until now.)

New tests inserted between April 1, 2002 and July 1, 2002 will become required for conformity assessments on January 1, 2003. New tests inserted between October 1, 2001 and January 1, 2002 will become required for conformity assessments on July 1, 2002. New tests added to the ACATS before October 1, 2001 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.

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 83 & Ada 95 standards are given in the format:

<section|chapter>.<clause>[.<subclause>]:<paragraph>

These references are to the Ada 95 standard unless "Ada83" is specified.

Main list:

===== Core Language =====

Name     Category  Version label  (effective date; old version label)
         Short description.

C380001 [Pending New] New VCS Label: A2_5B
                  Required after 2003-01-01
        Check that checks are made properly when a per-object expression
        contains an attribute whose prefix denotes the current instance of
        the type (Technical Corrigendum 1, 3.8(18/1)).
	
C380002 [Pending New] New VCS Label: A2_5B
                  Required after 2003-01-01
        Check that an expression in a per-object discriminant constraint
        which is part of a named association is evaluated once for each
        association. (Technical Corrigendum 1, 3.8(18.1/1)).

C380003 [Pending New] New VCS Label: A2_5B
                  Required after 2003-01-01
        Check that per-object expressions are evaluated as specified for
        protected components (Technical Corrigendum 1, 3.6(22/1), 3.8(18/1)).

C380004 [Pending New] New VCS Label: A2_5B
                  Required after 2003-01-01
        Check that per-object expressions are evaluated as specified for
        entry families and protected components (Technical Corrigendum 1,
        3.6(22/1), 3.8(18/1)).
	
C390010 [Allowed Modification] New VCS Label: A2_5B Org VCS Label: A2_5
                  Required after 2002-10-01
        Pragma Elaborate_All (Report); was added @49 in order to ensure
        Program_Error is not during elaboration.

C3A2003 [Allowed Modification] New VCS Label: A2_5B Org VCS Label: A2_5
                  Required after 2002-10-01
        Pragma Elaborate_All (Report); was added @92 in order to ensure
        Program_Error is not during elaboration.

B3A2009 [Allowed Modification] New VCS Label: A2_5A Org VCS Label: A2_4
                        Required after 2002-07-01
        Commented out subtest at @145, as it conflicts with the under
        consideration AI-229.

B460006 [Pending New] New VCS Label: A2_5B
                        Required after 2003-01-01
        Check that conversions between a tagged and untagged type are not
        considered view conversions. (Technical Corrigendum 1, 4.6(5/1)).
	
C761012 [Pending New] New VCS Label: A2_5A
                        Required after 2002-07-01
        Check that an anonymous object is finalized with its enclosing
        master if a transfer of control or exception occurs prior to its
        normal finalization (Technical Corrigendum 1, 7.6.1(13.1/1)).
        
B854001 [Pending New] New VCS Label: A2_5A
                        Required after 2002-07-01
        Check that a renames-as-body is illegal if it occurs before
        the subprogram is frozen, and it renames the subprogram itself.
        (Technical Corrigendum 1, 8.5.4(5/1)).

C854002 [Allowed Modification] New VCS Label: A2_5B Org VCS Label: A2_5
                        Required after 2002-10-01
        Pragma Elaborate_All (Report); was added @83 in order to ensure
        Program_Error is not during elaboration.

C854003 [Pending New] New VCS Label: A2_5A
                        Required after 2002-07-01
        Check that a renames-as-body only requires mode conformance
        if it occurs before the subprogram is frozen. (Technical
        Corrigendum 1, 8.5.4(5/1)).

CD10002 [Pending New] New VCS Label: A2_5A
                        Required after 2002-07-01
        Check that operational items are allowed in some contexts where
        representation items are not. Corrigendum 7.3(5), 13.1(10),
        13.1(11/1).

CD72A02 [Allowed Modification] New VCS Label: A2_5A Org VCS Label: A2_4
                        Required after 2002-07-01
        The test description @37-38 refers to a non-existent test.

BDD2002 [Pending New] New VCS Label: A2_5A
                        Required after 2002-07-01
        Check that a limited type extension is illegal if the parent type
        has user defined Read or Write attributes, and a limited extension
        component does not have user-defined Read or Write attributes.
        Corrigendum 13.13.2(9/1).

CDD2A01 [Pending New] New VCS Label: A2_5A
                        Required after 2002-07-01
        Check that the default Read and Write attributes for a type
        extension are created from the parent type's attributes and the
        attributes of any extension components. Also checks that the
        default Input and Output attributes are always used for a type
        extension. Corrigendum 13.13.2(9/1) and 13.13.2(25/1).

CDD2A02 [Pending New] New VCS Label: A2_5A
                        Required after 2002-07-01
        Check that the Read, Write, Input, and Output attributes for an
        untagged type are inherited from the parent type. Corrigendum
        13.13.2(8.1/1) and 13.13.2(25/1).

CDD2A03 [Pending New] New VCS Label: A2_5A
                        Required after 2002-07-01
        Check that the default Read and Write attributes for a limited
        type extension are created from the parent type's attributes
        and the attributes of any extension components. Also checks that
        the Read and Write attributes for such a type can be called.
        Corrigendum 13.13.2(9/1) and 13.13.2(36/1).

FDD2A00 [Pending New] New VCS Label: A2_5A
                        Required after 2002-07-01
        Foundation for stream attribute tests.

===== Annex C =====
[None]

===== Annex D =====
[None]

===== Annex E =====
[None]

===== Annex F =====
[None]

===== Annex G =====
[None]

===== Annex H =====
[None]

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_2_5B 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.

The baseline ACATS 2.5 is available in various formats on the ACAA web site.

Summary lists:

Withdrawn Tests