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-2006, 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 ------------------------------------------------------------------------------
35 package body Ada.Real_Time is
41 -- Note that Constraint_Error may be propagated
43 function "*" (Left : Time_Span; Right : Integer) return Time_Span is
44 pragma Unsuppress (Overflow_Check);
46 return Time_Span (Duration (Left) * Right);
49 function "*" (Left : Integer; Right : Time_Span) return Time_Span is
50 pragma Unsuppress (Overflow_Check);
52 return Time_Span (Left * Duration (Right));
59 -- Note that Constraint_Error may be propagated
61 function "+" (Left : Time; Right : Time_Span) return Time is
62 pragma Unsuppress (Overflow_Check);
64 return Time (Duration (Left) + Duration (Right));
67 function "+" (Left : Time_Span; Right : Time) return Time is
68 pragma Unsuppress (Overflow_Check);
70 return Time (Duration (Left) + Duration (Right));
73 function "+" (Left, Right : Time_Span) return Time_Span is
74 pragma Unsuppress (Overflow_Check);
76 return Time_Span (Duration (Left) + Duration (Right));
83 -- Note that Constraint_Error may be propagated
85 function "-" (Left : Time; Right : Time_Span) return Time is
86 pragma Unsuppress (Overflow_Check);
88 return Time (Duration (Left) - Duration (Right));
91 function "-" (Left, Right : Time) return Time_Span is
92 pragma Unsuppress (Overflow_Check);
94 return Time_Span (Duration (Left) - Duration (Right));
97 function "-" (Left, Right : Time_Span) return Time_Span is
98 pragma Unsuppress (Overflow_Check);
100 return Time_Span (Duration (Left) - Duration (Right));
103 function "-" (Right : Time_Span) return Time_Span is
104 pragma Unsuppress (Overflow_Check);
106 return Time_Span_Zero - Right;
113 -- Note that Constraint_Error may be propagated
115 function "/" (Left, Right : Time_Span) return Integer is
116 pragma Unsuppress (Overflow_Check);
118 return Integer (Duration (Left) / Duration (Right));
121 function "/" (Left : Time_Span; Right : Integer) return Time_Span is
122 pragma Unsuppress (Overflow_Check);
124 return Time_Span (Duration (Left) / Right);
131 function Clock return Time is
133 return Time (System.Task_Primitives.Operations.Monotonic_Clock);
140 function Microseconds (US : Integer) return Time_Span is
142 return Time_Span_Unit * US * 1_000;
149 function Milliseconds (MS : Integer) return Time_Span is
151 return Time_Span_Unit * MS * 1_000_000;
158 function Minutes (M : Integer) return Time_Span is
160 return Milliseconds (M) * Integer'(60_000);
167 function Nanoseconds (NS : Integer) return Time_Span is
169 return Time_Span_Unit * NS;
176 function Seconds (S : Integer) return Time_Span is
178 return Milliseconds (S) * Integer'(1000);
185 procedure Split (T : Time; SC : out Seconds_Count; TS : out Time_Span) is
189 -- Special-case for Time_First, whose absolute value is anomalous,
190 -- courtesy of two's complement.
192 if T = Time_First then
193 T_Val := abs (Time_Last);
198 -- Extract the integer part of T, truncating towards zero
203 SC := Seconds_Count (Time_Span'(T_Val - 0.5));
210 -- If original time is negative, need to truncate towards negative
211 -- infinity, to make TS non-negative, as per ARM.
213 if Time (SC) > T then
217 TS := Time_Span (Duration (T) - Duration (SC));
224 function Time_Of (SC : Seconds_Count; TS : Time_Span) return Time is
226 return Time (SC) + TS;
233 function To_Duration (TS : Time_Span) return Duration is
235 return Duration (TS);
242 function To_Time_Span (D : Duration) return Time_Span is
244 -- Note regarding AI-00432 requiring range checking on this conversion.
245 -- In almost all versions of GNAT (and all to which this version of the
246 -- Ada.Real_Time package apply), the range of Time_Span and Duration are
247 -- the same, so there is no issue of overflow.
249 return Time_Span (D);