-
Notifications
You must be signed in to change notification settings - Fork 3
/
Copy pathada-calendar-formatting.ads
129 lines (102 loc) · 5.11 KB
/
ada-calendar-formatting.ads
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
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
-- Standard Ada library specification
-- Copyright (c) 2003-2018 Maxim Reznik <[email protected]>
-- Copyright (c) 2004-2016 AXE Consultants
-- Copyright (c) 2004, 2005, 2006 Ada-Europe
-- Copyright (c) 2000 The MITRE Corporation, Inc.
-- Copyright (c) 1992, 1993, 1994, 1995 Intermetrics, Inc.
-- SPDX-License-Identifier: BSD-3-Clause and LicenseRef-AdaReferenceManual
---------------------------------------------------------------------------
with Ada.Calendar.Time_Zones;
package Ada.Calendar.Formatting is
-- Day of the week:
type Day_Name is
(Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday);
function Day_of_Week (Date : in Time) return Day_Name;
-- Hours:Minutes:Seconds access:
subtype Hour_Number is Natural range 0 .. 23;
subtype Minute_Number is Natural range 0 .. 59;
subtype Second_Number is Natural range 0 .. 59;
subtype Second_Duration is Day_Duration range 0.0 .. 1.0;
function Year (Date : in Time;
Time_Zone : in Time_Zones.Time_Offset := 0)
return Year_Number;
function Month (Date : in Time;
Time_Zone : in Time_Zones.Time_Offset := 0)
return Month_Number;
function Day (Date : in Time;
Time_Zone : in Time_Zones.Time_Offset := 0)
return Day_Number;
function Hour (Date : in Time;
Time_Zone : in Time_Zones.Time_Offset := 0)
return Hour_Number;
function Minute (Date : in Time;
Time_Zone : in Time_Zones.Time_Offset := 0)
return Minute_Number;
function Second (Date : in Time) return Second_Number;
function Sub_Second (Date : in Time) return Second_Duration;
function Seconds_Of (Hour : in Hour_Number;
Minute : in Minute_Number;
Second : in Second_Number := 0;
Sub_Second : in Second_Duration := 0.0)
return Day_Duration;
procedure Split (Seconds : in Day_Duration;
Hour : out Hour_Number;
Minute : out Minute_Number;
Second : out Second_Number;
Sub_Second : out Second_Duration);
function Time_Of (Year : in Year_Number;
Month : in Month_Number;
Day : in Day_Number;
Hour : in Hour_Number;
Minute : in Minute_Number;
Second : in Second_Number;
Sub_Second : in Second_Duration := 0.0;
Leap_Second : in Boolean := False;
Time_Zone : in Time_Zones.Time_Offset := 0)
return Time;
function Time_Of (Year : in Year_Number;
Month : in Month_Number;
Day : in Day_Number;
Seconds : in Day_Duration := 0.0;
Leap_Second : in Boolean := False;
Time_Zone : in Time_Zones.Time_Offset := 0)
return Time;
procedure Split (Date : in Time;
Year : out Year_Number;
Month : out Month_Number;
Day : out Day_Number;
Hour : out Hour_Number;
Minute : out Minute_Number;
Second : out Second_Number;
Sub_Second : out Second_Duration;
Time_Zone : in Time_Zones.Time_Offset := 0);
procedure Split (Date : in Time;
Year : out Year_Number;
Month : out Month_Number;
Day : out Day_Number;
Hour : out Hour_Number;
Minute : out Minute_Number;
Second : out Second_Number;
Sub_Second : out Second_Duration;
Leap_Second : out Boolean;
Time_Zone : in Time_Zones.Time_Offset := 0);
procedure Split (Date : in Time;
Year : out Year_Number;
Month : out Month_Number;
Day : out Day_Number;
Seconds : out Day_Duration;
Leap_Second : out Boolean;
Time_Zone : in Time_Zones.Time_Offset := 0);
-- Simple image and value:
function Image (Date : in Time;
Include_Time_Fraction : in Boolean := False;
Time_Zone : in Time_Zones.Time_Offset := 0)
return String;
function Value (Date : in String;
Time_Zone : in Time_Zones.Time_Offset := 0)
return Time;
function Image (Elapsed_Time : in Duration;
Include_Time_Fraction : in Boolean := False)
return String;
function Value (Elapsed_Time : in String) return Duration;
end Ada.Calendar.Formatting;