|
111
|
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 -- This specification is derived from the Ada Reference Manual for use with --
|
|
|
10 -- GNAT. In accordance with the copyright of that document, you can freely --
|
|
|
11 -- copy and modify this specification, provided that if you redistribute a --
|
|
|
12 -- modified version, any changes that you have made are clearly indicated. --
|
|
|
13 -- --
|
|
|
14 ------------------------------------------------------------------------------
|
|
|
15
|
|
|
16 with Ada.Task_Identification;
|
|
|
17 with Ada.Exceptions;
|
|
|
18
|
|
|
19 package Ada.Task_Termination is
|
|
|
20 pragma Preelaborate (Task_Termination);
|
|
|
21
|
|
|
22 type Cause_Of_Termination is (Normal, Abnormal, Unhandled_Exception);
|
|
|
23
|
|
|
24 type Termination_Handler is access protected procedure
|
|
|
25 (Cause : Cause_Of_Termination;
|
|
|
26 T : Ada.Task_Identification.Task_Id;
|
|
|
27 X : Ada.Exceptions.Exception_Occurrence);
|
|
|
28
|
|
|
29 procedure Set_Dependents_Fallback_Handler
|
|
|
30 (Handler : Termination_Handler);
|
|
|
31 function Current_Task_Fallback_Handler return Termination_Handler;
|
|
|
32
|
|
|
33 procedure Set_Specific_Handler
|
|
|
34 (T : Ada.Task_Identification.Task_Id;
|
|
|
35 Handler : Termination_Handler);
|
|
|
36 function Specific_Handler
|
|
|
37 (T : Ada.Task_Identification.Task_Id) return Termination_Handler;
|
|
|
38
|
|
|
39 end Ada.Task_Termination;
|
