Ada Programming/Libraries/Ada.Execution Time.Timers
Appearance
This language feature is only available from Ada 2005 on.
Ada.Execution_Time.Timers is a unit of the Predefined Language Environment since Ada 2005.
Specification
[edit | edit source]-- 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.Timersis
type
Timer (T :not
null
access
constant
Ada.Task_Identification.Task_Id)is
tagged
limited
private
;type
Timer_Handleris
access
protected
procedure
(TM :in
out
Timer); Min_Handler_Ceiling :constant
System.Any_Priority := implementation_defined;procedure
Set_Handler (TM :in
out
Timer; In_Time :in
Ada.Real_Time.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
Ada.Real_Time.Time_Span; Timer_Resource_Error :exception
;private
pragma
Import (Ada, Timer);end
Ada.Execution_Time.Timers;
See also
[edit | edit source]Wikibook
[edit | edit source]External examples
[edit source]- Search for examples of
Ada.Execution_Time.Timers
in: Rosetta Code, GitHub (gists), any Alire crate or this Wikibook. - Search for posts related to
Ada.Execution_Time.Timers
in: Stack Overflow, comp.lang.ada or any Ada related page.
Ada Reference Manual
[edit | edit source]Ada 2005
[edit | edit source]Ada 2012
[edit | edit source]Open-Source Implementations
[edit | edit source]FSF GNAT
- Specification: a-extiti.ads
drake
- Specification: tasking/a-extiti.ads