Re: Initialization and Finalization of limited object "returned" by a function

[Robert A Duff <bobduff@shell01.TheWorld.com>]

"Hibou57 (Yannick Duch�ne)" <yannick_duchene@yahoo.fr> writes:

> What a surprise to me to experience something different : limited
> object Finalized right after Initialization.

I'm not going to read your code carefully, but that doesn't
seem right.  If you have:

    X : T := F(...);

the result of F is "built in place" in X, and should be finalized
when the procedure containing X is left.

Here is some more info about limited function returns:

http://www.adacore.com/2007/09/24/ada-gem-10/

and 2 following gems.

>       function New_A return A_Type is
>       begin
>          return Result : A_Type do
>             null;
>          end return;

You can say "return Result : A_Type;" here.

- Bob