2011-03-24 Paolo Bonzini <bonzini@gnu.org>
[official-gcc.git] / gcc / ada / a-taster.ads
blob5a496a83e5bb0351f2296b892355dd7e7cc28f87
1 ------------------------------------------------------------------------------
2 -- --
3 -- GNAT RUN-TIME COMPONENTS --
4 -- --
5 -- A D A . T A S K _ T E R M I N A T I O N --
6 -- --
7 -- S p e c --
8 -- --
9 -- Copyright (C) 2005, Free Software Foundation, Inc. --
10 -- --
11 -- This specification is derived from the Ada Reference Manual for use with --
12 -- GNAT. The copyright notice above, and the license provisions that follow --
13 -- apply solely to the contents of the part following the private keyword. --
14 -- --
15 -- GNAT was originally developed by the GNAT team at New York University. --
16 -- Extensive contributions were provided by Ada Core Technologies Inc. --
17 -- --
18 ------------------------------------------------------------------------------
20 with Ada.Task_Identification;
21 with Ada.Exceptions;
23 package Ada.Task_Termination is
24 pragma Preelaborate (Task_Termination);
26 type Cause_Of_Termination is (Normal, Abnormal, Unhandled_Exception);
28 type Termination_Handler is access protected procedure
29 (Cause : Cause_Of_Termination;
30 T : Ada.Task_Identification.Task_Id;
31 X : Ada.Exceptions.Exception_Occurrence);
33 procedure Set_Dependents_Fallback_Handler
34 (Handler : Termination_Handler);
35 function Current_Task_Fallback_Handler return Termination_Handler;
37 procedure Set_Specific_Handler
38 (T : Ada.Task_Identification.Task_Id;
39 Handler : Termination_Handler);
40 function Specific_Handler
41 (T : Ada.Task_Identification.Task_Id) return Termination_Handler;
43 end Ada.Task_Termination;