Re: dinamic object reclamation

["Anisimkov" <anisimkov@yahoo.com>]

> >  procedure act (i : integer)
> >  is
> >      type block is array (1 .. 1024) of integer;
> >      type block_ptr is access all block;
> >      ptr : block_ptr;
> >  begin
> >      ptr := new block;
> >      ptr (ptr'LAst) := i;
> >      put (integer'image(I));
> >  end;

> size for Block_Ptr's storage pool. For example, in the above code, add the
line:
>
> for Block_Ptr'Storage_Size use 4098;
>
> and you should be OK (If you get Storage_Error, jack up the number a bit).
You
> won't be able to allocate any more than the specified number of bytes this
way,
> but a conforming compiler *will* reclaim the storage when the access type
goes
> out of scope. (LRM 13.11-18).

Yes it is.

Thank you Ted.

But there is more then limit of memory usage
becouse I wrote
      for Block_Ptr'Storage_Size use Integer'Last;
inside of procedure "act".

and memory is not leaking now.

It looks like a trick.