Ada Programming/Libraries/Ada.Task Termination

Ada.Task_Termination __TOC__ Ada Task_Termination is a unit of the Predefined Language Environment since Ada 2005. Specification Standard Ada library specification Copyright (c) 2003-2018 Maxim Reznik <reznikmm@gmail.com> Copyright (c) 2004-2016 AXE Consultants Copyright (c) 2004, 2005, 2006 Ada-Europe Copyright (c) 2000 The MITRE Corporation, Inc. Copyright (c) 1992, 1993, 1994, 1995 Intermetrics, Inc. SPDX-License-Identifier: BSD-3-Clause and LicenseRef-AdaReferenceManual ------------------------------------------------------------------------- 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 : in Cause_Of_Termination; T : in Adadot .Task_Identificationdot .Task_Id; X : in Adadot .Exceptionsdot .Exception_Occurrence); procedure Set_Dependents_Fallback_Handler (Handler: in Termination_Handler); function Current_Task_Fallback_Handler return Termination_Handler; procedure Set_Specific_Handler (T : in Adadot .Task_Identificationdot .Task_Id; Handler : in Termination_Handler); function Specific_Handler (T : Adadot .Task_Identificationdot .Task_Id) return Termination_Handler; end Adadot .Task_Termination; See also Wikibook Ada Programming/Libraries/Ada Ada Reference Manual Ada 2005 C 7 3 The Package Task_Termination Ada 2012 C 7 3 The Package Task_Termination Open-Source Implementations a-taster.ads a-taster.adb tasking/a-taster.ads tasking/a-taster.adb