Re: Stupid Question but it bothers me

[sbelmont700@gmail.com]

On Monday, January 19, 2015 at 6:58:59 PM UTC-5, Hubert wrote:
> Yes, sorry I am sure this is a stupid question but I can not remember 
> that I read an answer to it in Barne's book.
> 
> suppose you have simple record
> 
> TYPE A_Type IS RECORD
>    My_Map : <instantiated Ada.Containers.Map>;
> END RECORD;
> 
> 
> now when I allocate a record with NEW obviously the map is correctly 
> initialized.
> 
> What happens when I deallocate the record with an instantiation of 
> Ada.Unchecked_Deallocate? is the map correctly destroyed or do I have to 
> revive my record from Ada.Finalization? I mean there is no obvious 
> memory leak detector in Ada so I am always a bit blind (on C++ I usually 
> use VisualLeakDetector).
> 
> I assume, when I store access values in the map I will have to go 
> through all entries and deallocate them one by one which is fine, but my 
> question is about the map and it's internal datastructures. Will the 
> deallocation automatically deallocate elements like the map as well?
> 
> 
> Thanks
> 
> 
> 
> ---
> This email has been checked for viruses by Avast antivirus software.
> http://www.avast.com


A.18.4~81/2 - "No storage associated with a Map object shall be lost upon assignment or scope exit."

-sb