Mercurial > hg > CbC > CbC_gcc
diff gcc/ada/libgnarl/a-extiin.ads @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/gcc/ada/libgnarl/a-extiin.ads Fri Oct 27 22:46:09 2017 +0900 @@ -0,0 +1,35 @@ +------------------------------------------------------------------------------ +-- -- +-- GNAT RUN-TIME COMPONENTS -- +-- -- +-- 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 -- +-- -- +-- S p e c -- +-- -- +-- This specification is derived from the Ada Reference Manual for use with -- +-- GNAT. In accordance with the copyright of that document, you can freely -- +-- copy and modify this specification, provided that if you redistribute a -- +-- modified version, any changes that you have made are clearly indicated. -- +-- -- +------------------------------------------------------------------------------ + +with Ada.Interrupts; +with Ada.Real_Time; + +package Ada.Execution_Time.Interrupts with + SPARK_Mode +is + + pragma Unimplemented_Unit; + + function Clock (Interrupt : Ada.Interrupts.Interrupt_ID) return CPU_Time + with + Volatile_Function, + Global => Ada.Real_Time.Clock_Time, + Pre => Separate_Interrupt_Clocks_Supported; + + function Supported (Interrupt : Ada.Interrupts.Interrupt_ID) return Boolean + with + Global => null; + +end Ada.Execution_Time.Interrupts;