Re: exit a program

[Maciej Sobczak <see.my.homepage@gmail.com>]

On 2 Sie, 14:43, "Dmitry A. Kazakov" <mail...@dmitry-kazakov.de>
wrote:

> > is there an instruction that stops a program?
>
> No, because it is ill-defined.
>
> In order to define "stop of a program" consider what happens with the
> system resources allocated by the program (open files, shared libraries,
> sockets etc)

Shared libraries and sockets are out of Ada scope. If you are using
them, then you apparently already know what you are doing.

Files are in the scope and are handled (A.7/6):

"The language does not define what happens to external files after the
completion of the main program and all the library tasks"

I guess it is up to the implementation to fill this gap.
In other words, the concept of stopping the program is not ill-
defined...

> > i need to stop a program and return to o.s. in case of an exception.
>
> Let it propagate out of the main task, that will terminate the program.

and you even give instructions on how it can be done. ;-)

--
Maciej Sobczak * www.msobczak.com * www.inspirel.com

Database Access Library for Ada: www.inspirel.com/soci-ada