From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f6ee8ca03c176d76
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2002-08-13 23:40:46 PST
From: "Emil Moholth" <emil.moholth@kongsberg.com>
Newsgroups: comp.lang.ada
References: <c923f575.0208130627.479e0b3d@posting.google.com>
Subject: Re: stupid question: how can I finish a program?
Date: Wed, 14 Aug 2002 08:41:15 +0200
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2600.0000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
NNTP-Posting-Host: 193.71.180.204
Message-ID: <3d59fb69@193.71.169.73>
X-Trace: 14 Aug 2002 08:40:41 +0200, 193.71.180.204
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news.tele.dk!small.news.tele.dk!129.240.148.23!uio.no!Norway.EU.net!193.71.169.73!193.71.180.204
Xref: archiver1.google.com comp.lang.ada:28007
Date: 2002-08-14T08:41:15+02:00
List-Id: <comp.lang.ada>


"drmed" <jonas.gasser@dataflow.ch> wrote in message
news:c923f575.0208130627.479e0b3d@posting.google.com...
> hi,
> Is there a function which quit/exit/end a program? -> whitout using
> the signals (like SIGINT ... etc).
> Only a one-line function.
> thanks
>
> jonas

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