gcc/ada/a-exetim.ads

   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                    --
   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 --  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
  18 --  environments.
  19
  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.
  23
  24 with Ada.Task_Identification;
  25 with Ada.Real_Time;
  26
  27 package Ada.Execution_Time with
  28   SPARK_Mode
  29 is
  30    pragma Preelaborate;
  31
  32    pragma Unimplemented_Unit;
  33
  34    type CPU_Time is private;
  35
  36    CPU_Time_First : constant CPU_Time;
  37    CPU_Time_Last  : constant CPU_Time;
  38    CPU_Time_Unit  : constant := 0.000001;
  39    CPU_Tick       : constant Ada.Real_Time.Time_Span;
  40
  41    use type Ada.Task_Identification.Task_Id;
  42
  43    function Clock
  44      (T : Ada.Task_Identification.Task_Id :=
  45         Ada.Task_Identification.Current_Task)
  46       return CPU_Time
  47    with
  48      Volatile_Function,
  49      Global => Ada.Real_Time.Clock_Time,
  50      Pre    => T /= Ada.Task_Identification.Null_Task_Id;
  51
  52    function "+"
  53      (Left  : CPU_Time;
  54       Right : Ada.Real_Time.Time_Span) return CPU_Time
  55    with
  56      Global => null;
  57
  58    function "+"
  59      (Left  : Ada.Real_Time.Time_Span;
  60       Right : CPU_Time) return CPU_Time
  61    with
  62      Global => null;
  63
  64    function "-"
  65      (Left  : CPU_Time;
  66       Right : Ada.Real_Time.Time_Span) return CPU_Time
  67    with
  68      Global => null;
  69
  70    function "-"
  71      (Left  : CPU_Time;
  72       Right : CPU_Time) return Ada.Real_Time.Time_Span
  73    with
  74      Global => null;
  75
  76    function "<"  (Left, Right : CPU_Time) return Boolean with
  77      Global => null;
  78    function "<=" (Left, Right : CPU_Time) return Boolean with
  79      Global => null;
  80    function ">"  (Left, Right : CPU_Time) return Boolean with
  81      Global => null;
  82    function ">=" (Left, Right : CPU_Time) return Boolean with
  83      Global => null;
  84
  85    procedure Split
  86      (T  : CPU_Time;
  87       SC : out Ada.Real_Time.Seconds_Count;
  88       TS : out Ada.Real_Time.Time_Span)
  89    with
  90      Global => null;
  91
  92    function Time_Of
  93      (SC : Ada.Real_Time.Seconds_Count;
  94       TS : Ada.Real_Time.Time_Span := Ada.Real_Time.Time_Span_Zero)
  95       return CPU_Time
  96    with
  97      Global => null;
  98
  99    Interrupt_Clocks_Supported          : constant Boolean := False;
 100    Separate_Interrupt_Clocks_Supported : constant Boolean := False;
 101
 102    pragma Warnings (Off, "check will fail at run time");
 103    function Clock_For_Interrupts return CPU_Time with
 104      Volatile_Function,
 105      Global => Ada.Real_Time.Clock_Time,
 106      Pre    => Interrupt_Clocks_Supported;
 107    pragma Warnings (On, "check will fail at run time");
 108
 109 private
 110    pragma SPARK_Mode (Off);
 111
 112    type CPU_Time is new Ada.Real_Time.Time;
 113
 114    CPU_Time_First : constant CPU_Time  := CPU_Time (Ada.Real_Time.Time_First);
 115    CPU_Time_Last  : constant CPU_Time  := CPU_Time (Ada.Real_Time.Time_Last);
 116
 117    CPU_Tick : constant Ada.Real_Time.Time_Span := Ada.Real_Time.Tick;
 118
 119 end Ada.Execution_Time;