Re: How can one record component be local and another not?

["J-P. Rosen" <rosen@adalog.fr>]

Le 07/05/2020 à 12:31, Stefan.Lucks@uni-weimar.de a écrit :
> On Thu, 7 May 2020, J-P. Rosen wrote:
> 
>> No, tasks declared in library packages could survive the main program.
> 
> Correct me, if I am wrong, but my understanding has always been that the
> main program (or "environment task") can only terminate after all the
> tasks started within the main program have terminated (or, perhaps, have
> been aborted, or did run into an unhandled exception).
True AND False. The master of a library task is the environment task,
not the procedure declared as the main program. So you can return from
the main procedure, and then wait for the termination of library tasks.

The confusion is that the procedure declared as "main" is not the real
main program. The real main program is generated by the compiler, it
elaborates the library packages, and then calls the main procedure. In
gnat, you can even see the source (file b__*.adb)

>> You may even have a "begin null; end" main program, and do all the work
>> with library tasks.
> 
> Once again, my understanding is that a main program with the "begin
> null; end Program_Name" does not terminate, as long as one of its tasks
> is still running. 
As explained above, Program_Name terminates, but not the "real" main
program that called it.

-- 
J-P. Rosen
Adalog
2 rue du Docteur Lombard, 92441 Issy-les-Moulineaux CEDEX
Tel: +33 1 45 29 21 52, Fax: +33 1 45 29 25 00
http://www.adalog.fr