CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	1999/10/26 21:42:56	1.14
+++ acats/docs/mod_list.txt	1999/12/22 23:53:44	1.15
@@ -1,14 +1,45 @@
 ACATS Test Modification List
 
-Version 2.2F
-October 26, 1999
+Version 2.2G
+December 22, 1999
 
 
 Changes from the last list:
 
-Several tests have been moved to the New category, meaning that they now are
-required for conformity assessment. These are: C460011, C910003, CA20002, and
-LA20001.
+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.
 
@@ -74,6 +105,16 @@
 	tagged types even when it is not known at the point of declaration
 	that the types are tagged.
 
+B393007 [Pending New] New VCS Label: A2_2G
+			Required after 2000-07-01
+	This test checks the rules in 3.9.3(10) and that an operation that
+	must be overridden (as in 3.9.3(6)) cannot be renamed.
+
+B3A2016 [Pending New] New VCS Label: A2_2G
+			Required after 2000-07-01
+	This test checks that the type of the prefix in an access
+	attribute is not used in resolving the type of the attribute.
+
 B420001 [Pending New] New VCS Label: A2_2E
 			Required after 2000-04-01
 	This test checks that the null string literals with a modular
@@ -85,6 +126,11 @@
 	This test checks that the null string literals with a modular
 	index subtype with a lower bound of zero raise Constraint_Error.
 
+C433001 [Pending New] New VCS Label: A2_2G
+			Required after 2000-07-01
+	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
 	This test checks that universal fixed multiplying operators can be
@@ -99,11 +145,10 @@
 C460008 [Modified] VCS Label: A2_2A
 	Decimal type operations have been split out into a separate test.
 
-C460011 [New] New VCS Label: A2_1E
-	Checks at @193 and @199 test the wrong object. (VCS Label A2_1E)
+C460011 [New] New VCS Label: A2_2A
 	This test contains the decimal type operations formerly found in
 	test C460008, and some additional rounding tests for decimal type
-	conversions. (VCS Label A2_1C)
+	conversions.
 
 C650001 [Modified] New VCS Label: A2_2A
 	Call at @352 may cause conversion @337 to raise Constraint_Error
@@ -121,6 +166,12 @@
 	those inherited from the parent type, even if additional
 	components of an ancestor type are visible.
 
+B731001 [Pending New] New VCS Label: A2_2E
+			Required after 2000-07-01
+	Check 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.
+
 C731001 [Pending New] New VCS Label: A2_2E
 			Required after 2000-04-01
 	Check that inherited operations can be overridden, even when they
@@ -169,6 +220,10 @@
 	Check that task discriminants of an access subtype can be
 	selected, indexed, and dereferenced.
 
+C95040D [Allowed Modification] New VCS Label: A2_2G
+			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
 	This test is applicable to all Ada 95 implementations.
@@ -203,11 +258,11 @@
 	after an instantiation. Therefore, this test may not fail to link.
 	This test is replaced by CA14023.
 
-LA20001 [New] New VCS Label: A2_1F
+LA20001 [New] New VCS Label: A2_2A
 	Check that 10.2(19) is enforced. This test was created out of the
 	removed test case from B830001.
 
-CA20002 [New] New VCS Label: A2_1F
+CA20002 [New] New VCS Label: A2_2A
 	Check that a partition can be created even if multiple units with
 	the same expanded name have been compiled.
 
@@ -465,9 +520,18 @@
 	Subtraction_Error_Test does not contain enough terms in the Taylor
 	series for any possible floating point type.
 
-CXG2016 [Modified] New VCS Label: A2_2B
+CXG2015 [Allowed Modification] New VCS Label: A2_2G
+			Required after 2000-04-01, Org VCS Label: A2_2
+	The accuracy requirements for operations which require exact
+	results are incorrect.
+
+CXG2016 [Allowed Modification] New VCS Label: A2_2G
+			Required after 2000-04-01, Org VCS Label: A2_2B
+	The accuracy requirements for exact results (in Exact_Result_Test)
+	are too strict. (VCS Label A2_2G)
 	The call to Arctan @243 is missing a comma, resulting in incorrect
-	parameters.
+	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
@@ -494,10 +558,10 @@
 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/~acats -
-but note that this URL may change in the future.
+but note that this URL may change slightly in the future.
 
-The complete set of official new and modified tests is available in the Mod_2_2F
-Zip and Tar files on the ACAA web site.
+The complete set of official new and modified tests are available in the
+Mod_2_2G 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.
@@ -533,6 +597,7 @@
 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
@@ -546,11 +611,13 @@
 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
+IMPDEF      2000-01-01
 
 
 Modified Tests
@@ -583,7 +650,7 @@
 CXE4005
 CXE5002 (VCS Label A2_2A)
 CXG2014
-CXG2016
+CXG2016 (VCS Label A2_2B)
 LXE3001
 LXH4014
 
@@ -603,14 +670,18 @@
 (Refer to the main list for details)
 
 B392010	2000-04-01
+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
 BA15002	2000-04-01
 BA21004	2000-04-01
 BXE2013	2000-04-01
 C420001	2000-04-01
+C433001	2000-07-01
 C455001	2000-01-01
 C730003	2000-04-01
 C731001	2000-04-01

Questions? Ask the ACAA Technical Agent