gcc/ada/a-taster.ads

   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;