1 ------------------------------------------------------------------------------
3 -- GNAT RUN-TIME COMPONENTS --
5 -- A D A . E X E C U T I O N _ T I M E . T I M E R S --
9 -- This specification is derived from the Ada Reference Manual for use with --
10 -- GNAT. In accordance with the copyright of that document, you can freely --
11 -- copy and modify this specification, provided that if you redistribute a --
12 -- modified version, any changes that you have made are clearly indicated. --
14 ------------------------------------------------------------------------------
16 -- This unit is not implemented in typical GNAT implementations that lie on
17 -- top of operating systems, because it is infeasible to implement in such
20 -- If a target environment provides appropriate support for this package,
21 -- then the Unimplemented_Unit pragma should be removed from this spec and
22 -- an appropriate body provided.
26 package Ada.Execution_Time.Timers is
29 pragma Unimplemented_Unit;
31 type Timer (T : access Ada.Task_Identification.Task_Id) is
32 tagged limited private;
35 access protected procedure (TM : in out Timer);
37 Min_Handler_Ceiling : constant System.Any_Priority := System.Priority'Last;
41 In_Time : Ada.Real_Time.Time_Span;
42 Handler : Timer_Handler);
47 Handler : Timer_Handler);
49 function Current_Handler (TM : Timer) return Timer_Handler;
51 procedure Cancel_Handler
53 Cancelled : in out Boolean);
55 function Time_Remaining (TM : Timer) return Ada.Real_Time.Time_Span;
57 Timer_Resource_Error : exception;
60 type Timer (T : access Ada.Task_Identification.Task_Id) is
61 tagged limited null record;
62 end Ada.Execution_Time.Timers;