1 # This file is part of NIT ( http://www.nitlanguage.org ).
3 # Copyright 2008 Floréal Morandat <morandat@lirmm.fr>
4 # Copyright 2014 Alexandre Terrasa <alexandre@moz-code.org>
6 # This file is free software, which comes along with NIT. This software is
7 # distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY;
8 # without even the implied warranty of MERCHANTABILITY or FITNESS FOR A
9 # PARTICULAR PURPOSE. You can modify it is you want, provided this header
10 # is kept unaltered, and a notification of the changes is added.
11 # You are allowed to redistribute it and sell it, alone or is a part of
14 # Management of time and dates
25 # The number of seconds elapsed since January 1, 1970
27 # Uses the Unix function `time`.
28 fun get_time
: Int `{ return time(NULL); `}
30 # The number of milliseconds elapsed since January 1, 1970
32 # Returns `get_microtime
/ 1000`
33 fun get_millitime: Int do return get_microtime / 1000
35 # The number of microseconds elapsed since January 1, 1970
37 # Uses the Unix function `gettimeofday
`.
38 fun get_microtime: Int `{
40 gettimeofday
(&val
, NULL);
41 return val
.tv_sec
* 1000000 + val
.tv_usec
;
45 # Wait a specific number of second and nanoseconds
47 # Returns `true` if interrupted by a signal.
48 fun nanosleep(sec, nanosec: Int): Bool `{
49 const struct timespec req
= {sec, nanosec};
50 return nanosleep
(&req
, NULL);
55 # Sleep approximately `self` seconds
57 # Is not interrupted by signals.
58 fun sleep do to_f.sleep
62 # Sleep approximately `self` seconds
64 # Is not interrupted by signals.
67 long ns
= (self-s
) * 1000000000.0;
68 struct timespec req
= {s, ns};
70 while (nanosleep
(&req
, &req
)) { }
75 extern class TimeT `{time_t`}
77 # Returns Time since epoch from now.
78 new `{ return time(NULL); `}
80 # Returns Time since epoch from `i
` (expressed in seconds).
81 new from_i(i: Int) `{ return i; `}
83 # Update current time.
84 fun update
`{ time(&self); `}
86 # Convert `self` to a human readable String.
87 fun ctime: String import CString.to_s `{
88 return CString_to_s( ctime
(&self) );
91 # Difference in secondes from start (self if the end time)
92 fun difftime(start: TimeT): Float `{ return difftime(self, start); `}
94 redef fun to_s
do return ctime
.replace
("\n", "")
96 # Convert self to Int (expressed as seconds since epoch).
97 fun to_i
: Int `{ return (int)self; `}
101 extern class Tm `{struct tm *`}
103 # Create a new Time structure expressed in Coordinated Universal Time (UTC).
106 time_t t = time(NULL);
111 # Create a new Time structure expressed in UTC from `t`.
112 new gmtime_from_timet
(t
: TimeT) `{
118 # Create a new Time structure expressed in the local timezone.
121 time_t t = time(NULL);
126 # Create a new Time structure expressed in the local timezone from `t`.
127 new localtime_from_timet
(t
: TimeT) `{
133 # Convert `self` as a TimeT.
134 fun to_timet
: TimeT `{ return mktime(self); `}
136 # Seconds after the minute.
137 fun sec: Int `{ return self->tm_sec; `}
139 # Minutes after the hour.
140 fun min
: Int `{ return self->tm_min; `}
142 # hours since midnight.
143 fun hour: Int `{ return self->tm_hour; `}
146 fun mday
: Int `{ return self->tm_mday; `}
148 # Months since January.
149 fun mon: Int `{ return self->tm_mon; `}
152 fun year
: Int `{ return self->tm_year; `}
155 fun wday: Int `{ return self->tm_wday; `}
157 # Days since January 1st.
158 fun yday
: Int `{ return self->tm_yday; `}
160 # Is `self` in Daylight Saving Time.
161 fun is_dst: Bool `{ return self->tm_isdst; `}
163 # Convert `self` to a human readable String.
164 private fun asctime
: CString `{ return asctime(self); `}
166 # Convert `self` to a human readable String corresponding to `format
`.
167 # TODO document allowed format.
168 fun strftime(format: String): String import String.to_cstring, CString.to_s `{
169 char
* buf
, *c_format
;
171 buf
= (char
*)malloc
(100);
172 c_format
= String_to_cstring(format
);
174 strftime
(buf
, 100, c_format
, self);
175 String s
= CString_to_s(buf
);
180 redef fun to_s do return asctime.to_s.replace("\n", "")
183 # Date using the international format defined by ISO 8601.
187 # # By default ISODate at today.
188 # var date = new ISODate
189 # var tm = new Tm.localtime
190 # assert date.year == tm.year + 1900
191 # assert date.month == tm.mon + 1
192 # assert date.day == tm.mday
194 # # ISODate can be initialized from a String.
195 # date = new ISODate.from_string("1970-01-01T00:00:00Z")
196 # assert date.year == 1970
197 # assert date.month == 1
198 # assert date.day == 1
200 # # ISODate can be printed as String following the ISO format.
201 # assert date.to_s == "1970-01-01T00:00:00Z"
203 # Note that only the `YYYY-MM-DDTHH:MM:SSZ` is supported for now.
205 # See <http://www.w3.org/QA/Tips/iso-date>
210 var year: Int is noinit
212 # UTC months as Int (`1` for January).
213 var month: Int is noinit
215 # UTC days as Int (starting at `1`).
216 var day: Int is noinit
219 var hours: Int is noinit
221 # UTC minutes as Int.
222 var minutes: Int is noinit
224 # UTC seconds as Int.
225 var seconds: Int is noinit
227 # UTC timezone marker.
229 # Note that I don't know what will happen if you change this value...
233 var t = new Tm.localtime
242 # Init `self` from a ISODate formatted string.
243 init from_string(str: String) do
244 year = str.substring(0, 4).to_i
245 month = str.substring(5, 2).to_i
246 day = str.substring(8, 2).to_i
247 hours = str.substring(11, 2).to_i
248 minutes = str.substring(14, 2).to_i
249 seconds = str.substring(17, 2).to_i
250 timezone = str.substring(19, str.length)
254 var buff = new FlatBuffer
255 buff.append year.to_s
257 if month < 10 then buff.add '0'
258 buff.append month.to_s
260 if day < 10 then buff.add '0'
263 if hours < 10 then buff.add '0'
264 buff.append hours.to_s
266 if minutes < 10 then buff.add '0'
267 buff.append minutes.to_s
269 if seconds < 10 then buff.add '0'
270 buff.append seconds.to_s
272 return buff.write_to_string
275 redef type OTHER: ISODate
277 # TODO handle timezones
278 redef fun <(o) do return to_s < o.to_s