CVS difference for ais/ai-00169.txt

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

--- ais/ai-00169.txt	1999/10/08 23:41:05	1.8
+++ ais/ai-00169.txt	2000/07/15 02:30:01	1.9
@@ -10,7 +10,7 @@
 !priority Low
 !difficulty Easy
 !qualifier Omission
-!subject Exceptions raised by Adjust/Finalize -- Missing cases
+!subject Exceptions raised by Adjust/Finalize -- missing cases
 
 !summary
 
@@ -111,24 +111,19 @@
 In the case of explicitly invoked Adjust and Finalize operations,
 any exception propagated by such calls should simply be propagated
 as for an exception propagation that occurs as part of a call to
-any other user-defined subprogram.  There is no benefit to complicating
-implementations by requiring such exceptions to be converted to
-Program_Error.
+any other user-defined subprogram.  There is no benefit in requiring such
+exceptions to be converted to Program_Error.
 
 !corrigendum 7.06.01(13)
 
-@drepl
+@dinsa
 The anonymous objects created by function calls and by @fa<aggregate>s are
 finalized no later than the end of the innermost enclosing @fa<declarative_item>
 or @fa<statement>; if that is a @fa<compound_statement>, they are finalized
 before starting the execution of any @fa<statement> within the
 @fa<compound_statement>.
-@dby
-The anonymous objects created by function calls and by @fa<aggregate>s are
-finalized no later than the end of the innermost enclosing @fa<declarative_item>
-or @fa<statement>; if that is a @fa<compound_statement>, they are finalized
-before starting the execution of any @fa<statement> within the
-@fa<compound_statement>. If a transfer of control or raising of an exception
+@dinstt
+If a transfer of control or raising of an exception
 occurs prior to performing a finalization of an anonymous object, the
 anonymous object is finalized as part of the finalizations due to be
 performed for the object's innermost enclosing master.

Questions? Ask the ACAA Technical Agent