Re: Question on Controlled types

[christoph.grein@eurocopter.com]

Delay_Line is not immutably limited, so the initial value in test1 is
not built in place.

>      function Make_Delay_Line(Duration: Duration_Type) return Delay_Line is
>          D: Delay_Line;  -- your initialize here
>      begin
>          Put_Line("Make_Delay_Line");
>          return D;  -- first finalize here for local D ------------------------------------
>      end Make_Delay_Line;
>      Test

> procedure test1 is
>      Delay1 : Delay_Line := Make_Delay_Line(Duration => 0.1);  -- no initialize here
> begin
>      null;  -- second finalize here for Delay1 -------------------------------------------
> end test1;
>
> -------------------------------------
>      Program output
> -------------------------------------
> Initialize Delay_Line
> Make_Delay_Line
> Adjust Delay_Line
> Finalize Delay_Line
> Finalize Delay_Line

So this is OK