CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	1999/12/22 23:53:44	1.15
+++ acats/docs/mod_list.txt	2000/01/11 01:01:48	1.16
@@ -1,56 +1,28 @@
 ACATS Test Modification List
 
-Version 2.2G
-December 22, 1999
+Version 2.2H
+January 10, 2000
 
 
 Changes from the last list:
 
-The new test C393007 checks that abstract primitive operations have the same
-visibility as their type, and also renaming of "must be overridden" operations.
-These are rules 3.9.3(10), and the discussion in AI-00211, respectively.
-
-The new test C3A2016 checks that the type of the prefix of an Access or
-Unchecked_Access attribute is not used in resolution. In particular, it cannot
-be used to resolve overloading. Different compilers implement this rule
-differently, and it is a frequent source of discussion on Comp.Lang.Ada.
-
-The new test C433001 checks that an others choice is allowed in an array
-aggregate whose applicable index constraint is dynamic. (This was not allowed in
-Ada 83.) It also checks that Constraint_Error is raised for index choices that
-are not in the applicable index constraint for array aggregates with others
-choices.
-
-The new test B731001 checks the requirements of 7.3.1 for inheritance of
-characteristics and primitive operations, including characteristics and
-operations that become available later in the declarative part.
-
-Test C95040D contains potentially simultaneous calls to Report.Comment from
-multiple tasks. Report.Comment typically calls Ada.Text_IO, but simultaneous
-calls on the same file is erroneous. To fix this, the calls on Report.Comment
-were commented out.
-
-Test CXG2015's accuracy requirements for exact results were incorrect. The test
-was repaired to use an appropriate interval as is done in test CXG2016 (see
-below).
-
-Test CXG2016's accuracy requirements for exact results (in Exact_Result_Test)
-were too strict. The language only requires that the result is in the correct
-model interval, while the test requires an exact match. For results that are
-model numbers (such as 0.0), these requirements are equivalent, but for results
-that are not model numbers (such a PI/2.0), conforming implementations could
-fail.
-
-Tests modified before July 1, 1999 are now required.
-
-New tests inserted between October 1, 1999 and January 1, 2000 will become
-required for conformity assessments on July 1, 2000.  New tests inserted between
-July 1, 1999 and October 1, 1999 will become required for conformity assessments
-on April 1, 2000.  New tests inserted between April 1, 1999 and July 1, 1999
-will become required for conformity assessments on January 1, 2000. New tests
-added to the ACATS before April 1, 1999 are now required for conformity
+As we've passed the start of another  quarter, several tests have been moved to
+the New category, meaning that they now are required for conformity assessment.
+These are: C455001, and B455002. Many tests have also moved from the Allowed
+Modification to Modified category.
+
+Tests modified before October 1, 1999 are now required.
+
+New tests inserted between January 1, 2000 and April 1, 2000 will become
+required for conformity assessments on October 1, 2000. New tests inserted
+between October 1, 1999 and January 1, 2000 will become required for conformity
+assessments on July 1, 2000. New tests inserted between July 1, 1999 and October
+1, 1999 will become required for conformity assessments on April 1, 2000. New
+tests added to the ACATS before July 1, 1999 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
@@ -95,8 +67,7 @@
 C332001 [Modified] VCS Label: A2_2A
 	Decimal types have been removed from the tests.
 
-C390010 [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+C390010 [Modified] VCS Label: A2_2E
 	Type Subtype_Parent_Class_Access causes premature check failure.
 
 B392010 [Pending New] New VCS Label: A2_2E
@@ -131,14 +102,12 @@
 	This test checks that array aggregates with a dynamic applicable
 	index constraint and an others choice allow other choices.
 
-C455001 [Pending New] New VCS Label: A2_2B
-			Required after 2000-01-01
+C455001 [New] VCS Label: A2_2B
 	This test checks that universal fixed multiplying operators can be
 	given without a type conversion (as required in Ada 83), and that
 	constants can be used with such operators.
 
-B455002 [Pending New] New VCS Label: A2_2B
-			Required after 2000-01-01
+B455002 [New] New VCS Label: A2_2B
 	This test checks the rule requiring the result of a universal
 	fixed multiplying operator is not universal fixed.
 
@@ -191,16 +160,13 @@
 	type is declared in an ancestor package, it is illegal for the two
 	types to have duplicate component names.
 
-B83004B [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+B83004B [Modified] VCS Label: A2_2E
 	This test is applicable to all Ada 95 implementations.
 
-B83004D [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+B83004D [Modified] VCS Label: A2_2E
 	This test is applicable to all Ada 95 implementations.
 
-B83024F [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+B83024F [Modified] VCS Label: A2_2E
 	This test is applicable to all Ada 95 implementations.
 
 C840001 [Pending New] New VCS Label: A2_2E
@@ -224,12 +190,10 @@
 			Required after 2000-04-01 Org VCS Label: A2_2
 	Removed potentially erroneous Report.Comment calls.
 
-BA1010D [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+BA1010D [Modified] VCS Label: A2_2E
 	This test is applicable to all Ada 95 implementations.
 
-CA1012A [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+CA1012A [Modified] VCS Label: A2_2E
 	This test is applicable to all Ada 95 implementations.
 
 CA14023 [Pending New] New VCS Label: A2_2E
@@ -266,12 +230,10 @@
 	Check that a partition can be created even if multiple units with
 	the same expanded name have been compiled.
 
-CA2009C [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+CA2009C [Modified] VCS Label: A2_2E
 	This test is applicable to all Ada 95 implementations.
 
-CA2009F [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+CA2009F [Modified] VCS Label: A2_2E
 	This test is applicable to all Ada 95 implementations.
 
 CA21001 [Pending New] New VCS Label: A2_2E
@@ -285,8 +247,7 @@
 	be preelaborated (whether or not they are used during
 	elaboration).
 
-CA3011A [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+CA3011A [Modified] VCS Label: A2_2E
 	This test is applicable to all Ada 95 implementations.
 
 CA5004B [Modified] VCS Label: A2_2A
@@ -319,8 +280,7 @@
 CD30003 [Modified] VCS Label: A2_2A
 	The test will fail unless that Storage_Unit = 8.
 
-CD30004 [Allowed Modification] New VCS Label: A2_2C
-			Required after 2000-01-01 Org VCS Label: A2_2
+CD30004 [Modified] VCS Label: A2_2C
 	Subtests check 13.3(53) (which is implementation advice) and
 	13.3(56) (which is untestable). These have been deleted.
 	The test requires all implementations to support the recommended
@@ -341,8 +301,7 @@
 CE3115A [Modified] VCS Label: A2_2A
 	Output to external file may be buffered.
 
-CXA5012 [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+CXA5012 [Modified] New VCS Label: A2_2E
 	Technical Corrigendum 1 makes calling Value with an illegal state
 	a bounded error.
 
@@ -359,8 +318,7 @@
 	existing test remains required for conformity assessment until
 	this new test becomes effective.]
 
-CXB3005 [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+CXB3005 [Modified] VCS Label: A2_2E
 	Unchecked_Conversion use is unnecessary for test objective, but it
 	restricts applicability.
 
@@ -373,8 +331,7 @@
 	existing test remains required for conformity assessment until
 	this new test becomes effective.]
 
-CXB3007 [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+CXB3007 [Modified] New VCS Label: A2_2E
 	Unchecked_Conversion use is unnecessary for test objective, but it
 	restricts applicability.
 
@@ -403,20 +360,17 @@
 CXB3013 [Modified] VCS Label: A2_2A
 	The Strdup function @f1-95 is not ANSI standard.
 
-IMPDEF  [Allowed Modification] ] New VCS Label: A2_2E
-			Required after 2000-01-01 Org VCS Label: A2_2
+IMPDEF  [Modified] VCS Label: A2_2E
 	Two additional external names were added. Comments on
 	Non_State_String were corrected.
 
 ===== Annex C =====
 
-BXC6A02 [Allowed Modification] New VCS Label: A2_2D
-			Required after 2000-01-01 Org VCS Label: A2_2
+BXC6A02 [Modified] New VCS Label: A2_2D
 	The repair of FXC6A00 required that this test be reverted to its
 	original version, which is closer to the author's intent.
 
-BXC6A03 [Allowed Modification] New VCS Label: A2_2D
-			Required after 2000-01-01 Org VCS Label: A2_2
+BXC6A03 [Modified] New VCS Label: A2_2D
 	Test comments didn't reflect the actual errors. Note that the
 	repaired version of FXC6A00 is required for this test.
 
@@ -438,8 +392,7 @@
 	Check that 'Caller and Current_Task can return the environment
 	task.
 
-FXC6A00 [Allowed Modification] New VCS Label: A2_2D
-			Required after 2000-01-01 Org VCS Label: A2_2
+FXC6A00 [Modified] VCS Label: A2_2D
 	The NonVolatile_Tagged type inherits the volatile property from
 	its parent type.
 
@@ -448,7 +401,7 @@
 BXD1001 [Modified] VCS Label: A2_2A
 	Interrupt_Priority pragmas in tasks may be rejected.
 
-CXD1006 [Modified] New VCS Label: A2_2A
+CXD1006 [Modified] VCS Label: A2_2A
 	Added applicability criteria, allowing rejection of
 	Interrupt_Priority pragma.
 
@@ -456,20 +409,18 @@
 	The Not_Applicable check for a multi-processor is missing.
 
 CXD6001 [Modified] VCS Label: A2_2D
-			Required after 2000-01-01 Org VCS Label: A2_2A
 	The previous version was truncated. (VCS label A2_2D)
 	The Not_Applicable check for a multi-processor is missing.
 	    (VCS Label A2_2A)
-	[Note: VCS Label A2_2A is required for conformity assessment.]
 
 ==== Annex E ====
 
-CXE2002 [Pending New] New VCS Label: A2_2E
+CXE2002 [Pending New] VCS Label: A2_2E
 			Required after 2000-04-01
 	Check that a subprogram or generic subprogram can be a remote call
 	interface unit.
 
-BXE2011 [Modified] New VCS Label: A2_2B
+BXE2011 [Modified] VCS Label: A2_2B
 	The conversions @203, 206 are legal by E.2.2(15).
 
 BXE2013 [Pending New] New VCS Label: A2_2E
@@ -481,22 +432,18 @@
 	The call @481 does not contain a classwide parameter, so it cannot
 	check E.4(18) as is intended.
 
-CXE4006 [Allowed Modification] New VCS Label: A2_2D
-			Required after 2000-01-01 Org VCS Label: A2_2
+CXE4006 [Modified] VCS Label: A2_2D
 	If partition B runs to completion before partition A finishes
 	elaboration, it is possible for Report.Result to be called before
 	Report.Test.
 
-CXE5002 Allowed Modification] New VCS Label: A2_2C
-		Required after 2000-01-01 Org VCS Label: A2_2A
+CXE5002 [Modified] VCS Label: A2_2C
 	An implementation must support the recompilation of the body
 	of System.RPC. (VCS Label A2_2C)
 	Optional partition B prints a spurious failure message. (VCS
 		Label A2_2A)
-	[Note: VCS Label A2_2A is required for conformity assessment.]
 
-CXE5003 [Allowed Modification] New VCS Label: A2_2C
-			Required after 2000-01-01 Org VCS Label: A2_2
+CXE5003 [Modified] VCS Label: A2_2C
 	An implementation must support the recompilation of the body
 	of System.RPC.
 
@@ -511,8 +458,7 @@
 
 ===== Annex G =====
 
-CXG2005 [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01, Org VCS Label: A2_2
+CXG2005 [Modified] VCS Label: A2_2E
 	The test printed thousands of identical failure messages when it
 	failed, which is not helpful.
 
@@ -533,19 +479,16 @@
 	parameters. (VCS Label A2_2B)
 	[Note: VCS Label A2_2B is required for conformity assessment.]
 
-CXG2018 [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01, Org VCS Label: A2_2
+CXG2018 [Modified] VCS Label: A2_2E
 	The error bound @268 is not wide enough.
 
 ===== Annex H =====
 
-CXH3001 [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01, Org VCS Label: A2_2
+CXH3001 [Modified] VCS Label: A2_2E
 	The value of A_Truth after the assignment @205 is undefined by
 	13.9.1(9-11).
 
-CXH3003 [Allowed Modification] New VCS Label: A2_2E
-			Required after 2000-01-01, Org VCS Label: A2_2
+CXH3003 [Modified] VCS Label: A2_2E
 	The value of A_Truth after the assignment @178 is undefined by
 	13.9.1(9-11).
 
@@ -590,34 +533,9 @@
 
 (Refer to the main list for details)
 
-B83004B	2000-01-01
-B83004D	2000-01-01
-B83024F	2000-01-01
-BA1010D	2000-01-01
-BXC6A02	2000-01-01
-BXC6A03	2000-01-01
-C390010	2000-01-01
 C95040D	2000-04-01
-CA1012A	2000-01-01
-CA2009C	2000-01-01
-CA2009F	2000-01-01
-CA3011A	2000-01-01
-CD30004	2000-01-01
-CXA5012	2000-01-01
-CXB3005	2000-01-01
-CXB3007	2000-01-01
-CXD6001	2000-01-01
-CXE4006	2000-01-01
-CXE5002	2000-01-01
-CXE5003	2000-01-01
-CXG2005	2000-01-01
 CXG2015	2000-04-01
 CXG2016	2000-04-01
-CXG2018	2000-01-01
-CXH3001	2000-01-01
-CXH3003	2000-01-01
-FXC6A00	2000-01-01
-IMPDEF      2000-01-01
 
 
 Modified Tests
@@ -625,32 +543,55 @@
 (Refer to the main list for details)
 
 B830001
+B83004B
+B83004D
+B83024F
+BA1010D
+BXC6A02
+BXC6A03
 BXD1001
 BXE2011
 C330001
 C332001
+C390010
 C460008
 C650001
+CA1012A
+CA2009C
+CA2009F
+CA3011A
 CA5004B
 CD10001
 CD2A53A
 CD30002
 CD30003
+CD30004
 CD92001
 CDE0001
 CE3115A
+CXA5012
 CXAA016
+CXB3005
+CXB3007
 CXB3013
 CXC7001
 CXC7002
 CXC7003
 CXD1006
 CXD2004
-CXD6001 (VCS Label A2_2A)
+CXD6001
 CXE4005
-CXE5002 (VCS Label A2_2A)
+CXE4006
+CXE5002
+CXE5003
+CXG2005
 CXG2014
 CXG2016 (VCS Label A2_2B)
+CXG2018
+CXH3001
+CXH3003
+FXC6A00
+IMPDEF
 LXE3001
 LXH4014
 
@@ -659,6 +600,8 @@
 
 (Refer to the main list for details)
 
+B455002
+C455001
 C460011
 C910003
 CA20002
@@ -673,7 +616,6 @@
 B393007	2000-07-01
 B3A2016	2000-07-01
 B420001	2000-04-01
-B455002	2000-01-01
 B730006	2000-04-01
 B731001	2000-07-01
 B830002	2000-04-01
@@ -682,7 +624,6 @@
 BXE2013	2000-04-01
 C420001	2000-04-01
 C433001	2000-07-01
-C455001	2000-01-01
 C730003	2000-04-01
 C731001	2000-04-01
 C761010	2000-04-01

Questions? Ask the ACAA Technical Agent