CVS difference for acats/docs/mod_list.txt

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

--- acats/docs/mod_list.txt	2001/10/01 21:06:58	1.31
+++ acats/docs/mod_list.txt	2001/12/06 01:34:14	1.32
@@ -1,22 +1,38 @@
 ACATS Test Modification List
 
-Version 2.4E
-October 1, 2001
+Version 2.4F
+December  5, 2001
 
 
 Changes from the last list:
 
-Another three months have passed, meaning that a group of Corrigendum tests are
-now required for conformity assessments. Check the lists for details.
+Test CXG2012 needs 'Machine to discard excess precision before making equality
+tests.
 
-B460005 has the colon missing in the "Error:" comments (which mark the location
-of required errors); this difference causes problems for automatic test grading
-tools, so it have been eliminated.
-
-CXA5A10 tests on lines 172-202 that Constraint_Error is raised by an
-exponentiation operator with a zer left argument and a negative right argument,
-as described in A.5.1(30). However, A.5.1(30) only applies if Machine_Overflows
-is True, but the test failed to guard the subtest with such a check.
+Test C761012 was added to check that finalization of anonymous objects occurs
+no later than the finalization of the innermost enclosing master if a transfer
+of control or exception occurs. This is a clarification from Technical
+Corrigendum 1 (published June 2001), Defect Report 8652/0023, AI-00169.
+
+Test B854001 was added to check that a renames-as-body is illegal if the
+declaration occurs before the subprogram it completes is frozen, and the
+renaming renames the subprogram itself (directly or indirectly). This is a
+clarification from Technical Corrigendum 1, Defect Report 8652/0027, AI-00135.
+
+Test C854003 was added to check that a renames-as-body only requires mode
+conformance if it is not frozen. This is a change from Technical Corrigendum 1,
+Defect Report 8652/0028, AI-00145.
+
+Test CD10002 was added to check that operational items are allowed in some
+contexts where representation items are not. This is a change from Technical
+Corrigendum 1, Defect Report 8652/0009, AI-00137.
+
+A series of new tests and a foundation were added to test most of the stream
+attribute clarifications in Technical Corrigendum 1, Defect Report 8652/0040,
+AI-00108. (Note to implementers: see additional related stream attribute
+corrections in AI-00195; these are not yet tested but may constrain any
+corrections made.) The new tests are BDD2002, CDD2A01, CDD2A02, CDD2A03, and
+the foundation FDD2A00.
 
 New tests inserted between October 1, 2001 and January 1, 2002 will become
 required for conformity assessments on July 1, 2002. New tests inserted between
@@ -157,6 +173,12 @@
 	Check that the failure of a finalization of an object (in various
       cases) does not prevent other needed finalizations from occurring.
 
+C761012 [Pending New] New VCS Label: A2_4F
+			Required after 2002-07-01
+	Check that an anonymous object is finalized with its enclosing
+	master if a transfer of control or exception occurs prior to its
+	normal finalization (Technical Corrigendum 1, 7.6.1(13.1/1)).
+
 B851001 [Pending New] New VCS Label: A2_4C
 			Required after 2002-01-01
 	Check that the restrictions on renaming components that depend on
@@ -166,6 +188,18 @@
       unit.  Include the decendant of an untagged generic formal derived
       type case. (Technical Corrigendum 8.5.1(5/1)).
 
+B854001 [Pending New] New VCS Label: A2_4F
+			Required after 2002-07-01
+	Check that a renames-as-body is illegal if it occurs before
+	the subprogram is frozen, and it renames the subprogram itself.
+	(Technical Corrigendum 1, 8.5.4(5/1)).
+
+C854003 [Pending New] New VCS Label: A2_4F
+			Required after 2002-07-01
+	Check that a renames-as-body only requires mode conformance
+	if it occurs before the subprogram is frozen. (Technical
+	Corrigendum 1, 8.5.4(5/1)).
+
 C86003A [Modified] VCS Label: A2_4C
 	The assignment and check @76 could be eliminated by 11.6
 	permissions.
@@ -178,6 +212,12 @@
 	The assignment and check @58 could be eliminated by 11.6
       permissions.
 
+CD10002 [Pending New] New VCS Label: A2_4F
+			Required after 2002-07-01
+	Check that operational items are allowed in some contexts where
+	representation items are not. Corrigendum 7.3(5), 13.1(10),
+	13.1(11/1).
+
 CDB0A02 [Modified] VCS Label: A2_4A
 	Requirements on the maximum size of 'Max_Size_in_Storage_Elements
 	are not justified by 13.11.1:3.
@@ -192,6 +232,35 @@
 	End_Error if the end of stream is reached before the reading of
 	a value is completed.  Corrigendum 13.13.2(35.1/1).
 
+BDD2002 [Pending New] New VCS Label: A2_4F
+			Required after 2002-07-01
+	Check that a limited type extension is illegal if the parent type
+	has user defined Read or Write attributes, and a limited extension
+	component does not have user-defined Read or Write attributes.
+	Corrigendum 13.13.2(9/1).
+
+CDD2A01 [Pending New] New VCS Label: A2_4F
+			Required after 2002-07-01
+	Check that the default Read and Write attributes for a type
+	extension are created from the parent type's attributes and the
+	attributes of any extension components. Also checks that the
+	default Input and Output attributes are always used for a type
+	extension. Corrigendum 13.13.2(9/1) and 13.13.2(25/1).
+
+CDD2A02 [Pending New] New VCS Label: A2_4F
+			Required after 2002-07-01
+	Check that the Read, Write, Input, and Output attributes for an
+	untagged type are inherited from the parent type. Corrigendum
+	13.13.2(8.1/1) and 13.13.2(25/1).
+
+CDD2A03 [Pending New] New VCS Label: A2_4F
+			Required after 2002-07-01
+	Check that the default Read and Write attributes for a limited
+	type extension are created from the parent type's attributes
+	and the attributes of any extension components. Also checks that
+	the Read and Write attributes for such a type can be called.
+	Corrigendum 13.13.2(9/1) and 13.13.2(36/1).
+
 CE2120A [Withdrawn] Org VCS Label: A2_4
 	A.8.2(22) is Implementation Advice, not a requirement.
 
@@ -244,6 +313,10 @@
 	Assignment @287 might raise Constraint_Error, obscuring the
 	subtest objective.
 
+FDD2A00 [Pending New] New VCS Label: A2_4F
+			Required after 2002-07-01
+	Foundation for stream attribute tests.
+
 MACRO.DFS [Modified] VCS Label: A2_4B
 	Substitutions for withdrawn tests were removed.
 
@@ -279,7 +352,12 @@
 	Added checks that the non-generic packages are declared Pure.
 	[Note: This is an enhancement of an existing test, and replaces
 	it.]
+CXG2012 [Allowed Modification] New VCS Label: A2_4F Org VCS Label: A2_4
+			Required after 2002-04-01
+	The calculations @242 and @298 need 'Machine in order to insure
+	that subsequent equality checks produce the expected results.
 
+
 ===== Annex H =====
 
 [None]
@@ -294,7 +372,7 @@
 (www.adaic.org). It also can be accessed directly at www.ada-auth.org.
 
 The complete set of official new and modified tests are available in the
-Mod_2_4E Zip and Tar files on the ACAA web site.
+Mod_2_4F 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.
@@ -330,6 +408,7 @@
 B460005	2002-04-01
 C731001	2002-01-01
 CXA5A10	2002-04-01
+CXG2012	2002-04-01
 
 
 Modified Tests
@@ -379,9 +458,17 @@
 B371001	2002-01-01
 B392011	2002-01-01
 B851001	2002-01-01
+BDD2002	2002-07-01
 C392013	2002-01-01
 C3A0015	2002-01-01
 C460012	2002-04-01
 C760013	2002-01-01
+C761012	2002-07-01
+B854001	2002-07-01
+C854003	2002-07-01
+CD10002	2002-07-01
 CDD2001	2002-01-01
-
+CDD2A01	2002-07-01
+CDD2A02	2002-07-01
+CDD2A03	2002-07-01
+FDD2A00	2002-07-01

Questions? Ask the ACAA Technical Agent