1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
with Ada.Calendar; use Ada.Calendar;
with Ada.Strings; use Ada.Strings;
with Ada.Strings.Fixed; use Ada.Strings.Fixed;
package body Simple_Time is
function To_String
(Moment : in Time)
return String
is
Raw_Secs : Day_Duration := Seconds (Moment);
Hours : Integer := Integer (Raw_Secs) / 3600;
Minutes : Integer := (Integer (Raw_Secs) - Hours * 3600) / 60;
Seconds : Duration := Raw_Secs - Duration (Hours) * 3600 - Duration (Minutes) * 60;
Year_Str : String (1 .. 4);
Month_Str, Day_Str, Hour_Str, Minute_Str : String (1 .. 2);
Second_Str : String (1 .. 12);
begin
Move (Trim (Year_Number'Image (Year (Moment)), Left), Year_Str, Left, Right, '0');
Move (Trim (Month_Number'Image (Month (Moment)), Left), Month_Str, Left, Right, '0');
Move (Trim (Day_Number'Image (Day (Moment)), Left), Day_Str, Left, Right, '0');
Move (Trim (Integer'Image (Hours), Left), Hour_Str, Left, Right, '0');
Move (Trim (Integer'Image (Minutes), Left), Minute_Str, Left, Right, '0');
Move (Trim (Duration'Image (Seconds), Left), Second_Str, Left, Right, '0');
return Year_Str & '-' & Month_Str & '-' & Day_Str & " " &
Hour_Str & ':' & Minute_Str & ':' & Second_Str;
end To_String;
end Simple_Time;
|
