Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/libgnarl/a-extiin.ads @ 111:04ced10e8804
gcc 7
| author | kono |
|---|---|
| date | Fri, 27 Oct 2017 22:46:09 +0900 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 68:561a7518be6b | 111:04ced10e8804 |
|---|---|
| 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; |