Re: Question on Controlled types

["Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>]

On Sat, 30 May 2009 13:41:41 +0200, Olivier Scalbert wrote:

> I am learning controlled types features and I do not understand the 
> following thing.

[...]

> Initialize Delay_Line
> Make_Delay_Line
> Adjust Delay_Line
> Finalize Delay_Line
> Finalize Delay_Line
> 
> I have two "Finalize(s)" for one "Initialize".

This is a correct behavior.

> Should I call Initialize from Adjust ?

No.
 
> How to have only one Initialize/Finalize ?

You cannot (need not). Here is an interpretation of what happens in your
case:

1. When Make_Delay_Line is called it creates local variable D. This is your
call to Initialize.

2. Then it returns D. For this the content of D is copied into Delay1 of
the caller and Adjust is done. That is your Adjust.

3. Then D is destroyed and Finalize is called. That is your first call to
Finalize.

4. When test1 is completed, Delay1 is destroyed and so the second call to
Finalize happens.

The formula is I + A = F, where I is the number of calls to Initialize, A
is the number of calls to Adjust and F is the number of calls to Finalize.

Note that the compiler has right to optimize some pairs Adjust/Finalize
away or add new ones.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de