CVS difference for ais/ai-00169.txt

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

--- ais/ai-00169.txt	1999/03/22 18:22:05	1.2
+++ ais/ai-00169.txt	1999/04/01 19:46:59	1.3
@@ -1,12 +1,13 @@
-!standard 07.06.01 (14)                               96-03-21  AI95-00169/01
+!standard 07.06.01 (14)                               99-04-01  AI95-00169/02
 !class binding interpretation 96-11-16
+!status ARG Approved (with changes) 8-0-1  99-03-25
 !status work item 99-03-21
 !status received 96-11-16
 !priority Low
 !difficulty Easy
-!subject Exceptions raised by Adjust/Finalize -- Missing case
+!subject Exceptions raised by Adjust/Finalize -- Missing cases
 
-!summary 99-03-21
+!summary
 
 If a call to Finalize propagates an exception when invoked as part of
 the finalization of a master, Program_Error is raised at the point where
@@ -21,14 +22,14 @@
 
 For finalizations of objects that occur as the result of transfers of
 control or the raising of an exception, the finalization of an anonymous
-object should occur as part of the finalizations due to be performed
+object occurs as part of the finalizations due to be performed
 for the innermost enclosing master of the anonymous object.
 
 For an explicit call to Adjust or Finalize that propagates an exception,
 the exception is propagated as for a normal call to a user-defined
 subprogram that propagates an exception.
 
-!question 99-03-21
+!question
 
 7.6.1(14-20) lists a variety of situations in which Finalize and Adjust
 may raise exceptions, and the possible consequences.
@@ -50,11 +51,11 @@
 If an explicit call to Adjust or Finalize propagates an exception,
 is the exception converted to Program_Error? [No.]
 
-!recommendation 99-03-21
+!recommendation
 
 See summary.
 
-!wording 99-03-21
+!wording
 
 Add a paragraph to describe the treatment of calls to Finalize that
 propagate an exception when called as part of normal finalization
@@ -79,7 +80,7 @@
 In 7.6.1(14), clarify that the rules for bounded errors on calls to
 Finalize or Adjust do not apply to explicit calls to those operations.
 
-!discussion 99-03-21
+!discussion
 
 The lack of a rule describing what happens when a call to Finalize
 propagates an exception during the finalization of a master is
@@ -95,21 +96,21 @@
 such objects are not directly associated with a master, the rules
 of 7.6.1(14-20) don't appear to explain what should happen.  The
 intended semantics is to raise Program_Error as in the case of other
-implicit calls to Finalize.  The exception should be raised immediately
+implicit calls to Finalize.  The exception is raised immediately
 following the point where the Finalize operation is invoked (as defined
 by 7.6.1(13)).  Also, in the presence of transfers of control or the
-raising of an exception, the finalization of anonymous objects should
-occur as part of the "finalizations due to be performed" mentioned
+raising of an exception, the finalization of anonymous objects
+occurs as part of the "finalizations due to be performed" mentioned
 in the rules of 7.6.1(18-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 exception to be converted to
+implementations by requiring such exceptions to be converted to
 Program_Error.
 
-!appendix 96-11-16
+!appendix
 
 !section 7.6.1(14)
 !subject Exceptions raised by Adjust/Finalize -- Missing case

Questions? Ask the ACAA Technical Agent