CVS difference for ais/ai-00169.txt

Differences between 1.11 and version 1.12
Log of other versions for file ais/ai-00169.txt

--- ais/ai-00169.txt	2000/08/19 01:19:08	1.11
+++ ais/ai-00169.txt	2001/03/22 22:24:53	1.12
@@ -156,7 +156,24 @@
 
 !ACATS test
 
-Add a C-Test (similar to C761008) to test this in the cases given here.
+Create a C-Test to check an anonymous object is finalized if a transfer of
+control or exception causes its innermost enclosing master to be left.
+(Test, 7-1-0, ARG Letter Ballot, February 2001). The test would be similar
+to C760008.
+
+Create a C-Test to check that it is not a bounded error for an explicit call
+to Adjust or Finalize to propagate an exception.
+The test would insure that Program_Error is not propagated by such a call.
+(No Test, 3-3-2 (2/3rd majority required, but not achieved), ARG Letter Ballot,
+February 2001). This seems unlikely to be wrong in a compiler, and not very
+common in any case. (Editor's note: After the vote, it was discovered that
+existing ACATS test C760010 already checks this.)
+
+Test C761011 checks that if a finalize invoked due to finalization of
+an anonymous object propagates an exception, other finalizes due to be
+performed are performed. It also checks that if a finalize invoked due to
+the end of execution of a master, other finalizes due to be performed are
+performed. (Test, 8-0-0, ARG Letter Ballot, February 2001).
 
 !appendix
 

Questions? Ask the ACAA Technical Agent