CVS difference for ais/ai-00193.txt

Differences between 1.5 and version 1.6
Log of other versions for file ais/ai-00193.txt

--- ais/ai-00193.txt	1999/06/22 01:44:37	1.5
+++ ais/ai-00193.txt	1999/07/28 00:08:45	1.6
@@ -1,13 +1,14 @@
-!standard 07.06.01 (04)                               99-06-12  AI95-00193/04
+!standard 07.06.01 (04)                               99-07-27  AI95-00193/05
 !standard 07.06.01 (16)
 !class binding interpretation 97-08-19
+!status Corrigendum 2000 99-07-27
 !status WG9 approved 99-06-12
 !status ARG approved (with editiorial changes) 6-0-3 99-03-25
 !status work item 98-04-02
 !status received 97-08-19
 !priority High
 !difficulty Hard
-!subject Classwide Initialize, Adjust, and exceptions
+!subject Initialize, Adjust, and exceptions
 
 !summary
 
@@ -61,9 +62,9 @@
 that all adjustments be performed, even if one fails, because
 all controlled subcomponents are going to be finalized.
 
-
 !wording
 
+(See corrigendum.)
 
 !discussion
 
@@ -115,6 +116,25 @@
 means that an initialization may be abandoned as soon as any
 Adjust fails, so long as those components which have never been
 adjusted are not finalized.
+
+!corrigendum 7.06.01(16)
+
+@drepl
+@xbullet<For an Adjust invoked as part of an assignment operation, any
+other adjustments due to be performed are performed, and then Program_Error
+is raised.>
+@dby
+@xbullet<For an Adjust invoked as part of the initialization of a controlled
+object, other adjustments due to be performed might or might not be performed,
+and then Program_Error is raised. During its propagation, finalization might or
+might not be applied to objects whose Adjust failed.  For an Adjust invoked
+as part of an assignment statement, other adjustments due to be performed are
+performed, and then Program_Error is raised.>
+
+!ACATS test
+
+This ruling explicitly makes some behavior unspecified. Therefore, no test is
+possible (It isn't possible to test unspecified behavior).
 
 !appendix
 

Questions? Ask the ACAA Technical Agent