| ------------------------------------------------------------------------------ |
| -- -- |
| -- GNAT RUN-TIME COMPONENTS -- |
| -- -- |
| -- A D A . T A S K _ T E R M I N A T I O N -- |
| -- -- |
| -- S p e c -- |
| -- -- |
| -- Copyright (C) 2005, Free Software Foundation, Inc. -- |
| -- -- |
| -- This specification is derived from the Ada Reference Manual for use with -- |
| -- GNAT. The copyright notice above, and the license provisions that follow -- |
| -- apply solely to the contents of the part following the private keyword. -- |
| -- -- |
| -- GNAT was originally developed by the GNAT team at New York University. -- |
| -- Extensive contributions were provided by Ada Core Technologies Inc. -- |
| -- -- |
| ------------------------------------------------------------------------------ |
| |
| with Ada.Task_Identification; |
| with Ada.Exceptions; |
| |
| package Ada.Task_Termination is |
| pragma Preelaborate (Task_Termination); |
| |
| type Cause_Of_Termination is (Normal, Abnormal, Unhandled_Exception); |
| |
| type Termination_Handler is access protected procedure |
| (Cause : Cause_Of_Termination; |
| T : Ada.Task_Identification.Task_Id; |
| X : Ada.Exceptions.Exception_Occurrence); |
| |
| procedure Set_Dependents_Fallback_Handler |
| (Handler : Termination_Handler); |
| function Current_Task_Fallback_Handler return Termination_Handler; |
| |
| procedure Set_Specific_Handler |
| (T : Ada.Task_Identification.Task_Id; |
| Handler : Termination_Handler); |
| function Specific_Handler |
| (T : Ada.Task_Identification.Task_Id) return Termination_Handler; |
| |
| end Ada.Task_Termination; |
