1 ------------------------------------------------------------------------------
3 -- GNAT RUN-TIME LIBRARY (GNARL) COMPONENTS --
5 -- A D A . R E A L _ T I M E --
9 -- Copyright (C) 1991-1994, Florida State University --
10 -- Copyright (C) 1995-2010, AdaCore --
12 -- GNARL is free software; you can redistribute it and/or modify it under --
13 -- terms of the GNU General Public License as published by the Free Soft- --
14 -- ware Foundation; either version 2, or (at your option) any later ver- --
15 -- sion. GNARL is distributed in the hope that it will be useful, but WITH- --
16 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY --
17 -- or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License --
18 -- for more details. You should have received a copy of the GNU General --
19 -- Public License distributed with GNARL; see file COPYING. If not, write --
20 -- to the Free Software Foundation, 51 Franklin Street, Fifth Floor, --
21 -- Boston, MA 02110-1301, USA. --
23 -- As a special exception, if other files instantiate generics from this --
24 -- unit, or you link this unit with other files to produce an executable, --
25 -- this unit does not by itself cause the resulting executable to be --
26 -- covered by the GNU General Public License. This exception does not --
27 -- however invalidate any other reasons why the executable file might be --
28 -- covered by the GNU Public License. --
30 -- GNARL was developed by the GNARL team at Florida State University. --
31 -- Extensive contributions were provided by Ada Core Technologies, Inc. --
33 ------------------------------------------------------------------------------
37 package body Ada.Real_Time is
43 -- Note that Constraint_Error may be propagated
45 function "*" (Left : Time_Span; Right : Integer) return Time_Span is
46 pragma Unsuppress (Overflow_Check);
48 return Time_Span (Duration (Left) * Right);
51 function "*" (Left : Integer; Right : Time_Span) return Time_Span is
52 pragma Unsuppress (Overflow_Check);
54 return Time_Span (Left * Duration (Right));
61 -- Note that Constraint_Error may be propagated
63 function "+" (Left : Time; Right : Time_Span) return Time is
64 pragma Unsuppress (Overflow_Check);
66 return Time (Duration (Left) + Duration (Right));
69 function "+" (Left : Time_Span; Right : Time) return Time is
70 pragma Unsuppress (Overflow_Check);
72 return Time (Duration (Left) + Duration (Right));
75 function "+" (Left, Right : Time_Span) return Time_Span is
76 pragma Unsuppress (Overflow_Check);
78 return Time_Span (Duration (Left) + Duration (Right));
85 -- Note that Constraint_Error may be propagated
87 function "-" (Left : Time; Right : Time_Span) return Time is
88 pragma Unsuppress (Overflow_Check);
90 return Time (Duration (Left) - Duration (Right));
93 function "-" (Left, Right : Time) return Time_Span is
94 pragma Unsuppress (Overflow_Check);
96 return Time_Span (Duration (Left) - Duration (Right));
99 function "-" (Left, Right : Time_Span) return Time_Span is
100 pragma Unsuppress (Overflow_Check);
102 return Time_Span (Duration (Left) - Duration (Right));
105 function "-" (Right : Time_Span) return Time_Span is
106 pragma Unsuppress (Overflow_Check);
108 return Time_Span_Zero - Right;
115 -- Note that Constraint_Error may be propagated
117 function "/" (Left, Right : Time_Span) return Integer is
118 pragma Unsuppress (Overflow_Check);
120 return Integer (Duration (Left) / Duration (Right));
123 function "/" (Left : Time_Span; Right : Integer) return Time_Span is
124 pragma Unsuppress (Overflow_Check);
126 return Time_Span (Duration (Left) / Right);
133 function Clock return Time is
135 return Time (System.Task_Primitives.Operations.Monotonic_Clock);
142 function Microseconds (US : Integer) return Time_Span is
144 return Time_Span_Unit * US * 1_000;
151 function Milliseconds (MS : Integer) return Time_Span is
153 return Time_Span_Unit * MS * 1_000_000;
160 function Minutes (M : Integer) return Time_Span is
162 return Milliseconds (M) * Integer'(60_000);
169 function Nanoseconds (NS : Integer) return Time_Span is
171 return Time_Span_Unit * NS;
178 function Seconds (S : Integer) return Time_Span is
180 return Milliseconds (S) * Integer'(1000);
187 procedure Split (T : Time; SC : out Seconds_Count; TS : out Time_Span) is
191 -- Special-case for Time_First, whose absolute value is anomalous,
192 -- courtesy of two's complement.
194 T_Val := (if T = Time_First then abs (Time_Last) else abs (T));
196 -- Extract the integer part of T, truncating towards zero
199 (if T_Val < 0.5 then 0 else Seconds_Count (Time_Span'(T_Val - 0.5)));
205 -- If original time is negative, need to truncate towards negative
206 -- infinity, to make TS non-negative, as per ARM.
208 if Time (SC) > T then
212 TS := Time_Span (Duration (T) - Duration (SC));
219 function Time_Of (SC : Seconds_Count; TS : Time_Span) return Time is
221 return Time (SC) + TS;
228 function To_Duration (TS : Time_Span) return Duration is
230 return Duration (TS);
237 function To_Time_Span (D : Duration) return Time_Span is
239 -- Note regarding AI-00432 requiring range checking on this conversion.
240 -- In almost all versions of GNAT (and all to which this version of the
241 -- Ada.Real_Time package apply), the range of Time_Span and Duration are
242 -- the same, so there is no issue of overflow.
244 return Time_Span (D);
248 -- Ensure that the tasking run time is initialized when using clock and/or
249 -- delay operations. The initialization routine has the required machinery
250 -- to prevent multiple calls to Initialize.
252 System.Tasking.Initialize;