44 lines
2.2 KiB
Ada
44 lines
2.2 KiB
Ada
|
------------------------------------------------------------------------------
|
||
|
-- --
|
||
|
-- 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;
|