CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	1999/03/11 23:48:11	1.9
+++ acats/docs/mod_list.txt	1999/04/28 17:28:30	1.10
@@ -1,42 +1,28 @@
 ACATS Test Modification List
 
-Version 2.2A
-March  15, 1999
+Version 2.2B
+April 28, 1999
 
 
 Changes from the last list:
 
-This is the first list for ACATS 2.2. All of the tests modified in the 2.2
-baseline have been removed from the list, so it is a lot shorter than the
-previous version.
-
-Note that tests now can move from the optional states (Allowed
-Modification/Pending New) into required states (Modified or New) only at the
-start of a quarter (January 1, April 1, July 1, and October 1). This should
-reduce the number of surprises, and make the tests used more consistent. The
-effective dates of tests reflect this policy change.
-
-All of the tests on this list have been merged with their ACATS 2.2
-counterparts. This means that all of the tests have been modified slightly, in
-most cases just to change comments. Make sure that you are using the newest
-versions of the tests.
-
-CA5004B has been split to avoid problems on implementations that obsolete all of
-the contents of a source file when any contained unit becomes obsolete. The
-splitting required renumbering the parts of the test, so be sure to update your
-scripts.
-
-C910003 is new. This test checks that task discriminants which have access
-subtypes can be dereferenced (with .all), selected, or indexed. This is a new
-capabilitity for Ada 95 (in Ada 83, discriminants can only be discrete types, so
-none of these operations are possible).
-
-LXH4014 has had errors in the "Special Instructions" section corrected. No Ada
-code was modified for this test.
-
-New tests inserted before April 1, 1999 will become required for conformity
-assessments on October 1, 1999. The tests affected as marked in the lists. The
-ACAA does not expect any additional tests to be added before April 1.
+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.
 
 List explanation:
 
@@ -75,6 +61,11 @@
 Name     Category  Version label  (effective date; old version label)
 	Short description.
 
+B455002 [Pending New] New VCS Label: A2_2B
+			Required after 2000-01-01
+	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
 	Multiple source units in a single source file are dubious.
@@ -86,6 +77,12 @@
 C332001 [Modified] VCS Label: A2_2A
 	Decimal types have been removed from the tests.
 
+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.
+
 C460008 [Modified] VCS Label: A2_2A
 	Decimal type operations have been split out into a separate test.
 
@@ -198,6 +195,10 @@
 
 ==== Annex E ====
 
+BXE2011 [Allowed Modification] New VCS Label: A2_2B
+			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
 	The call @481 does not contain a classwide parameter, so it cannot
@@ -222,6 +223,11 @@
 	Subtraction_Error_Test does not contain enough terms in the Taylor
 	series for any possible floating point type.
 
+CXG2016 [Allowed Modification] New VCS Label: A2_2B
+			Required after 1999-10-01, Org VCS Label: A2_2
+	The call to Arctan @243 is missing a comma, resulting in incorrect
+	parameters.
+
 ===== Annex H =====
 
 LXH4014 [Allowed Modification] New VCS Label: A2_2A
@@ -269,6 +275,7 @@
 (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
@@ -280,6 +287,7 @@
 CXC7003	1999-07-01
 CXE4005	1999-07-01
 CXG2014	1999-07-01
+CXG2016	1999-10-01
 LXH4014	1999-07-01
 
 
@@ -307,6 +315,8 @@
 
 (Refer to the main list for details)
 
+B455002	2000-01-01
+C455001	2000-01-01
 C460011	1999-10-01
 C910003	1999-10-01
 CA20002	1999-10-01
@@ -319,5 +329,4 @@
 (Refer to the main list for details)
 
 [None currently]
-
 

Questions? Ask the ACAA Technical Agent