Re: Accessibility Levels and Library-Level Units

[Adam Beneschan <adambeneschan@aol.com>]

On Tuesday, September 24, 2013 1:02:39 PM UTC-7, J-P. Rosen wrote:
> Le 24/09/2013 21:27, Adam Beneschan a �crit :
> 
> > Even if the compiler knew Accessibility_Level_Test were the main
> > subprogram, nothing would prevent some other subprogram from calling
> > it (recursively).
> 
> Even without calling it recursively, exiting the main program is /not/
> the end of the execution of an Ada Program. Tasks declared in library
> packages continue to run, there are even programs where the main
> procedure is begin-null;-end, all the work being done in library tasks.
> 
> And of course, such tasks could use the pointer after the main
> subprogram is exited.
> 
> Library level finalizable objects can also execute code after the main
> procedure is exited.

Yes, I'd forgotten about all those cases.  Thanks for pointing it out.

                               -- Adam