CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2016/07/01 02:33:25	1.81
+++ acats/docs/mod_list.txt	2016/11/19 02:14:54	1.82
@@ -1,16 +1,16 @@
 ACATS Modification List for ACATS 4.1
-Version 4.1A
-June 29, 2016
+Version 4.1B
+November 18, 2016
 
 
 What is this?
 
 This is the ACATS modification list for ACATS 4.1. This document includes test
 corrections, test removals, and new tests for ACATS 4.1. ACATS 4.1 is the
-pending test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012
-(usually known as "Ada 2012"); it replaces ACATS 4.0 on July 1, 2016.
+current test suite for Ada, covering the third edition of Ada, ISO/IEC 8652:2012
+(usually known as "Ada 2012").
 
-ACATS Modification List version 3.1M for ACATS 3.1 is the current list for that
+ACATS Modification List version 3.1N for ACATS 3.1 is the current list for that
 test suite. ACATS 3.1 should be used for testing implementations that support
 Amendment 1 (ISO/IEC 8652:1995/AMD 1:2007, often known as "Ada 2005"), and will
 continue to be maintained as necessary for the foreseeable future.
@@ -22,40 +22,26 @@
 
 Changes from the last list:
 
-This is the first list for ACATS 4.1; it contains tests from the most recent
-ACATS Modification List 4.0 which have effective dates after July 1st, 2016.
+A number of tests changed status on July 1st and October 1st, this list reflects
+those changes.
 
-Tests B38003D, B455002, and B83F02C had incorrect error tags repaired.
+New test B611014 checks that prefixes of Old attribute references that are
+potentially unevaluated must statically denote an object. New test B611015
+checks that prefixes of Old attributes cannot have a limited type. New test
+B611016 checks that Pre'Class and Post'Class cannot be given on entries and
+protected operations even if the type is tagged. New test B611017 checks that
+Pre'Class cannot be given on an overriding subprogram if none of the original
+subprogram give Pre'Class. New test B611018 checks 6.1.1(10-16/3). New test
+B611019 checks 6.1.1(17/3).
+
+New tests posted between October 1, 2016 and December 31, 2016 will become
+required for conformity assessments on July 1, 2017. New tests posted between
+July 1, 2016 and September 30, 2016 will become required for conformity
+assessments on April 1, 2017. New tests posted between April 1, 2016 and June
+30, 2016 will become required for conformity assessments on January 1, 2017. New
+tests posted before April 1, 2016 are required for conformity assessments. The
+effective dates of tests are marked in the lists.
 
-Tests B3A1001 and B3A1002 had Pack6 split so that the possible error sets do not
-intersect.
-
-Test C52101A was corrected to not have a comment in the form of an ERROR: tag.
-These should not appear in C-Tests.
-
-Tests B62001C and B62001D were changed to make the second error optional, as the
-first error is illegal syntax and thus has to be detected.
-
-The Pass/Fail criteria for test B740003 was updated so that the test tools don't
-pick up an error marker.
-
-“Note” was replaced by “Optional Error” in test B95007B.
-
-The error marker for the second error in test BD4003A was moved so that it was
-on the incorrect construct.
-
-Tests CXB3023 and CXB3024 were corrected to have missing N/A => ERROR markers
-added. This reset their required date, such that they are not included in ACATS
-4.1 itself.
-
-New tests posted between July 1, 2016 and September 30, 2016 will become
-required for conformity assessments on April 1, 2017. New tests posted between
-April 1, 2016 and June 30, 2016 will become required for conformity assessments
-on January 1, 2017. New tests posted between January 1, 2016 and March 31, 2016
-will become required for conformity assessments on October 1, 2016. New tests
-posted before January 1, 2016 are part of ACATS 4.1 and thus are 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.
 
@@ -154,205 +140,195 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
-B38003D [Allowed Modification] New VCS Label: A4_1A Org VCS Label: A4_1
-			Required after 2016-10-01
+B38003D [Modified] VCS Label: A4_1A
 	Corrected error tags @70,76,82,88 so “optional” and “error” are
 	on the same line, as required by the test standards.
 
-C3A0030 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+C3A0030 [New] VCS Label: A4_1A
 	Check that an access discriminant is only null excluding if it
 	includes a null exclusion.
 
-B3A1001 [Allowed Modification] New VCS Label: A4_1A Org VCS Label: A4_1
-			Required after 2016-10-01
+B3A1001 [Modified] VCS Label: A4_1A
 	Split Pack6 so possible error sets don't intersect; fixed
 	overlong lines.
 
-B3A1002 [Allowed Modification] New VCS Label: A4_1A Org VCS Label: A4_1
-			Required after 2016-10-01
+B3A1002 [Modified] VCS Label: A4_1A
 	Split Pack6 so possible error sets don't intersect; fixed
 	overlong lines.
 
-B455002 [Allowed Modification] New VCS Label: A4_1A Org VCS Label: A4_1
-			Required after 2016-10-01
+B455002 [Modified] VCS Label: A4_1A
 	Corrected casing of error tags and fixed overlong lines.
 
-C480001 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+C480001 [New] VCS Label: A4_1A
 	Check that an initialized allocator for a class-wide type does
 	an accessibility check on the tag of the initializing object.
 
-C52101A [Allowed Modification] New VCS Label: A4_1A Org VCS Label: A4_1
-			Required after 2016-10-01
+C52101A [Modified] VCS Label: A4_1A
 	Corrected comment @49 not to have the form of an error tag.
 
-B611001 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611001 [New] VCS Label: A4_1A
 	Check that Pre and Post are only allowed on
 	subprograms and entries (and not on subprogram instances).
 
-B611002 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611002 [New] VCS Label: A4_1A
 	Check that Pre and Post are not allowed on
 	subprograms acting as completions.
 
-B611003 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611003 [New] VCS Label: A4_1A
 	Check that Pre'Class and Post'Class are only allowed on primitive
 	subprograms of tagged types. (Normal tagged types and interfaces.)
 
-B611004 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611004 [New] VCS Label: A4_1A
 	Check that Pre'Class and Post'Class are not
 	allowed on subprograms acting as completions.
 
-B611005 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611005 [New] VCS Label: A4_1A
 	Check that Pre and Post are not allowed on
 	abstract subprograms and null procedures.
 
-B611006 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611006 [New] VCS Label: A4_1A
 	Check that the restrictions on Pre'Class and
 	Post'Class expressions added by AI12-0113-1 are enforced.
 
-B611007 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611007 [New] VCS Label: A4_1A
 	Check that Pre'Class and Post'Class are not allowed on entries
 	and protected subprograms of untagged task and protected types.
 
-B611008 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611008 [New] VCS Label: A4_1A
 	Check various rules about the use of the Result attribute.
 
-B611009 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611009 [New] VCS Label: A4_1A
 	Check that F'Result is not allowed in the body of F.
 
-B611010 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611010 [New] VCS Label: A4_1A
 	Check that the Old attribute is not allowed in a subprogram or
 	entry body, or in an accept statement.
 
-B611011 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611011 [New] VCS Label: A4_1A
 	Check the Old attribute cannot be used within a precondition
 	expression nor in a generic specification outside of a
 	postcondition expression.
 
-B611012 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611012 [New] VCS Label: A4_1A
 	Check that the prefix of an Old attribute cannot contain the
 	Result attribute, another Old attribute, nor the index of a
 	quantified expression.
 
-B611013 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B611013 [New] VCS Label: A4_1A
 	For a discrete X, check that X'Old has the nominal subtype of X.
+
+B611014 [Pending New] New VCS Label: A4_1B
+			Required after 2017-07-01
+	If an Old attribute reference occurs in at a place where it is
+	potentially unevaluated, check that the prefix must statically
+	denote an object.
+
+B611015 [Pending New] New VCS Label: A4_1B
+			Required after 2017-07-01
+	Check that the prefix of an Old attribute cannot have a limited
+	type.
+
+B611016 [Pending New] New VCS Label: A4_1B
+			Required after 2017-07-01
+	Check that tagged task and tagged protected types do not allow
+	Pre'Class and Post'Class, nor are they allow on operations of
+	those types.
+
+B611017 [Pending New] New VCS Label: A4_1B
+			Required after 2017-07-01
+	Check that Pre'Class cannot be specified for an overriding of a
+	subprogram that does not specify Pre'Class.
+
+B611018 [Pending New] New VCS Label: A4_1B
+			Required after 2017-07-01
+	Check 6.1.1(10-16/3).
+
+B611019 [Pending New] New VCS Label: A4_1B
+			Required after 2017-07-01
+	Check 6.1.1(17/3).
 
-C611A01 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+C611A01 [New] VCS Label: A4_1A
 	Check that preconditions and postconditions where both specific
 	and class-wide contracts apply are checked properly.
 
-C611A02 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+C611A02 [New] VCS Label: A4_1A
 	Check that the correct expressions are evaluated for specific
 	preconditions and postconditions, and that they are evaluated
 	at the correct point.
 
-C611A03 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+C611A03 [New] VCS Label: A4_1A
 	Check that the correct expressions are evaluated for class-wide
 	preconditions and postconditions, and that they are evaluated
 	at the correct point.
 
-C611B01 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+C611B01 [New] VCS Label: A4_1A
 	Check that X'Old has the tag of X and not the tag of the nominal
 	subtype of X (for Post).
 
-C611B02 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+C611B02 [New] VCS Label: A4_1A
 	Check that X'Old has the tag of X and not the tag of the nominal
 	subtype of X (for Post'Class).
 
-B62001C [Allowed Modification] New VCS Label: A4_1A Org VCS Label: A4_1
-			Required after 2016-10-01
+B62001C [Modified] VCS Label: A4_1A
 	Changed error @35 to be optional, as the syntax error @33 is
 	required (and the comment that only one error need be detected is
 	bogus).
 
-B62001D [Allowed Modification] New VCS Label: A4_1A Org VCS Label: A4_1
-			Required after 2016-10-01
+B62001D [Modified] VCS Label: A4_1A
 	Changed error @41 to be optional, as the syntax error @33 is
 	required (and the comment that only one error need be detected is
 	bogus).
 
-C650B04 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+C650B04 [New] VCS Label: A4_1A
 	Check that the result of a function that returns a class-wide
 	tagged type does an accessibility check on the tag of the result
 	object when the result expression is class-wide.
 
-B740003 [Allowed Modification] New VCS Label: A4_1A Org VCS Label: A4_1
-			Required after 2016-10-01
+B740003 [Modified] VCS Label: A4_1A
 	Modified criteria @75 so that it doesn't look like an error tag to
 	the grading tools; also fixed an overlong line.
 
-B750A07 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+B750A07 [New] VCS Label: A4_1A
 	Check that only legal expressions are allowed
 	in the return expression of an expression function that returns a
 	limited type.
 
-B83F02C [Allowed Modification] New VCS Label: A4_1A Org VCS Label: A4_1
-			Required after 2016-10-01
+B83F02C [Modified] VCS Label: A4_1A
 	Updated many optional error markers to match ACATS standards.
 
-B95007B [Allowed Modification] New VCS Label: A4_1A Org VCS Label: A4_1
-			Required after 2016-10-01
+B95007B [Modified] VCS Label: A4_1A
 	Fixed error markers @62,66,70 to match ACATS standards.
 
-BB42001 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+BB42001 [New] VCS Label: A4_1A
 	Check that the arguments of a pragma Assert
 	have to have the correct types.
 
-CB42001 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+CB42001 [New] VCS Label: A4_1A
 	Check the usual operation of pragma Assert, including the optional
 	message.
 
-BB42002 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+BB42002 [New] New VCS Label: A4_1A
 	Check that the arguments of a pragma Assert cannot be reordered
 	even if named notation is used.
 
-CB42002 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+CB42002 [New] New VCS Label: A4_1A
 	Check that if the assertion policy is Ignore, none of the
 	expressions of a pragma Assert are evaluated and no exception is
 	raised by the pragma.
 
-BB42003 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+BB42003 [New] VCS Label: A4_1A
 	Check that a pragma Assertion_Policy is illegal
 	if the policy is not recognized.
 
-CB42003 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+CB42003 [New] VCS Label: A4_1A
 	Check that procedure Ada.Assertions.Assert evaluates its arguments
 	and raises Assertion_Error regardless of the assertion policy.
 
-CD11001 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+CD11001 [New] VCS Label: A4_1A
 	Check that appropriate entities are visible in an aspect
 	specification.
 
-BD4003A [Allowed Modification] New VCS Label: A4_1A Org VCS Label: A4_1
-			Required after 2016-10-01
+BD4003A [Modified] VCS Label: A4_1A
 	Moved error marker from @66 to @67 so it is on the incorrect
 	construct.
 
@@ -394,12 +370,10 @@
 
 ===== Support =====
 
-F611A00 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+F611A00 [New] VCS Label: A4_1A
 	Foundation for tests C611A01, C611A02, and C611A03.
 
-F611B00 [Pending New] New VCS Label: A4_1A
-			Required after 2016-10-01
+F611B00 [New] VCS Label: A4_1A
 	Foundation for tests C611B01 and C611B02.
 
 
@@ -410,7 +384,7 @@
 accessed at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_4_1A.Zip and Tar files on the ACAA web site.
+Mod_4_1B.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.
@@ -438,17 +412,7 @@
 
 (Refer to the main list for details)
 
-B38003D	2016-10-01
-B3A1001	2016-10-01
-B3A1002	2016-10-01
-B455002	2016-10-01
-B62001C	2016-10-01
-B62001D	2016-10-01
-B740003	2016-10-01
-B83F02C	2016-10-01
-B95007B	2016-10-01
-BD4003A	2016-10-01
-C52101A	2016-10-01
+None currently.
 
 
 
@@ -456,15 +420,57 @@
 
 (Refer to the main list for details)
 
-None yet.
+B38003D
+B3A1001
+B3A1002
+B455002
+B62001C
+B62001D
+B740003
+B83F02C
+B95007B
+BD4003A
+C52101A
+
 
 
 
 New Tests
 
 (Refer to the main list for details)
+
+B611001
+B611002
+B611003
+B611004
+B611005
+B611006
+B611007
+B611008
+B611009
+B611010
+B611011
+B611012
+B611013
+B750A07
+BB42001
+BB42002
+BB42003
+C3A0030
+C480001
+C611A01
+C611A02
+C611A03
+C611B01
+C611B02
+C650B04
+CB42001
+CB42002
+CB42003
+CD11001
+F611A00
+F611B00
 
-None yet
 
 
 
@@ -472,38 +478,13 @@
 
 (Refer to the main list for details)
 
-B611001	2016-10-01
-B611002	2016-10-01
-B611003	2016-10-01
-B611004	2016-10-01
-B611005	2016-10-01
-B611006	2016-10-01
-B611007	2016-10-01
-B611008	2016-10-01
-B611009	2016-10-01
-B611010	2016-10-01
-B611011	2016-10-01
-B611012	2016-10-01
-B611013	2016-10-01
-B750A07	2016-10-01
-BB42001	2016-10-01
-BB42002	2016-10-01
-BB42003	2016-10-01
-C3A0030	2016-10-01
-C480001	2016-10-01
-C611A01	2016-10-01
-C611A02	2016-10-01
-C611A03	2016-10-01
-C611B01	2016-10-01
-C611B02	2016-10-01
-C650B04	2016-10-01
-CB42001	2016-10-01
-CB42002	2016-10-01
-CB42003	2016-10-01
-CD11001	2016-10-01
+B611014	2017-07-01
+B611015	2017-07-01
+B611016	2017-07-01
+B611017	2017-07-01
+B611018	2017-07-01
+B611019	2017-07-01
 CXB3023	2017-01-01
 CXB3024	2017-01-01
-F611A00	2016-10-01
-F611B00	2016-10-01
 
 

Questions? Ask the ACAA Technical Agent