Re: Question regarding LRM 5.95 7.6(19)

[stt@henning.camb.inmet.com (Tucker Taft)]

In article <3fn115$66n@lang8.cs.nyu.edu>,
Cyrille Comar <comar@cs.nyu.edu> wrote:

>... As a matter of fact, in the
>non-limited case:
>
>  My_Ctrl_Obj : My_Ctrl_Type := (Controlled with ....);
>
>will not generate a call to Initialize not Adjust (or if it does, in
>case an anonymous object is generated, then the anon must be finalized
>do there is still one more finalization)
>
>I must say that I have been very surprized to find out that a
>controlled object could be neither initialized nor adjusted...

Initialize is for default initialization.  An aggregate is
for explicit initialization.  If you use an aggregate to initialize
a controlled object, you must give the exact value you want in memory
(e.g., reference count initialized to one, or whatever).

>Cyrille Comar,                                  E-mail: comar@cs.nyu.edu
>Gnat Project                                    US phone: (212) 998-3489

-Tucker Taft   stt@inmet.com
Intermetrics, Inc.