Re: stupid question: how can I finish a program?

["Marin D. Condic" <not.valid@acm.org>]

That would be a good answer except that it doesn't work in all cases. It is
possible for tasks to be in a state where they can't be aborted. There are
corner cases in the language rules that will prevent the statement you show
from terminating the program.

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com

Enabling Digital.
Our Vision is to be the biggest supplier worldwide of digital gateway
technology.
www.pacemicro.com

"Emil Moholth" <emil.moholth@kongsberg.com> wrote in message
news:3d59fb69@193.71.169.73...
>
> This is supported as part of the Annex C - Systems programming.
>
> C.7.1 (9) The effect of Abort_Task is the same as the abort_statement for
> the task identified by T. In addition, if T identifies the environment
task,
> the entire partition is aborted, See E.1
>
> So this leaves us with this single line in the main procedure.
>
> Ada.Task_Identification.Abort_Task (
>       T => Ada.Task_Identification.Current_Task );
>
> If some library unit maintains some persistent state extra measures is
> needed to ensure a correct state before executing the above statement. I
> would feel a lot more safe if I could ensure termination of all tasks in
the
> partition as part of the partition termination. Then the partition would
> terminate normally without any such statement.
>
> emilm
>
>