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-2014, AdaCore --
12 -- GNAT 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 3, or (at your option) any later ver- --
15 -- sion. GNAT 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. --
19 -- As a special exception under Section 7 of GPL version 3, you are granted --
20 -- additional permissions described in the GCC Runtime Library Exception, --
21 -- version 3.1, as published by the Free Software Foundation. --
23 -- You should have received a copy of the GNU General Public License and --
24 -- a copy of the GCC Runtime Library Exception along with this program; --
25 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see --
26 -- <http://www.gnu.org/licenses/>. --
28 -- GNARL was developed by the GNARL team at Florida State University. --
29 -- Extensive contributions were provided by Ada Core Technologies, Inc. --
31 ------------------------------------------------------------------------------
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
);
117 pragma Unsuppress
(Division_Check
);
119 return Integer (Duration (Left
) / Duration (Right
));
122 function "/" (Left
: Time_Span
; Right
: Integer) return Time_Span
is
123 pragma Unsuppress
(Overflow_Check
);
124 pragma Unsuppress
(Division_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;