Re: Limited_Controlled types as 'out' arguments

[Lutz Donnerhacke <lutz@iks-jena.de>]

* Vinzent Hoefler wrote:
> Lutz Donnerhacke wrote:
>>* Dmitry A Kazakov wrote:
> [reading "out"-Parameters]
>>> You can in Ada 95.
>>
>>Oops. Why?
> 
> Convinience. Sometimes it avoids the temporary copy that would be
> needed in Ada83. See the example below.
> 
>>This is a clear data flow error,
> 
> Not if you have updated the object inside the procedure before reading
> it, consider this:
> 
>|   procedure Set_Timer_Limits (Input_Frequency : in Frequency;
>|                               Limit           : in Min_Max;
>|                               Timer           : out TxParm;
>|                               In_Range        : out Boolean) is
>|   begin
>|      --  here the Timer object is not yet initialized, reading
>|      --  would be a data flow error

Got it. This is the place, where a finalization like access have to be done.