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 # Unix time: the number of seconds elapsed since January 1, 1970
26 protected fun get_time
: Int is extern "kernel_Any_Any_get_time_0"
30 # Wait a specific number of second and nanoseconds
31 fun nanosleep
(sec
, nanosec
: Int) is extern "std_nanosleep"
35 extern class TimeT `{time_t`}
37 # Returns Time since epoch from now.
38 new `{ return time(NULL); `}
40 # Returns Time since epoch from `i` (expressed in seconds).
41 new from_i
(i
: Int) `{ return i; `}
43 # Update current time.
44 fun update `{ time(&self); `}
46 # Convert `self` to a human readable String.
47 fun ctime
: String import NativeString.to_s_with_copy
`{
48 return NativeString_to_s_with_copy( ctime(&self) );
51 # Difference in secondes from start (self if the end time)
52 fun difftime
(start
: TimeT): Float `{ return difftime(self, start); `}
54 redef fun to_s do return ctime.replace("\n", "")
56 # Convert self to Int (expressed as seconds since epoch).
57 fun to_i: Int `{ return (int)self; `}
61 extern class Tm `{struct tm *`}
63 # Create a new Time structure expressed in Coordinated Universal Time (UTC).
66 time_t t
= time
(NULL);
71 # Create a new Time structure expressed in UTC from `t
`.
72 new gmtime_from_timet(t: TimeT) `{
78 # Create a new Time structure expressed in the local timezone.
81 time_t t
= time
(NULL);
86 # Create a new Time structure expressed in the local timezone from `t
`.
87 new localtime_from_timet(t: TimeT) `{
93 # Convert `self` as a TimeT.
94 fun to_timet: TimeT `{ return mktime(self); `}
96 # Seconds after the minute.
97 fun sec
: Int `{ return self->tm_sec; `}
99 # Minutes after the hour.
100 fun min: Int `{ return self->tm_min; `}
102 # hours since midnight.
103 fun hour
: Int `{ return self->tm_hour; `}
106 fun mday: Int `{ return self->tm_mday; `}
108 # Months since January.
109 fun mon
: Int `{ return self->tm_mon; `}
112 fun year: Int `{ return self->tm_year; `}
115 fun wday
: Int `{ return self->tm_wday; `}
117 # Days since January 1st.
118 fun yday: Int `{ return self->tm_yday; `}
120 # Is `self` in Daylight Saving Time.
121 fun is_dst
: Bool `{ return self->tm_isdst; `}
123 # Convert `self` to a human readable String.
124 fun asctime: String import NativeString.to_s_with_copy `{
125 return NativeString_to_s_with_copy( asctime
(self) );
128 # Convert `self` to a human readable String corresponding to `format
`.
129 # TODO document allowed format.
130 fun strftime(format: String): String import String.to_cstring, NativeString.to_s `{
131 char
* buf
, *c_format
;
134 buf
= (char
*)malloc
(100);
135 c_format
= String_to_cstring(format
);
137 res
= strftime
(buf
, 100, c_format
, self);
138 String s
= NativeString_to_s_with_copy(buf
);
143 redef fun to_s do return asctime.replace("\n", "")
146 # Date using the international format defined by ISO 8601.
150 # # By default ISODate at today.
151 # var date = new ISODate
152 # var tm = new Tm.localtime
153 # assert date.year == tm.year + 1900
154 # assert date.month == tm.mon + 1
155 # assert date.day == tm.mday
157 # # ISODate can be initialized from a String.
158 # date = new ISODate.from_string("1970-01-01T00:00:00Z")
159 # assert date.year == 1970
160 # assert date.month == 1
161 # assert date.day == 1
163 # # ISODate can be printed as String following the ISO format.
164 # assert date.to_s == "1970-01-01T00:00:00Z"
166 # Note that only the `YYYY-MM-DDTHH:MM:SSZ` is supported for now.
168 # See <http://www.w3.org/QA/Tips/iso-date>
173 var year: Int is noinit
175 # UTC months as Int (`1` for January).
176 var month: Int is noinit
178 # UTC days as Int (starting at `1`).
179 var day: Int is noinit
182 var hours: Int is noinit
184 # UTC minutes as Int.
185 var minutes: Int is noinit
187 # UTC seconds as Int.
188 var seconds: Int is noinit
190 # UTC timezone marker.
192 # Note that I don't know what will happen if you change this value...
196 var t = new Tm.localtime
205 # Init `self` from a ISODate formatted string.
206 init from_string(str: String) do
207 year = str.substring(0, 4).to_i
208 month = str.substring(5, 2).to_i
209 day = str.substring(8, 2).to_i
210 hours = str.substring(11, 2).to_i
211 minutes = str.substring(14, 2).to_i
212 seconds = str.substring(17, 2).to_i
213 timezone = str.substring(19, str.length)
217 var buff = new FlatBuffer
218 buff.append year.to_s
220 if month < 10 then buff.add '0'
221 buff.append month.to_s
223 if day < 10 then buff.add '0'
226 if hours < 10 then buff.add '0'
227 buff.append hours.to_s
229 if minutes < 10 then buff.add '0'
230 buff.append minutes.to_s
232 if seconds < 10 then buff.add '0'
233 buff.append seconds.to_s
235 return buff.write_to_string
238 redef type OTHER: ISODate
240 # TODO handle timezones
241 redef fun <(o) do return to_s < o.to_s