CVS difference for arm/source/06.mss

Differences between 1.57 and version 1.58
Log of other versions for file arm/source/06.mss

--- arm/source/06.mss	2005/07/12 05:01:15	1.57
+++ arm/source/06.mss	2005/07/27 00:06:21	1.58
@@ -1,10 +1,10 @@
 @Part(06, Root="ada.mss")
 
-@Comment{$Date: 2005/07/12 05:01:15 $}
+@Comment{$Date: 2005/07/27 00:06:21 $}
 @LabeledSection{Subprograms}
 
 @Comment{$Source: e:\\cvsroot/ARM/Source/06.mss,v $}
-@Comment{$Revision: 1.57 $}
+@Comment{$Revision: 1.58 $}
 
 @begin{Intro}
 @Defn{subprogram}
@@ -2040,8 +2040,7 @@
 the return object; otherwise, the return object is created and initialized
 by default as for a stand-alone object of its nominal subtype (see
 @RefSecNum{Object Declarations}). If the nominal subtype is indefinite, the
-return object is constrained by its initial value. The
-@nt{handled_@!sequence_@!of_@!statements}, if any, is then executed.]}
+return object is constrained by its initial value.]}
 
 @begin{Ramification}
   @ChgRef{Version=[2],Kind=[AddedNormal]}
@@ -2260,11 +2259,21 @@
 @end{Ramification}
 
 @ChgRef{Version=[2],Kind=[Revised],ARef=[AI95-00318-02]}
-Finally, a transfer of control is performed which completes the
-execution of the @Chg{Version=[2],New=[],Old=[callable ]}construct to which the
-@Chg{Version=[2],New=[return statement],Old=[@nt{return_@!statement}]} applies,
-and returns to the caller.@Chg{Version=[2],New=[ In the case of a function,
-the @nt{function_call} denotes a constant view of the return object.],Old=[]}
+@Chg{Version=[2],New=[For the execution of an
+@nt{extended_@!return_@!statement}, the
+@nt{handled_@!sequence_@!of_@!statements} is executed. Within this
+@nt{handled_@!sequence_@!of_@!statements}, the execution of a
+@nt{simple_@!return_@!statement} that applies to the
+@nt{extended_@!return_@!statement} causes a transfer of control that completes
+the @nt{extended_@!return_@!statement}. Upon completion
+of a return statement that applies to a callable construct],Old=[Finally]}, a
+transfer of control is performed which completes the execution of the callable
+construct@Chg{Version=[2],New=[], Old=[ to which the @nt{return_@!statement}
+applies]}, and returns to the caller.
+
+@ChgRef{Version=[2],Kind=[AddedNormal],ARef=[AI95-00318-02]}
+@ChgAdded{Version=[2],Text=[In the case of a function, the @nt{function_call}
+denotes a constant view of the return object.]}
 @end{RunTime}
 
 @begin{ImplPerm}

Questions? Ask the ACAA Technical Agent