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 `{ return time(NULL); `}
30 # Wait a specific number of second and nanoseconds
31 fun nanosleep(sec, nanosec: Int) `{
32 const struct timespec req
= {sec, nanosec};
33 nanosleep
(&req
, NULL);
38 extern class TimeT `{time_t`}
40 # Returns Time since epoch from now.
41 new `{ return time(NULL); `}
43 # Returns Time since epoch from `i
` (expressed in seconds).
44 new from_i(i: Int) `{ return i; `}
46 # Update current time.
47 fun update
`{ time(&self); `}
49 # Convert `self` to a human readable String.
50 fun ctime: String import NativeString.to_s_with_copy `{
51 return NativeString_to_s_with_copy( ctime
(&self) );
54 # Difference in secondes from start (self if the end time)
55 fun difftime(start: TimeT): Float `{ return difftime(self, start); `}
57 redef fun to_s
do return ctime
.replace
("\n", "")
59 # Convert self to Int (expressed as seconds since epoch).
60 fun to_i
: Int `{ return (int)self; `}
64 extern class Tm `{struct tm *`}
66 # Create a new Time structure expressed in Coordinated Universal Time (UTC).
69 time_t t = time(NULL);
74 # Create a new Time structure expressed in UTC from `t`.
75 new gmtime_from_timet
(t
: TimeT) `{
81 # Create a new Time structure expressed in the local timezone.
84 time_t t = time(NULL);
89 # Create a new Time structure expressed in the local timezone from `t`.
90 new localtime_from_timet
(t
: TimeT) `{
96 # Convert `self` as a TimeT.
97 fun to_timet
: TimeT `{ return mktime(self); `}
99 # Seconds after the minute.
100 fun sec: Int `{ return self->tm_sec; `}
102 # Minutes after the hour.
103 fun min
: Int `{ return self->tm_min; `}
105 # hours since midnight.
106 fun hour: Int `{ return self->tm_hour; `}
109 fun mday
: Int `{ return self->tm_mday; `}
111 # Months since January.
112 fun mon: Int `{ return self->tm_mon; `}
115 fun year
: Int `{ return self->tm_year; `}
118 fun wday: Int `{ return self->tm_wday; `}
120 # Days since January 1st.
121 fun yday
: Int `{ return self->tm_yday; `}
123 # Is `self` in Daylight Saving Time.
124 fun is_dst: Bool `{ return self->tm_isdst; `}
126 # Convert `self` to a human readable String.
127 fun asctime
: String import NativeString.to_s_with_copy
`{
128 return NativeString_to_s_with_copy( asctime(self) );
131 # Convert `self` to a human readable String corresponding to `format`.
132 # TODO document allowed format.
133 fun strftime
(format
: String): String import String.to_cstring
, NativeString.to_s
`{
134 char* buf, *c_format;
136 buf = (char*)malloc(100);
137 c_format = String_to_cstring(format);
139 strftime(buf, 100, c_format, self);
140 String s = NativeString_to_s_with_copy(buf);
145 redef fun to_s
do return asctime
.replace
("\n", "")
148 # Date using the international format defined by ISO 8601.
152 # # By default ISODate at today.
153 # var date = new ISODate
154 # var tm = new Tm.localtime
155 # assert date.year == tm.year + 1900
156 # assert date.month == tm.mon + 1
157 # assert date.day == tm.mday
159 # # ISODate can be initialized from a String.
160 # date = new ISODate.from_string("1970-01-01T00:00:00Z")
161 # assert date.year == 1970
162 # assert date.month == 1
163 # assert date.day == 1
165 # # ISODate can be printed as String following the ISO format.
166 # assert date.to_s == "1970-01-01T00:00:00Z"
168 # Note that only the `YYYY-MM-DDTHH:MM:SSZ` is supported for now.
170 # See <http://www.w3.org/QA/Tips/iso-date>
175 var year
: Int is noinit
177 # UTC months as Int (`1` for January).
178 var month
: Int is noinit
180 # UTC days as Int (starting at `1`).
181 var day
: Int is noinit
184 var hours
: Int is noinit
186 # UTC minutes as Int.
187 var minutes
: Int is noinit
189 # UTC seconds as Int.
190 var seconds
: Int is noinit
192 # UTC timezone marker.
194 # Note that I don't know what will happen if you change this value...
198 var t
= new Tm.localtime
207 # Init `self` from a ISODate formatted string.
208 init from_string
(str
: String) do
209 year
= str
.substring
(0, 4).to_i
210 month
= str
.substring
(5, 2).to_i
211 day
= str
.substring
(8, 2).to_i
212 hours
= str
.substring
(11, 2).to_i
213 minutes
= str
.substring
(14, 2).to_i
214 seconds
= str
.substring
(17, 2).to_i
215 timezone
= str
.substring
(19, str
.length
)
219 var buff
= new FlatBuffer
220 buff
.append year
.to_s
222 if month
< 10 then buff
.add
'0'
223 buff
.append month
.to_s
225 if day
< 10 then buff
.add
'0'
228 if hours
< 10 then buff
.add
'0'
229 buff
.append hours
.to_s
231 if minutes
< 10 then buff
.add
'0'
232 buff
.append minutes
.to_s
234 if seconds
< 10 then buff
.add
'0'
235 buff
.append seconds
.to_s
237 return buff
.write_to_string
240 redef type OTHER: ISODate
242 # TODO handle timezones
243 redef fun <(o
) do return to_s
< o
.to_s