CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	1999/04/28 17:28:30	1.10
+++ acats/docs/mod_list.txt	1999/07/09 02:20:43	1.11
@@ -1,28 +1,42 @@
 ACATS Test Modification List
 
-Version 2.2B
-April 28, 1999
+Version 2.2C
+July 8, 1999
 
 
 Changes from the last list:
 
-BXE2011 has been modified. The original test implied that conversion from local
-access values to remote access values is illegal, but that is not supported by
-E.2.2(15) of the Ada reference manual.
-
-CXG2016 has been modified. The ACATS 2.2 version of the test is missing a comma
-on line 243, which causes the call to Arctan to have parameters (-1.0, 1.0)
-instead of (-0.0, -1.0).
-
-C455001 and B455002 are new. C455001 checks that universal fixed multiplying
-operators can be given without a type conversion (as in Ada 83), and that
-constants can be used with such operators. B455002 checks the rule requiring the
-result of a universal fixed multiplying operator is not universal fixed.
-
-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 will become required for conformity assessments on October
-1, 1999. The effective dates of tests are marked in the lists.
+Test CD30004 was extensively modified and two versions created. The subtest
+"Check_Record" checked an implementation advice paragraph. The second half of
+the objective is untestable, as it is impossible to know if an implementation is
+using levels of indirection internally. And the test required the "recommended
+level of support" ever for implementations not claiming Annex C support. The bad
+subtests were deleted, and failed messages removed for Annex_C = False to create
+a modified version. Finally, the last part of the first half of the objective
+was never checked. A subtest was added to check this; this version is treated as
+a new test.
+
+Test CA14028 is a modified, reinstated test. The original test (CA1020D) was
+withdrawn pending resolution of AI-00192, which now has been completed. (This
+test is treated as a new test.)
+
+Tests BA15002 and CA15003 were added to test the changes caused by AI-00136, and
+to check the rules of 10.1.5(4) and 10.1.5(5).
+
+Test CXB3010 was modified to add a test case to check that Function Value raises
+Constraint_Error when Length = 0, as specified by AI-00139.
+
+Tests CXE5002 and CXE5003 had their applicability criteria revised to require
+support for the recompilation of System.RPC (as required by AI-00082).
+
+Test modified before April 1, 1999 are now required.
+
+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 will become
+required for conformity assessments on October 1, 1999. The effective dates of
+tests are marked in the lists.
 
 List explanation:
 
@@ -66,8 +80,7 @@
 	This test checks the rule requiring the result of a universal
 	fixed multiplying operator is not universal fixed.
 
-B830001 [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01, Org VCS Label: A2_2
+B830001 [Modified] VCS Label: A2_2A
 	Multiple source units in a single source file are dubious.
 
 C330001 [Modified] VCS Label: A2_2A
@@ -80,8 +93,8 @@
 C455001 [Pending New] New VCS Label: A2_2B
 			Required after 2000-01-01
 	This test checks that universal fixed multiplying operators can be
-	given without a type conversion (as in Ada 83), and that constants
-	can be used with such operators.
+	given without a type conversion (as required in Ada 83), and that
+	constants can be used with such operators.
 
 C460008 [Modified] VCS Label: A2_2A
 	Decimal type operations have been split out into a separate test.
@@ -93,8 +106,7 @@
 	test C460008, and some additional rounding tests for decimal type
 	conversions. (VCS Label A2_1C)
 
-C650001 [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01, Org VCS Label: A2_2
+C650001 [Modified] New VCS Label: A2_2A
 	Call at @352 may cause conversion @337 to raise Constraint_Error
 	as the tag check will fail.
 
@@ -103,13 +115,28 @@
 	Check that task discriminants of an access subtype can be
 	selected, indexed, and dereferenced.
 
+CA14028 [Pending New] New VCS Label: A2_2C
+			Required after 2000-04-01
+	Check that a subprogram body replaces (not completes) a generic
+	instantiation.
+
+BA15002 [Pending New] New VCS Label: A2_2C
+			Required after 2000-04-01
+	Check that program unit pragmas cannot be given in a generic
+	formal part or private part. Check that program unit pragmas which
+	apply to a compilation unit must be given first in that unit or
+	immediately following.
+
+CA15003 [Pending New] New VCS Label: A2_2C
+			Required after 2000-04-01
+	Check that program unit pragmas can be given in a generic package.
+
 CA20002 [Pending New] New VCS Label: A2_1F
 			Required after 1999-10-01
 	Check that a partition can be created even if multiple units with
 	the same expanded name have been compiled.
 
-CA5004B [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01, Org VCS Label: A2_2
+CA5004B [Modified] VCS Label: A2_2A
 	If an implementation obsoletes entire source files, unit Header
 	may be made obsolete by the recompilation of unit CA5004B0.
 	[Note: The fix is to split the first test file (CA5004B0).
@@ -123,21 +150,28 @@
 	Added applicability criteria, to allow rejection for non-support
 	of decimal small values. (This is allowed by 3.5.9(21)).
 
-CD30002 [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01 Org VCS Label: A2_2
+CD30002 [Modified] VCS Label: A2_2A
 	@130 Alignment declared as Max_Word*2, but tests @178 for
-	Multiple_Alignment. (VCS Label A2_1A)
+	Multiple_Alignment.
 	Multiple_Alignment may exceed maximum supported by
-	implementation. (VCS Label A2_1B)
+	implementation.
 	Test divides by zero if Word_Size = Storage_Size (@171, 184)
-	(VCS Label A2_1E)
 
-CD30003 [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01 Org VCS Label: A2_2
+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
+	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
+	level of support, even if this is not required.
+	  [Pending New] New VCS Label: A2_2C
+			Required after 2000-04-01
+	A subtest was added to check that Size clauses confirming the
+	recommended level of support are supported.
 
-CD92001 [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01 Org VCS Label: A2_2
+CD92001 [Modified] VCS Label: A2_2A
 	Test assumes arrays have same Component_Size without
 	justification.
 
@@ -148,13 +182,18 @@
 CE3115A [Modified] VCS Label: A2_2A
 	Output to external file may be buffered.
 
-CXAA016 [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01, Org VCS Label: A2_2
+CXAA016 [Modified] VCS Label: A2_2A
 	For implementations which do not support creating Text_IO files,
 	file deletions may fail (@93).
 
-CXB3013 [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01, Org VCS Label: A2_2
+CXB3010 [Pending New] New VCS Label: A2_2C
+			Required after 2000-04-01
+	Added a test case to check that Value raises Constraint_Error if
+	Length = 0. [Note: This is an enhancement of an existing test; the
+	Existing test remains required for conformity assessment until
+	this new test becomes effective.]
+
+CXB3013 [Modified] VCS Label: A2_2A
 	The Strdup function @95 is not ANSI standard.
 
 LA20001 [Pending New] New VCS Label: A2_1F
@@ -168,13 +207,11 @@
 	The routine TC_Match_States is not safe on a multi-processor
 	implementation.
 
-CXC7002 [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01 Org VCS Label: A2_2
+CXC7002 [Modified] VCS Label: A2_2A
 	The test may fail on an implementation that restricts attribute
 	size to the size of an access value.
 
-CXC7003 [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01 Org VCS Label: A2_2
+CXC7003 [Modified] VCS Label: A2_2A
 	The test may fail on an implementation that restricts attribute
 	size.
 
@@ -199,13 +236,22 @@
 			Required after 1999-10-01 Org VCS Label: A2_2
 	The conversions @203, 206 are legal by E.2.2(15).
 
-CXE4005 [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01 Org VCS Label: A2_2
+CXE4005 [Modified] VCS Label: A2_2A
 	The call @481 does not contain a classwide parameter, so it cannot
 	check E.4(18) as is intended.
 
-CXE5002 [Modified] VCS Label: A2_2A
-	Optional partition B prints a spurious failure message.
+CXE5002 Allowed Modification] New VCS Label: A2_2C
+		Required after 2000-01-01 Org VCS Label: A2_2A
+	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
+	An implementation must support the recompilation of the body
+	of System.RPC.
 
 LXE3001 [Modified] VCS Label: A2_2A
 	Test may hang when exceptions are raised as expected.
@@ -218,8 +264,7 @@
 
 ===== Annex G =====
 
-CXG2014 [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01, Org VCS Label: A2_2
+CXG2014 [Modified] VCS Label: A2_2A
 	Subtraction_Error_Test does not contain enough terms in the Taylor
 	series for any possible floating point type.
 
@@ -230,8 +275,7 @@
 
 ===== Annex H =====
 
-LXH4014 [Allowed Modification] New VCS Label: A2_2A
-			Required after 1999-07-01, Org VCS Label: A2_2
+LXH4014 [Modified] VCS Label: A2_2A
 	Corrected errors in "Special Requirements" section.
 
 
@@ -274,41 +318,44 @@
 
 (Refer to the main list for details)
 
-B830001	1999-07-01
 BXE2011	1999-10-01
-C650001	1999-07-01
-CA5004B	1999-07-01
-CD30002	1999-07-01
-CD30003	1999-07-01
-CD92001	1999-07-01
-CXAA016	1999-07-01
-CXB3013	1999-07-01
-CXC7002	1999-07-01
-CXC7003	1999-07-01
-CXE4005	1999-07-01
-CXG2014	1999-07-01
+CD30004	2000-01-01
+CXE5002	2000-01-01
+CXE5003	2000-01-01
 CXG2016	1999-10-01
-LXH4014	1999-07-01
 
 
 Modified Tests
 
 (Refer to the main list for details)
 
+B830001
 BXD1001
 C330001
 C332001
 C460008
+C650001
+CA5004B
 CD10001
 CD2A53A
+CD30002
+CD30003
+CD92001
 CDE0001
 CE3115A
+CXAA016
+CXB3013
 CXC7001
+CXC7002
+CXC7003
 CXD1006
 CXD2004
 CXD6001
-CXE5002
+CXE4005
+CXE5002 (VCS Label A2_2A)
+CXG2014
 LXE3001
+LXH4014
 
 
 Pending New Tests
@@ -316,12 +363,16 @@
 (Refer to the main list for details)
 
 B455002	2000-01-01
+BA15002	2000-04-01
 C455001	2000-01-01
 C460011	1999-10-01
 C910003	1999-10-01
+CA14028	2000-04-01
+CA15003	2000-04-01
 CA20002	1999-10-01
+CD30004	2000-04-01
 LA20001	1999-10-01
-
+CXB3010	2000-04-01
 
 
 New Tests

Questions? Ask the ACAA Technical Agent