Re: Ada memory management?

["Christoph Karl Walter Grein" <AdaMagica@web.de>]

Jeff C r e e.m:
> > Actually, no it shouldn't, not on a halfway-decent implementation.
> > Logically speaking, a storage pool for items accessed via values of
> > an access type has the same lifetime as the access type itself. In
> > the above example, a new storage pool for Int_Ptr is created on
> > entry to Does_This_Leak, and is removed on exit.
> >
> > Stephen
> > -- 
> 
> 
> Stephen is correct...But just to be clear (because this is where people (not 
> Stephen) get confused is that the following
> (much more common construct) would leak unless unchecked_deallocation is 
> used.

No, he isn't, see my previous post! To get this effect, you have to define Storage_Size or a local storage pool.

> package body Like_A_Sieve is
> 
>      type Int_Ptr is access Integer;
> 
> procedure Does_This_Leak is
>      ptr: Int_Ptr;
> begin
>      ptr := new Integer;
>  end Does_This_Leak;
> 
> end Like_A_Sieve;

But your example is also correct.
__________________________________________________________
Mit WEB.DE FreePhone mit hoechster Qualitaet ab 0 Ct./Min.
weltweit telefonieren! http://freephone.web.de/?mc=021201