111
|
1 ------------------------------------------------------------------------------
|
|
2 -- --
|
|
3 -- GNAT RUN-TIME COMPONENTS --
|
|
4 -- --
|
|
5 -- A D A . E X E C U T I O N _ T I M E . I N T E R R U P T S --
|
|
6 -- --
|
|
7 -- S p e c --
|
|
8 -- --
|
|
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. --
|
|
13 -- --
|
|
14 ------------------------------------------------------------------------------
|
|
15
|
|
16 with Ada.Interrupts;
|
|
17 with Ada.Real_Time;
|
|
18
|
|
19 package Ada.Execution_Time.Interrupts with
|
|
20 SPARK_Mode
|
|
21 is
|
|
22
|
|
23 pragma Unimplemented_Unit;
|
|
24
|
|
25 function Clock (Interrupt : Ada.Interrupts.Interrupt_ID) return CPU_Time
|
|
26 with
|
|
27 Volatile_Function,
|
|
28 Global => Ada.Real_Time.Clock_Time,
|
|
29 Pre => Separate_Interrupt_Clocks_Supported;
|
|
30
|
|
31 function Supported (Interrupt : Ada.Interrupts.Interrupt_ID) return Boolean
|
|
32 with
|
|
33 Global => null;
|
|
34
|
|
35 end Ada.Execution_Time.Interrupts;
|