Mercurial > hg > CbC > CbC_gcc
view 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 source
------------------------------------------------------------------------------ -- -- -- 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;