Mercurial > hg > CbC > CbC_gcc
comparison gcc/ada/libgnat/g-calend.ads @ 111:04ced10e8804
gcc 7
author | kono |
---|---|
date | Fri, 27 Oct 2017 22:46:09 +0900 |
parents | |
children | 84e7813d76e9 |
comparison
equal
deleted
inserted
replaced
68:561a7518be6b | 111:04ced10e8804 |
---|---|
1 ------------------------------------------------------------------------------ | |
2 -- -- | |
3 -- GNAT RUN-TIME COMPONENTS -- | |
4 -- -- | |
5 -- G N A T . C A L E N D A R -- | |
6 -- -- | |
7 -- S p e c -- | |
8 -- -- | |
9 -- Copyright (C) 1999-2017, Free Software Foundation, Inc. -- | |
10 -- -- | |
11 -- GNAT is free software; you can redistribute it and/or modify it under -- | |
12 -- terms of the GNU General Public License as published by the Free Soft- -- | |
13 -- ware Foundation; either version 3, or (at your option) any later ver- -- | |
14 -- sion. GNAT is distributed in the hope that it will be useful, but WITH- -- | |
15 -- OUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY -- | |
16 -- or FITNESS FOR A PARTICULAR PURPOSE. -- | |
17 -- -- | |
18 -- As a special exception under Section 7 of GPL version 3, you are granted -- | |
19 -- additional permissions described in the GCC Runtime Library Exception, -- | |
20 -- version 3.1, as published by the Free Software Foundation. -- | |
21 -- -- | |
22 -- You should have received a copy of the GNU General Public License and -- | |
23 -- a copy of the GCC Runtime Library Exception along with this program; -- | |
24 -- see the files COPYING3 and COPYING.RUNTIME respectively. If not, see -- | |
25 -- <http://www.gnu.org/licenses/>. -- | |
26 -- -- | |
27 -- GNAT was originally developed by the GNAT team at New York University. -- | |
28 -- Extensive contributions were provided by Ada Core Technologies Inc. -- | |
29 -- -- | |
30 ------------------------------------------------------------------------------ | |
31 | |
32 -- This package extends Ada.Calendar to handle Hour, Minute, Second, | |
33 -- Second_Duration and Day_Of_Week and Day_In_Year from Calendar.Time. | |
34 -- Second_Duration precision depends on the target clock precision. | |
35 -- | |
36 -- GNAT.Calendar provides the same kind of abstraction found in Ada.Calendar. | |
37 -- It provides Split and Time_Of to build and split a Time data. And it | |
38 -- provides accessor functions to get only one of Hour, Minute, Second, | |
39 -- Second_Duration. Other functions are to access more advanced values like | |
40 -- Day_Of_Week, Day_In_Year and Week_In_Year. | |
41 | |
42 with Ada.Calendar.Formatting; | |
43 with Interfaces.C; | |
44 | |
45 package GNAT.Calendar is | |
46 | |
47 type Day_Name is | |
48 (Monday, Tuesday, Wednesday, Thursday, Friday, Saturday, Sunday); | |
49 pragma Ordered (Day_Name); | |
50 | |
51 subtype Hour_Number is Natural range 0 .. 23; | |
52 subtype Minute_Number is Natural range 0 .. 59; | |
53 subtype Second_Number is Natural range 0 .. 59; | |
54 subtype Second_Duration is Ada.Calendar.Day_Duration range 0.0 .. 1.0; | |
55 subtype Day_In_Year_Number is Positive range 1 .. 366; | |
56 subtype Week_In_Year_Number is Positive range 1 .. 53; | |
57 | |
58 No_Time : constant Ada.Calendar.Time; | |
59 -- A constant set to the first date that can be represented by the type | |
60 -- Time. It can be used to indicate an uninitialized date. | |
61 | |
62 function Hour (Date : Ada.Calendar.Time) return Hour_Number; | |
63 function Minute (Date : Ada.Calendar.Time) return Minute_Number; | |
64 function Second (Date : Ada.Calendar.Time) return Second_Number; | |
65 function Sub_Second (Date : Ada.Calendar.Time) return Second_Duration; | |
66 -- Hour, Minute, Second and Sub_Second returns the complete time data for | |
67 -- the Date (H:M:S.SS). See Ada.Calendar for Year, Month, Day accessors. | |
68 -- Second_Duration precision depends on the target clock precision. | |
69 | |
70 function Day_Of_Week (Date : Ada.Calendar.Time) return Day_Name; | |
71 -- Return the day name | |
72 | |
73 function Day_In_Year (Date : Ada.Calendar.Time) return Day_In_Year_Number; | |
74 -- Return the day number in the year. (1st January is day 1 and 31st | |
75 -- December is day 365 or 366 for leap year). | |
76 | |
77 procedure Split | |
78 (Date : Ada.Calendar.Time; | |
79 Year : out Ada.Calendar.Year_Number; | |
80 Month : out Ada.Calendar.Month_Number; | |
81 Day : out Ada.Calendar.Day_Number; | |
82 Hour : out Hour_Number; | |
83 Minute : out Minute_Number; | |
84 Second : out Second_Number; | |
85 Sub_Second : out Second_Duration); | |
86 -- Split a standard Ada.Calendar.Time value in date data (Year, Month, Day) | |
87 -- and Time data (Hour, Minute, Second, Sub_Second). | |
88 | |
89 procedure Split_At_Locale | |
90 (Date : Ada.Calendar.Time; | |
91 Year : out Ada.Calendar.Year_Number; | |
92 Month : out Ada.Calendar.Month_Number; | |
93 Day : out Ada.Calendar.Day_Number; | |
94 Hour : out Hour_Number; | |
95 Minute : out Minute_Number; | |
96 Second : out Second_Number; | |
97 Sub_Second : out Second_Duration); | |
98 -- Split a standard Ada.Calendar.Time value in date data (Year, Month, Day) | |
99 -- and Time data (Hour, Minute, Second, Sub_Second). This version of Split | |
100 -- utilizes the time zone and DST bias of the locale (equivalent to Clock). | |
101 -- Due to this simplified behavior, the implementation does not require | |
102 -- expensive system calls on targets such as Windows. | |
103 -- WARNING: Split_At_Locale is no longer aware of historic events and may | |
104 -- produce inaccurate results over DST changes which occurred in the past. | |
105 | |
106 function Time_Of | |
107 (Year : Ada.Calendar.Year_Number; | |
108 Month : Ada.Calendar.Month_Number; | |
109 Day : Ada.Calendar.Day_Number; | |
110 Hour : Hour_Number; | |
111 Minute : Minute_Number; | |
112 Second : Second_Number; | |
113 Sub_Second : Second_Duration := 0.0) return Ada.Calendar.Time; | |
114 -- Return an Ada.Calendar.Time data built from the date and time values | |
115 | |
116 function Time_Of_At_Locale | |
117 (Year : Ada.Calendar.Year_Number; | |
118 Month : Ada.Calendar.Month_Number; | |
119 Day : Ada.Calendar.Day_Number; | |
120 Hour : Hour_Number; | |
121 Minute : Minute_Number; | |
122 Second : Second_Number; | |
123 Sub_Second : Second_Duration := 0.0) return Ada.Calendar.Time; | |
124 -- Return an Ada.Calendar.Time data built from the date and time values. | |
125 -- This version of Time_Of utilizes the time zone and DST bias of the | |
126 -- locale (equivalent to Clock). Due to this simplified behavior, the | |
127 -- implementation does not require expensive system calls on targets such | |
128 -- as Windows. | |
129 -- WARNING: Split_At_Locale is no longer aware of historic events and may | |
130 -- produce inaccurate results over DST changes which occurred in the past. | |
131 | |
132 function Week_In_Year (Date : Ada.Calendar.Time) return Week_In_Year_Number; | |
133 -- Return the week number as defined in ISO 8601. A week always starts on | |
134 -- a Monday and the first week of a particular year is the one containing | |
135 -- the first Thursday. A year may have 53 weeks when January 1st is a | |
136 -- Wednesday and the year is leap or January 1st is a Thursday. Note that | |
137 -- the last days of December may belong to the first week on the next year | |
138 -- and conversely, the first days of January may belong to the last week | |
139 -- of the last year. | |
140 | |
141 procedure Year_Week_In_Year | |
142 (Date : Ada.Calendar.Time; | |
143 Year : out Ada.Calendar.Year_Number; | |
144 Week : out Week_In_Year_Number); | |
145 -- Return the week number as defined in ISO 8601 along with the year in | |
146 -- which the week occurs. | |
147 | |
148 -- C timeval conversion | |
149 | |
150 -- C timeval represent a duration (used in Select for example). This | |
151 -- structure is composed of a number of seconds and a number of micro | |
152 -- seconds. The timeval structure is not exposed here because its | |
153 -- definition is target dependent. Interface to C programs is done via a | |
154 -- pointer to timeval structure. | |
155 | |
156 type timeval is private; | |
157 | |
158 function To_Duration (T : not null access timeval) return Duration; | |
159 function To_Timeval (D : Duration) return timeval; | |
160 | |
161 private | |
162 -- This is a dummy declaration that should be the largest possible timeval | |
163 -- structure of all supported targets. | |
164 | |
165 type timeval is array (1 .. 3) of Interfaces.C.long; | |
166 | |
167 function Julian_Day | |
168 (Year : Ada.Calendar.Year_Number; | |
169 Month : Ada.Calendar.Month_Number; | |
170 Day : Ada.Calendar.Day_Number) return Integer; | |
171 -- Compute Julian day number | |
172 -- | |
173 -- The code of this function is a modified version of algorithm 199 from | |
174 -- the Collected Algorithms of the ACM. The author of algorithm 199 is | |
175 -- Robert G. Tantzen. | |
176 | |
177 No_Time : constant Ada.Calendar.Time := | |
178 Ada.Calendar.Formatting.Time_Of | |
179 (Ada.Calendar.Year_Number'First, | |
180 Ada.Calendar.Month_Number'First, | |
181 Ada.Calendar.Day_Number'First, | |
182 Time_Zone => 0); | |
183 -- Use Time_Zone => 0 to be the same binary representation in any timezone | |
184 | |
185 end GNAT.Calendar; |