Re: Memory_Management

[fracttcarf@yahoo.co.kr (Bini)]

Duncan Sands <baldrick@free.fr> wrote in message news:<mailman.47.1113902314.24457.comp.lang.ada@ada-france.org>...
> Hi Bini, maybe what is happening is this:
> 
> > 	I1 := (AF.Controlled with Value => new Integer'(123));
> 
> here the right-hand-side (RHS) is an object of My_Data type.
> You assign it to I1, another object of My_Data type.  After
> the assignment, RHS is finalized.  This frees the memory - the
> same memory I1.Value is pointing to.  In detail:
> 
> (0) Memory is allocated to hold the integer 123.  A pointer
> to the memory is in RHS.Value.
> (1) a bit-wise copy is made of RHS onto I1.  I1.Value points
> to the integer.
> (2) Adjust is called on I1.  Since you don't seem to have
> defined Adjust, this does nothing.
> (3) Finalize is called on RHS.  This frees the memory holding
> 123.  Now I1.Value is pointing to freed memory.
> 
> You then look at I1.Value.all, which could be anything.
> 
> You need to define Adjust.
> 
> All the best,
> 
> Duncan.

Ok. I understand. Thank you very much.