Ada Programming/Libraries/Ada.Execution Time.Timers

Ada.Execution_Time.Timers __TOC__ Ada Execution_Time Timers 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 System; package Ada Execution_Time Timers is type Timer (T : not null access constant Adadot .Task_Identificationdot .Task_Id) is tagged limited private; type Timer_Handler is access protected procedure (TM : in out Timer); Min_Handler_Ceiling : constant Systemdot .Any_Priority := implementation_defined; procedure Set_Handler (TM : in out Timer; In_Time : in Adadot .Real_Timedot .Time_Span; Handler : in Timer_Handler); procedure Set_Handler (TM : in out Timer; At_Time : in CPU_Time; Handler : in Timer_Handler); function Current_Handler (TM : Timer) return Timer_Handler; procedure Cancel_Handler (TM : in out Timer; Cancelled : out Boolean); function Time_Remaining (TM : Timer) return Adadot .Real_Timedot .Time_Span; Timer_Resource_Error : exception; private pragma Import (Ada, Timer); end Adadot .Execution_Timedot .Timers; See also Wikibook Ada Programming/Libraries/Ada Ada Reference Manual Ada 2005 D 14 1 Execution Time Timers Ada 2012 D 14 1 Execution Time Timers Open-Source Implementations a-extiti.ads libgnarl tasking/a-extiti.ads