9c6748b5fc3c3d99d147694d027314b696f02762
[WebKit-https.git] / Source / JavaScriptCore / wtf / DateMath.cpp
1 /*
2  * Copyright (C) 1999-2000 Harri Porten (porten@kde.org)
3  * Copyright (C) 2006, 2007 Apple Inc. All rights reserved.
4  * Copyright (C) 2009 Google Inc. All rights reserved.
5  * Copyright (C) 2007-2009 Torch Mobile, Inc.
6  * Copyright (C) 2010 &yet, LLC. (nate@andyet.net)
7  *
8  * The Original Code is Mozilla Communicator client code, released
9  * March 31, 1998.
10  *
11  * The Initial Developer of the Original Code is
12  * Netscape Communications Corporation.
13  * Portions created by the Initial Developer are Copyright (C) 1998
14  * the Initial Developer. All Rights Reserved.
15  *
16  * This library is free software; you can redistribute it and/or
17  * modify it under the terms of the GNU Lesser General Public
18  * License as published by the Free Software Foundation; either
19  * version 2.1 of the License, or (at your option) any later version.
20  *
21  * This library is distributed in the hope that it will be useful,
22  * but WITHOUT ANY WARRANTY; without even the implied warranty of
23  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
24  * Lesser General Public License for more details.
25  *
26  * You should have received a copy of the GNU Lesser General Public
27  * License along with this library; if not, write to the Free Software
28  * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
29  *
30  * Alternatively, the contents of this file may be used under the terms
31  * of either the Mozilla Public License Version 1.1, found at
32  * http://www.mozilla.org/MPL/ (the "MPL") or the GNU General Public
33  * License Version 2.0, found at http://www.fsf.org/copyleft/gpl.html
34  * (the "GPL"), in which case the provisions of the MPL or the GPL are
35  * applicable instead of those above.  If you wish to allow use of your
36  * version of this file only under the terms of one of those two
37  * licenses (the MPL or the GPL) and not to allow others to use your
38  * version of this file under the LGPL, indicate your decision by
39  * deletingthe provisions above and replace them with the notice and
40  * other provisions required by the MPL or the GPL, as the case may be.
41  * If you do not delete the provisions above, a recipient may use your
42  * version of this file under any of the LGPL, the MPL or the GPL.
43
44  * Copyright 2006-2008 the V8 project authors. All rights reserved.
45  * Redistribution and use in source and binary forms, with or without
46  * modification, are permitted provided that the following conditions are
47  * met:
48  *
49  *     * Redistributions of source code must retain the above copyright
50  *       notice, this list of conditions and the following disclaimer.
51  *     * Redistributions in binary form must reproduce the above
52  *       copyright notice, this list of conditions and the following
53  *       disclaimer in the documentation and/or other materials provided
54  *       with the distribution.
55  *     * Neither the name of Google Inc. nor the names of its
56  *       contributors may be used to endorse or promote products derived
57  *       from this software without specific prior written permission.
58  *
59  * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
60  * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
61  * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
62  * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
63  * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
64  * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
65  * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
66  * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
67  * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
68  * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
69  * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
70  */
71
72 #include "config.h"
73 #include "DateMath.h"
74
75 #include "Assertions.h"
76 #include "ASCIICType.h"
77 #include "CurrentTime.h"
78 #if USE(JSC)
79 #include "JSObject.h"
80 #endif
81 #include "MathExtras.h"
82 #if USE(JSC)
83 #include "ScopeChain.h"
84 #endif
85 #include "StdLibExtras.h"
86 #include "StringExtras.h"
87
88 #include <algorithm>
89 #include <limits.h>
90 #include <limits>
91 #include <stdint.h>
92 #include <time.h>
93 #include <wtf/text/StringBuilder.h>
94
95 #if HAVE(ERRNO_H)
96 #include <errno.h>
97 #endif
98
99 #if OS(WINCE)
100 extern "C" size_t strftime(char * const s, const size_t maxsize, const char * const format, const struct tm * const t);
101 extern "C" struct tm * localtime(const time_t *timer);
102 #endif
103
104 #if HAVE(SYS_TIME_H)
105 #include <sys/time.h>
106 #endif
107
108 #if HAVE(SYS_TIMEB_H)
109 #include <sys/timeb.h>
110 #endif
111
112 #if USE(JSC)
113 #include "CallFrame.h"
114 #endif
115
116 using namespace WTF;
117
118 namespace WTF {
119
120 /* Constants */
121
122 static const double minutesPerDay = 24.0 * 60.0;
123 static const double secondsPerDay = 24.0 * 60.0 * 60.0;
124 static const double secondsPerYear = 24.0 * 60.0 * 60.0 * 365.0;
125
126 static const double usecPerSec = 1000000.0;
127
128 static const double maxUnixTime = 2145859200.0; // 12/31/2037
129 // ECMAScript asks not to support for a date of which total
130 // millisecond value is larger than the following value.
131 // See 15.9.1.14 of ECMA-262 5th edition.
132 static const double maxECMAScriptTime = 8.64E15;
133
134 // Day of year for the first day of each month, where index 0 is January, and day 0 is January 1.
135 // First for non-leap years, then for leap years.
136 static const int firstDayOfMonth[2][12] = {
137     {0, 31, 59, 90, 120, 151, 181, 212, 243, 273, 304, 334},
138     {0, 31, 60, 91, 121, 152, 182, 213, 244, 274, 305, 335}
139 };
140
141 static inline bool isLeapYear(int year)
142 {
143     if (year % 4 != 0)
144         return false;
145     if (year % 400 == 0)
146         return true;
147     if (year % 100 == 0)
148         return false;
149     return true;
150 }
151
152 static inline int daysInYear(int year)
153 {
154     return 365 + isLeapYear(year);
155 }
156
157 static inline double daysFrom1970ToYear(int year)
158 {
159     // The Gregorian Calendar rules for leap years:
160     // Every fourth year is a leap year.  2004, 2008, and 2012 are leap years.
161     // However, every hundredth year is not a leap year.  1900 and 2100 are not leap years.
162     // Every four hundred years, there's a leap year after all.  2000 and 2400 are leap years.
163
164     static const int leapDaysBefore1971By4Rule = 1970 / 4;
165     static const int excludedLeapDaysBefore1971By100Rule = 1970 / 100;
166     static const int leapDaysBefore1971By400Rule = 1970 / 400;
167
168     const double yearMinusOne = year - 1;
169     const double yearsToAddBy4Rule = floor(yearMinusOne / 4.0) - leapDaysBefore1971By4Rule;
170     const double yearsToExcludeBy100Rule = floor(yearMinusOne / 100.0) - excludedLeapDaysBefore1971By100Rule;
171     const double yearsToAddBy400Rule = floor(yearMinusOne / 400.0) - leapDaysBefore1971By400Rule;
172
173     return 365.0 * (year - 1970) + yearsToAddBy4Rule - yearsToExcludeBy100Rule + yearsToAddBy400Rule;
174 }
175
176 static inline double msToDays(double ms)
177 {
178     return floor(ms / msPerDay);
179 }
180
181 static String twoDigitStringFromNumber(int number)
182 {
183     ASSERT(number >= 0 && number < 100);
184     if (number > 9)
185         return String::number(number);
186     return makeString("0", String::number(number));
187 }
188
189 int msToYear(double ms)
190 {
191     int approxYear = static_cast<int>(floor(ms / (msPerDay * 365.2425)) + 1970);
192     double msFromApproxYearTo1970 = msPerDay * daysFrom1970ToYear(approxYear);
193     if (msFromApproxYearTo1970 > ms)
194         return approxYear - 1;
195     if (msFromApproxYearTo1970 + msPerDay * daysInYear(approxYear) <= ms)
196         return approxYear + 1;
197     return approxYear;
198 }
199
200 int dayInYear(double ms, int year)
201 {
202     return static_cast<int>(msToDays(ms) - daysFrom1970ToYear(year));
203 }
204
205 static inline double msToMilliseconds(double ms)
206 {
207     double result = fmod(ms, msPerDay);
208     if (result < 0)
209         result += msPerDay;
210     return result;
211 }
212
213 // 0: Sunday, 1: Monday, etc.
214 static inline int msToWeekDay(double ms)
215 {
216     int wd = (static_cast<int>(msToDays(ms)) + 4) % 7;
217     if (wd < 0)
218         wd += 7;
219     return wd;
220 }
221
222 static inline int msToSeconds(double ms)
223 {
224     double result = fmod(floor(ms / msPerSecond), secondsPerMinute);
225     if (result < 0)
226         result += secondsPerMinute;
227     return static_cast<int>(result);
228 }
229
230 static inline int msToMinutes(double ms)
231 {
232     double result = fmod(floor(ms / msPerMinute), minutesPerHour);
233     if (result < 0)
234         result += minutesPerHour;
235     return static_cast<int>(result);
236 }
237
238 static inline int msToHours(double ms)
239 {
240     double result = fmod(floor(ms/msPerHour), hoursPerDay);
241     if (result < 0)
242         result += hoursPerDay;
243     return static_cast<int>(result);
244 }
245
246 int monthFromDayInYear(int dayInYear, bool leapYear)
247 {
248     const int d = dayInYear;
249     int step;
250
251     if (d < (step = 31))
252         return 0;
253     step += (leapYear ? 29 : 28);
254     if (d < step)
255         return 1;
256     if (d < (step += 31))
257         return 2;
258     if (d < (step += 30))
259         return 3;
260     if (d < (step += 31))
261         return 4;
262     if (d < (step += 30))
263         return 5;
264     if (d < (step += 31))
265         return 6;
266     if (d < (step += 31))
267         return 7;
268     if (d < (step += 30))
269         return 8;
270     if (d < (step += 31))
271         return 9;
272     if (d < (step += 30))
273         return 10;
274     return 11;
275 }
276
277 static inline bool checkMonth(int dayInYear, int& startDayOfThisMonth, int& startDayOfNextMonth, int daysInThisMonth)
278 {
279     startDayOfThisMonth = startDayOfNextMonth;
280     startDayOfNextMonth += daysInThisMonth;
281     return (dayInYear <= startDayOfNextMonth);
282 }
283
284 int dayInMonthFromDayInYear(int dayInYear, bool leapYear)
285 {
286     const int d = dayInYear;
287     int step;
288     int next = 30;
289
290     if (d <= next)
291         return d + 1;
292     const int daysInFeb = (leapYear ? 29 : 28);
293     if (checkMonth(d, step, next, daysInFeb))
294         return d - step;
295     if (checkMonth(d, step, next, 31))
296         return d - step;
297     if (checkMonth(d, step, next, 30))
298         return d - step;
299     if (checkMonth(d, step, next, 31))
300         return d - step;
301     if (checkMonth(d, step, next, 30))
302         return d - step;
303     if (checkMonth(d, step, next, 31))
304         return d - step;
305     if (checkMonth(d, step, next, 31))
306         return d - step;
307     if (checkMonth(d, step, next, 30))
308         return d - step;
309     if (checkMonth(d, step, next, 31))
310         return d - step;
311     if (checkMonth(d, step, next, 30))
312         return d - step;
313     step = next;
314     return d - step;
315 }
316
317 static inline int monthToDayInYear(int month, bool isLeapYear)
318 {
319     return firstDayOfMonth[isLeapYear][month];
320 }
321
322 static inline double timeToMS(double hour, double min, double sec, double ms)
323 {
324     return (((hour * minutesPerHour + min) * secondsPerMinute + sec) * msPerSecond + ms);
325 }
326
327 double dateToDaysFrom1970(int year, int month, int day)
328 {
329     year += month / 12;
330
331     month %= 12;
332     if (month < 0) {
333         month += 12;
334         --year;
335     }
336
337     double yearday = floor(daysFrom1970ToYear(year));
338     ASSERT((year >= 1970 && yearday >= 0) || (year < 1970 && yearday < 0));
339     int monthday = monthToDayInYear(month, isLeapYear(year));
340
341     return yearday + monthday + day - 1;
342 }
343
344 // There is a hard limit at 2038 that we currently do not have a workaround
345 // for (rdar://problem/5052975).
346 static inline int maximumYearForDST()
347 {
348     return 2037;
349 }
350
351 static inline int minimumYearForDST()
352 {
353     // Because of the 2038 issue (see maximumYearForDST) if the current year is
354     // greater than the max year minus 27 (2010), we want to use the max year
355     // minus 27 instead, to ensure there is a range of 28 years that all years
356     // can map to.
357     return std::min(msToYear(jsCurrentTime()), maximumYearForDST() - 27) ;
358 }
359
360 /*
361  * Find an equivalent year for the one given, where equivalence is deterined by
362  * the two years having the same leapness and the first day of the year, falling
363  * on the same day of the week.
364  *
365  * This function returns a year between this current year and 2037, however this
366  * function will potentially return incorrect results if the current year is after
367  * 2010, (rdar://problem/5052975), if the year passed in is before 1900 or after
368  * 2100, (rdar://problem/5055038).
369  */
370 int equivalentYearForDST(int year)
371 {
372     // It is ok if the cached year is not the current year as long as the rules
373     // for DST did not change between the two years; if they did the app would need
374     // to be restarted.
375     static int minYear = minimumYearForDST();
376     int maxYear = maximumYearForDST();
377
378     int difference;
379     if (year > maxYear)
380         difference = minYear - year;
381     else if (year < minYear)
382         difference = maxYear - year;
383     else
384         return year;
385
386     int quotient = difference / 28;
387     int product = (quotient) * 28;
388
389     year += product;
390     ASSERT((year >= minYear && year <= maxYear) || (product - year == static_cast<int>(std::numeric_limits<double>::quiet_NaN())));
391     return year;
392 }
393
394 int32_t calculateUTCOffset()
395 {
396     time_t localTime = time(0);
397     tm localt;
398     getLocalTime(&localTime, &localt);
399
400     // Get the difference between this time zone and UTC on the 1st of January of this year.
401     localt.tm_sec = 0;
402     localt.tm_min = 0;
403     localt.tm_hour = 0;
404     localt.tm_mday = 1;
405     localt.tm_mon = 0;
406     // Not setting localt.tm_year!
407     localt.tm_wday = 0;
408     localt.tm_yday = 0;
409     localt.tm_isdst = 0;
410 #if HAVE(TM_GMTOFF)
411     localt.tm_gmtoff = 0;
412 #endif
413 #if HAVE(TM_ZONE)
414     localt.tm_zone = 0;
415 #endif
416     
417 #if HAVE(TIMEGM)
418     time_t utcOffset = timegm(&localt) - mktime(&localt);
419 #else
420     // Using a canned date of 01/01/2009 on platforms with weaker date-handling foo.
421     localt.tm_year = 109;
422     time_t utcOffset = 1230768000 - mktime(&localt);
423 #endif
424
425     return static_cast<int32_t>(utcOffset * 1000);
426 }
427
428 /*
429  * Get the DST offset for the time passed in.
430  */
431 static double calculateDSTOffsetSimple(double localTimeSeconds, double utcOffset)
432 {
433     if (localTimeSeconds > maxUnixTime)
434         localTimeSeconds = maxUnixTime;
435     else if (localTimeSeconds < 0) // Go ahead a day to make localtime work (does not work with 0)
436         localTimeSeconds += secondsPerDay;
437
438     //input is UTC so we have to shift back to local time to determine DST thus the + getUTCOffset()
439     double offsetTime = (localTimeSeconds * msPerSecond) + utcOffset;
440
441     // Offset from UTC but doesn't include DST obviously
442     int offsetHour =  msToHours(offsetTime);
443     int offsetMinute =  msToMinutes(offsetTime);
444
445     // FIXME: time_t has a potential problem in 2038
446     time_t localTime = static_cast<time_t>(localTimeSeconds);
447
448     tm localTM;
449     getLocalTime(&localTime, &localTM);
450
451     double diff = ((localTM.tm_hour - offsetHour) * secondsPerHour) + ((localTM.tm_min - offsetMinute) * 60);
452
453     if (diff < 0)
454         diff += secondsPerDay;
455
456     return (diff * msPerSecond);
457 }
458
459 // Get the DST offset, given a time in UTC
460 double calculateDSTOffset(double ms, double utcOffset)
461 {
462     // On Mac OS X, the call to localtime (see calculateDSTOffsetSimple) will return historically accurate
463     // DST information (e.g. New Zealand did not have DST from 1946 to 1974) however the JavaScript
464     // standard explicitly dictates that historical information should not be considered when
465     // determining DST. For this reason we shift away from years that localtime can handle but would
466     // return historically accurate information.
467     int year = msToYear(ms);
468     int equivalentYear = equivalentYearForDST(year);
469     if (year != equivalentYear) {
470         bool leapYear = isLeapYear(year);
471         int dayInYearLocal = dayInYear(ms, year);
472         int dayInMonth = dayInMonthFromDayInYear(dayInYearLocal, leapYear);
473         int month = monthFromDayInYear(dayInYearLocal, leapYear);
474         double day = dateToDaysFrom1970(equivalentYear, month, dayInMonth);
475         ms = (day * msPerDay) + msToMilliseconds(ms);
476     }
477
478     return calculateDSTOffsetSimple(ms / msPerSecond, utcOffset);
479 }
480
481 void initializeDates()
482 {
483 #ifndef NDEBUG
484     static bool alreadyInitialized;
485     ASSERT(!alreadyInitialized);
486     alreadyInitialized = true;
487 #endif
488
489     equivalentYearForDST(2000); // Need to call once to initialize a static used in this function.
490 }
491
492 static inline double ymdhmsToSeconds(long year, int mon, int day, int hour, int minute, double second)
493 {
494     double days = (day - 32075)
495         + floor(1461 * (year + 4800.0 + (mon - 14) / 12) / 4)
496         + 367 * (mon - 2 - (mon - 14) / 12 * 12) / 12
497         - floor(3 * ((year + 4900.0 + (mon - 14) / 12) / 100) / 4)
498         - 2440588;
499     return ((days * hoursPerDay + hour) * minutesPerHour + minute) * secondsPerMinute + second;
500 }
501
502 // We follow the recommendation of RFC 2822 to consider all
503 // obsolete time zones not listed here equivalent to "-0000".
504 static const struct KnownZone {
505 #if !OS(WINDOWS)
506     const
507 #endif
508         char tzName[4];
509     int tzOffset;
510 } known_zones[] = {
511     { "UT", 0 },
512     { "GMT", 0 },
513     { "EST", -300 },
514     { "EDT", -240 },
515     { "CST", -360 },
516     { "CDT", -300 },
517     { "MST", -420 },
518     { "MDT", -360 },
519     { "PST", -480 },
520     { "PDT", -420 }
521 };
522
523 inline static void skipSpacesAndComments(const char*& s)
524 {
525     int nesting = 0;
526     char ch;
527     while ((ch = *s)) {
528         if (!isASCIISpace(ch)) {
529             if (ch == '(')
530                 nesting++;
531             else if (ch == ')' && nesting > 0)
532                 nesting--;
533             else if (nesting == 0)
534                 break;
535         }
536         s++;
537     }
538 }
539
540 // returns 0-11 (Jan-Dec); -1 on failure
541 static int findMonth(const char* monthStr)
542 {
543     ASSERT(monthStr);
544     char needle[4];
545     for (int i = 0; i < 3; ++i) {
546         if (!*monthStr)
547             return -1;
548         needle[i] = static_cast<char>(toASCIILower(*monthStr++));
549     }
550     needle[3] = '\0';
551     const char *haystack = "janfebmaraprmayjunjulaugsepoctnovdec";
552     const char *str = strstr(haystack, needle);
553     if (str) {
554         int position = static_cast<int>(str - haystack);
555         if (position % 3 == 0)
556             return position / 3;
557     }
558     return -1;
559 }
560
561 static bool parseLong(const char* string, char** stopPosition, int base, long* result)
562 {
563     *result = strtol(string, stopPosition, base);
564     // Avoid the use of errno as it is not available on Windows CE
565     if (string == *stopPosition || *result == LONG_MIN || *result == LONG_MAX)
566         return false;
567     return true;
568 }
569
570 double parseES5DateFromNullTerminatedCharacters(const char* dateString)
571 {
572     // This parses a date of the form defined in ECMA-262-5, section 15.9.1.15
573     // (similar to RFC 3339 / ISO 8601: YYYY-MM-DDTHH:mm:ss[.sss]Z).
574     // In most cases it is intentionally strict (e.g. correct field widths, no stray whitespace).
575     
576     static const long daysPerMonth[12] = { 31, 29, 31, 30, 31, 30, 31, 31, 30, 31, 30, 31 };
577     
578     const char* currentPosition = dateString;
579     char* postParsePosition;
580     
581     // This is a bit more lenient on the year string than ES5 specifies:
582     // instead of restricting to 4 digits (or 6 digits with mandatory +/-),
583     // it accepts any integer value. Consider this an implementation fallback.
584     long year;
585     if (!parseLong(currentPosition, &postParsePosition, 10, &year))
586         return std::numeric_limits<double>::quiet_NaN();
587     if (*postParsePosition != '-')
588         return std::numeric_limits<double>::quiet_NaN();
589     currentPosition = postParsePosition + 1;
590     
591     long month;
592     if (!isASCIIDigit(*currentPosition))
593         return std::numeric_limits<double>::quiet_NaN();
594     if (!parseLong(currentPosition, &postParsePosition, 10, &month))
595         return std::numeric_limits<double>::quiet_NaN();
596     if (*postParsePosition != '-' || (postParsePosition - currentPosition) != 2)
597         return std::numeric_limits<double>::quiet_NaN();
598     currentPosition = postParsePosition + 1;
599     
600     long day;
601     if (!isASCIIDigit(*currentPosition))
602         return std::numeric_limits<double>::quiet_NaN();
603     if (!parseLong(currentPosition, &postParsePosition, 10, &day))
604         return std::numeric_limits<double>::quiet_NaN();
605     if (*postParsePosition != 'T' || (postParsePosition - currentPosition) != 2)
606         return std::numeric_limits<double>::quiet_NaN();
607     currentPosition = postParsePosition + 1;
608     
609     long hours;
610     if (!isASCIIDigit(*currentPosition))
611         return std::numeric_limits<double>::quiet_NaN();
612     if (!parseLong(currentPosition, &postParsePosition, 10, &hours))
613         return std::numeric_limits<double>::quiet_NaN();
614     if (*postParsePosition != ':' || (postParsePosition - currentPosition) != 2)
615         return std::numeric_limits<double>::quiet_NaN();
616     currentPosition = postParsePosition + 1;
617     
618     long minutes;
619     if (!isASCIIDigit(*currentPosition))
620         return std::numeric_limits<double>::quiet_NaN();
621     if (!parseLong(currentPosition, &postParsePosition, 10, &minutes))
622         return std::numeric_limits<double>::quiet_NaN();
623     if (*postParsePosition != ':' || (postParsePosition - currentPosition) != 2)
624         return std::numeric_limits<double>::quiet_NaN();
625     currentPosition = postParsePosition + 1;
626     
627     long intSeconds;
628     if (!isASCIIDigit(*currentPosition))
629         return std::numeric_limits<double>::quiet_NaN();
630     if (!parseLong(currentPosition, &postParsePosition, 10, &intSeconds))
631         return std::numeric_limits<double>::quiet_NaN();
632     if ((postParsePosition - currentPosition) != 2)
633         return std::numeric_limits<double>::quiet_NaN();
634     
635     double seconds = intSeconds;
636     if (*postParsePosition == '.') {
637         currentPosition = postParsePosition + 1;
638         
639         // In ECMA-262-5 it's a bit unclear if '.' can be present without milliseconds, but
640         // a reasonable interpretation guided by the given examples and RFC 3339 says "no".
641         // We check the next character to avoid reading +/- timezone hours after an invalid decimal.
642         if (!isASCIIDigit(*currentPosition))
643             return std::numeric_limits<double>::quiet_NaN();
644         
645         // We are more lenient than ES5 by accepting more or less than 3 fraction digits.
646         long fracSeconds;
647         if (!parseLong(currentPosition, &postParsePosition, 10, &fracSeconds))
648             return std::numeric_limits<double>::quiet_NaN();
649         
650         long numFracDigits = postParsePosition - currentPosition;
651         seconds += fracSeconds * pow(10.0, static_cast<double>(-numFracDigits));
652     }
653     currentPosition = postParsePosition;
654     
655     // A few of these checks could be done inline above, but since many of them are interrelated
656     // we would be sacrificing readability to "optimize" the (presumably less common) failure path.
657     if (month < 1 || month > 12)
658         return std::numeric_limits<double>::quiet_NaN();
659     if (day < 1 || day > daysPerMonth[month - 1])
660         return std::numeric_limits<double>::quiet_NaN();
661     if (month == 2 && day > 28 && !isLeapYear(year))
662         return std::numeric_limits<double>::quiet_NaN();
663     if (hours < 0 || hours > 24)
664         return std::numeric_limits<double>::quiet_NaN();
665     if (hours == 24 && (minutes || seconds))
666         return std::numeric_limits<double>::quiet_NaN();
667     if (minutes < 0 || minutes > 59)
668         return std::numeric_limits<double>::quiet_NaN();
669     if (seconds < 0 || seconds >= 61)
670         return std::numeric_limits<double>::quiet_NaN();
671     if (seconds > 60) {
672         // Discard leap seconds by clamping to the end of a minute.
673         seconds = 60;
674     }
675     
676     long timeZoneSeconds = 0;
677     if (*currentPosition != 'Z') {
678         bool tzNegative;
679         if (*currentPosition == '-')
680             tzNegative = true;
681         else if (*currentPosition == '+')
682             tzNegative = false;
683         else
684             return std::numeric_limits<double>::quiet_NaN();
685         currentPosition += 1;
686         
687         long tzHours;
688         long tzHoursAbs;
689         long tzMinutes;
690         
691         if (!isASCIIDigit(*currentPosition))
692             return std::numeric_limits<double>::quiet_NaN();
693         if (!parseLong(currentPosition, &postParsePosition, 10, &tzHours))
694             return std::numeric_limits<double>::quiet_NaN();
695         if (*postParsePosition != ':' || (postParsePosition - currentPosition) != 2)
696             return std::numeric_limits<double>::quiet_NaN();
697         tzHoursAbs = labs(tzHours);
698         currentPosition = postParsePosition + 1;
699         
700         if (!isASCIIDigit(*currentPosition))
701             return std::numeric_limits<double>::quiet_NaN();
702         if (!parseLong(currentPosition, &postParsePosition, 10, &tzMinutes))
703             return std::numeric_limits<double>::quiet_NaN();
704         if ((postParsePosition - currentPosition) != 2)
705             return std::numeric_limits<double>::quiet_NaN();
706         currentPosition = postParsePosition;
707         
708         if (tzHoursAbs > 24)
709             return std::numeric_limits<double>::quiet_NaN();
710         if (tzMinutes < 0 || tzMinutes > 59)
711             return std::numeric_limits<double>::quiet_NaN();
712         
713         timeZoneSeconds = 60 * (tzMinutes + (60 * tzHoursAbs));
714         if (tzNegative)
715             timeZoneSeconds = -timeZoneSeconds;
716     } else {
717         currentPosition += 1;
718     }
719     if (*currentPosition)
720         return std::numeric_limits<double>::quiet_NaN();
721     
722     double dateSeconds = ymdhmsToSeconds(year, month, day, hours, minutes, seconds) - timeZoneSeconds;
723     return dateSeconds * msPerSecond;
724 }
725
726 // Odd case where 'exec' is allowed to be 0, to accomodate a caller in WebCore.
727 static double parseDateFromNullTerminatedCharacters(const char* dateString, bool& haveTZ, int& offset)
728 {
729     haveTZ = false;
730     offset = 0;
731
732     // This parses a date in the form:
733     //     Tuesday, 09-Nov-99 23:12:40 GMT
734     // or
735     //     Sat, 01-Jan-2000 08:00:00 GMT
736     // or
737     //     Sat, 01 Jan 2000 08:00:00 GMT
738     // or
739     //     01 Jan 99 22:00 +0100    (exceptions in rfc822/rfc2822)
740     // ### non RFC formats, added for Javascript:
741     //     [Wednesday] January 09 1999 23:12:40 GMT
742     //     [Wednesday] January 09 23:12:40 GMT 1999
743     //
744     // We ignore the weekday.
745      
746     // Skip leading space
747     skipSpacesAndComments(dateString);
748
749     long month = -1;
750     const char *wordStart = dateString;
751     // Check contents of first words if not number
752     while (*dateString && !isASCIIDigit(*dateString)) {
753         if (isASCIISpace(*dateString) || *dateString == '(') {
754             if (dateString - wordStart >= 3)
755                 month = findMonth(wordStart);
756             skipSpacesAndComments(dateString);
757             wordStart = dateString;
758         } else
759            dateString++;
760     }
761
762     // Missing delimiter between month and day (like "January29")?
763     if (month == -1 && wordStart != dateString)
764         month = findMonth(wordStart);
765
766     skipSpacesAndComments(dateString);
767
768     if (!*dateString)
769         return std::numeric_limits<double>::quiet_NaN();
770
771     // ' 09-Nov-99 23:12:40 GMT'
772     char* newPosStr;
773     long day;
774     if (!parseLong(dateString, &newPosStr, 10, &day))
775         return std::numeric_limits<double>::quiet_NaN();
776     dateString = newPosStr;
777
778     if (!*dateString)
779         return std::numeric_limits<double>::quiet_NaN();
780
781     if (day < 0)
782         return std::numeric_limits<double>::quiet_NaN();
783
784     long year = 0;
785     if (day > 31) {
786         // ### where is the boundary and what happens below?
787         if (*dateString != '/')
788             return std::numeric_limits<double>::quiet_NaN();
789         // looks like a YYYY/MM/DD date
790         if (!*++dateString)
791             return std::numeric_limits<double>::quiet_NaN();
792         year = day;
793         if (!parseLong(dateString, &newPosStr, 10, &month))
794             return std::numeric_limits<double>::quiet_NaN();
795         month -= 1;
796         dateString = newPosStr;
797         if (*dateString++ != '/' || !*dateString)
798             return std::numeric_limits<double>::quiet_NaN();
799         if (!parseLong(dateString, &newPosStr, 10, &day))
800             return std::numeric_limits<double>::quiet_NaN();
801         dateString = newPosStr;
802     } else if (*dateString == '/' && month == -1) {
803         dateString++;
804         // This looks like a MM/DD/YYYY date, not an RFC date.
805         month = day - 1; // 0-based
806         if (!parseLong(dateString, &newPosStr, 10, &day))
807             return std::numeric_limits<double>::quiet_NaN();
808         if (day < 1 || day > 31)
809             return std::numeric_limits<double>::quiet_NaN();
810         dateString = newPosStr;
811         if (*dateString == '/')
812             dateString++;
813         if (!*dateString)
814             return std::numeric_limits<double>::quiet_NaN();
815      } else {
816         if (*dateString == '-')
817             dateString++;
818
819         skipSpacesAndComments(dateString);
820
821         if (*dateString == ',')
822             dateString++;
823
824         if (month == -1) { // not found yet
825             month = findMonth(dateString);
826             if (month == -1)
827                 return std::numeric_limits<double>::quiet_NaN();
828
829             while (*dateString && *dateString != '-' && *dateString != ',' && !isASCIISpace(*dateString))
830                 dateString++;
831
832             if (!*dateString)
833                 return std::numeric_limits<double>::quiet_NaN();
834
835             // '-99 23:12:40 GMT'
836             if (*dateString != '-' && *dateString != '/' && *dateString != ',' && !isASCIISpace(*dateString))
837                 return std::numeric_limits<double>::quiet_NaN();
838             dateString++;
839         }
840     }
841
842     if (month < 0 || month > 11)
843         return std::numeric_limits<double>::quiet_NaN();
844
845     // '99 23:12:40 GMT'
846     if (year <= 0 && *dateString) {
847         if (!parseLong(dateString, &newPosStr, 10, &year))
848             return std::numeric_limits<double>::quiet_NaN();
849     }
850
851     // Don't fail if the time is missing.
852     long hour = 0;
853     long minute = 0;
854     long second = 0;
855     if (!*newPosStr)
856         dateString = newPosStr;
857     else {
858         // ' 23:12:40 GMT'
859         if (!(isASCIISpace(*newPosStr) || *newPosStr == ',')) {
860             if (*newPosStr != ':')
861                 return std::numeric_limits<double>::quiet_NaN();
862             // There was no year; the number was the hour.
863             year = -1;
864         } else {
865             // in the normal case (we parsed the year), advance to the next number
866             dateString = ++newPosStr;
867             skipSpacesAndComments(dateString);
868         }
869
870         parseLong(dateString, &newPosStr, 10, &hour);
871         // Do not check for errno here since we want to continue
872         // even if errno was set becasue we are still looking
873         // for the timezone!
874
875         // Read a number? If not, this might be a timezone name.
876         if (newPosStr != dateString) {
877             dateString = newPosStr;
878
879             if (hour < 0 || hour > 23)
880                 return std::numeric_limits<double>::quiet_NaN();
881
882             if (!*dateString)
883                 return std::numeric_limits<double>::quiet_NaN();
884
885             // ':12:40 GMT'
886             if (*dateString++ != ':')
887                 return std::numeric_limits<double>::quiet_NaN();
888
889             if (!parseLong(dateString, &newPosStr, 10, &minute))
890                 return std::numeric_limits<double>::quiet_NaN();
891             dateString = newPosStr;
892
893             if (minute < 0 || minute > 59)
894                 return std::numeric_limits<double>::quiet_NaN();
895
896             // ':40 GMT'
897             if (*dateString && *dateString != ':' && !isASCIISpace(*dateString))
898                 return std::numeric_limits<double>::quiet_NaN();
899
900             // seconds are optional in rfc822 + rfc2822
901             if (*dateString ==':') {
902                 dateString++;
903
904                 if (!parseLong(dateString, &newPosStr, 10, &second))
905                     return std::numeric_limits<double>::quiet_NaN();
906                 dateString = newPosStr;
907
908                 if (second < 0 || second > 59)
909                     return std::numeric_limits<double>::quiet_NaN();
910             }
911
912             skipSpacesAndComments(dateString);
913
914             if (strncasecmp(dateString, "AM", 2) == 0) {
915                 if (hour > 12)
916                     return std::numeric_limits<double>::quiet_NaN();
917                 if (hour == 12)
918                     hour = 0;
919                 dateString += 2;
920                 skipSpacesAndComments(dateString);
921             } else if (strncasecmp(dateString, "PM", 2) == 0) {
922                 if (hour > 12)
923                     return std::numeric_limits<double>::quiet_NaN();
924                 if (hour != 12)
925                     hour += 12;
926                 dateString += 2;
927                 skipSpacesAndComments(dateString);
928             }
929         }
930     }
931
932     // Don't fail if the time zone is missing. 
933     // Some websites omit the time zone (4275206).
934     if (*dateString) {
935         if (strncasecmp(dateString, "GMT", 3) == 0 || strncasecmp(dateString, "UTC", 3) == 0) {
936             dateString += 3;
937             haveTZ = true;
938         }
939
940         if (*dateString == '+' || *dateString == '-') {
941             long o;
942             if (!parseLong(dateString, &newPosStr, 10, &o))
943                 return std::numeric_limits<double>::quiet_NaN();
944             dateString = newPosStr;
945
946             if (o < -9959 || o > 9959)
947                 return std::numeric_limits<double>::quiet_NaN();
948
949             int sgn = (o < 0) ? -1 : 1;
950             o = labs(o);
951             if (*dateString != ':') {
952                 offset = ((o / 100) * 60 + (o % 100)) * sgn;
953             } else { // GMT+05:00
954                 long o2;
955                 if (!parseLong(dateString, &newPosStr, 10, &o2))
956                     return std::numeric_limits<double>::quiet_NaN();
957                 dateString = newPosStr;
958                 offset = (o * 60 + o2) * sgn;
959             }
960             haveTZ = true;
961         } else {
962             for (size_t i = 0; i < WTF_ARRAY_LENGTH(known_zones); ++i) {
963                 if (0 == strncasecmp(dateString, known_zones[i].tzName, strlen(known_zones[i].tzName))) {
964                     offset = known_zones[i].tzOffset;
965                     dateString += strlen(known_zones[i].tzName);
966                     haveTZ = true;
967                     break;
968                 }
969             }
970         }
971     }
972
973     skipSpacesAndComments(dateString);
974
975     if (*dateString && year == -1) {
976         if (!parseLong(dateString, &newPosStr, 10, &year))
977             return std::numeric_limits<double>::quiet_NaN();
978         dateString = newPosStr;
979     }
980
981     skipSpacesAndComments(dateString);
982
983     // Trailing garbage
984     if (*dateString)
985         return std::numeric_limits<double>::quiet_NaN();
986
987     // Y2K: Handle 2 digit years.
988     if (year >= 0 && year < 100) {
989         if (year < 50)
990             year += 2000;
991         else
992             year += 1900;
993     }
994     
995     return ymdhmsToSeconds(year, month + 1, day, hour, minute, second) * msPerSecond;
996 }
997
998 double parseDateFromNullTerminatedCharacters(const char* dateString)
999 {
1000     bool haveTZ;
1001     int offset;
1002     double ms = parseDateFromNullTerminatedCharacters(dateString, haveTZ, offset);
1003     if (isnan(ms))
1004         return std::numeric_limits<double>::quiet_NaN();
1005
1006     // fall back to local timezone
1007     if (!haveTZ) {
1008         double utcOffset = calculateUTCOffset();
1009         double dstOffset = calculateDSTOffset(ms, utcOffset);
1010         offset = static_cast<int>((utcOffset + dstOffset) / msPerMinute);
1011     }
1012     return ms - (offset * msPerMinute);
1013 }
1014
1015 double timeClip(double t)
1016 {
1017     if (!isfinite(t))
1018         return std::numeric_limits<double>::quiet_NaN();
1019     if (fabs(t) > maxECMAScriptTime)
1020         return std::numeric_limits<double>::quiet_NaN();
1021     return trunc(t);
1022 }
1023
1024 // See http://tools.ietf.org/html/rfc2822#section-3.3 for more information.
1025 String makeRFC2822DateString(unsigned dayOfWeek, unsigned day, unsigned month, unsigned year, unsigned hours, unsigned minutes, unsigned seconds, int utcOffset)
1026 {
1027     StringBuilder stringBuilder;
1028     stringBuilder.append(weekdayName[dayOfWeek]);
1029     stringBuilder.append(", ");
1030     stringBuilder.append(String::number(day));
1031     stringBuilder.append(" ");
1032     stringBuilder.append(monthName[month]);
1033     stringBuilder.append(" ");
1034     stringBuilder.append(String::number(year));
1035     stringBuilder.append(" ");
1036
1037     stringBuilder.append(twoDigitStringFromNumber(hours));
1038     stringBuilder.append(':');
1039     stringBuilder.append(twoDigitStringFromNumber(minutes));
1040     stringBuilder.append(':');
1041     stringBuilder.append(twoDigitStringFromNumber(seconds));
1042     stringBuilder.append(' ');
1043
1044     stringBuilder.append(utcOffset > 0 ? "+" : "-");
1045     int absoluteUTCOffset = abs(utcOffset);
1046     stringBuilder.append(twoDigitStringFromNumber(absoluteUTCOffset / 60));
1047     stringBuilder.append(twoDigitStringFromNumber(absoluteUTCOffset % 60));
1048
1049     return stringBuilder.toString();
1050 }
1051 } // namespace WTF
1052
1053 #if USE(JSC)
1054 namespace JSC {
1055
1056 // Get the DST offset for the time passed in.
1057 //
1058 // NOTE: The implementation relies on the fact that no time zones have
1059 // more than one daylight savings offset change per month.
1060 // If this function is called with NaN it returns NaN.
1061 static double getDSTOffset(ExecState* exec, double ms, double utcOffset)
1062 {
1063     DSTOffsetCache& cache = exec->globalData().dstOffsetCache;
1064     double start = cache.start;
1065     double end = cache.end;
1066
1067     if (start <= ms) {
1068         // If the time fits in the cached interval, return the cached offset.
1069         if (ms <= end) return cache.offset;
1070
1071         // Compute a possible new interval end.
1072         double newEnd = end + cache.increment;
1073
1074         if (ms <= newEnd) {
1075             double endOffset = calculateDSTOffset(newEnd, utcOffset);
1076             if (cache.offset == endOffset) {
1077                 // If the offset at the end of the new interval still matches
1078                 // the offset in the cache, we grow the cached time interval
1079                 // and return the offset.
1080                 cache.end = newEnd;
1081                 cache.increment = msPerMonth;
1082                 return endOffset;
1083             } else {
1084                 double offset = calculateDSTOffset(ms, utcOffset);
1085                 if (offset == endOffset) {
1086                     // The offset at the given time is equal to the offset at the
1087                     // new end of the interval, so that means that we've just skipped
1088                     // the point in time where the DST offset change occurred. Updated
1089                     // the interval to reflect this and reset the increment.
1090                     cache.start = ms;
1091                     cache.end = newEnd;
1092                     cache.increment = msPerMonth;
1093                 } else {
1094                     // The interval contains a DST offset change and the given time is
1095                     // before it. Adjust the increment to avoid a linear search for
1096                     // the offset change point and change the end of the interval.
1097                     cache.increment /= 3;
1098                     cache.end = ms;
1099                 }
1100                 // Update the offset in the cache and return it.
1101                 cache.offset = offset;
1102                 return offset;
1103             }
1104         }
1105     }
1106
1107     // Compute the DST offset for the time and shrink the cache interval
1108     // to only contain the time. This allows fast repeated DST offset
1109     // computations for the same time.
1110     double offset = calculateDSTOffset(ms, utcOffset);
1111     cache.offset = offset;
1112     cache.start = ms;
1113     cache.end = ms;
1114     cache.increment = msPerMonth;
1115     return offset;
1116 }
1117
1118 /*
1119  * Get the difference in milliseconds between this time zone and UTC (GMT)
1120  * NOT including DST.
1121  */
1122 double getUTCOffset(ExecState* exec)
1123 {
1124     double utcOffset = exec->globalData().cachedUTCOffset;
1125     if (!isnan(utcOffset))
1126         return utcOffset;
1127     exec->globalData().cachedUTCOffset = calculateUTCOffset();
1128     return exec->globalData().cachedUTCOffset;
1129 }
1130
1131 double gregorianDateTimeToMS(ExecState* exec, const GregorianDateTime& t, double milliSeconds, bool inputIsUTC)
1132 {
1133     double day = dateToDaysFrom1970(t.year + 1900, t.month, t.monthDay);
1134     double ms = timeToMS(t.hour, t.minute, t.second, milliSeconds);
1135     double result = (day * WTF::msPerDay) + ms;
1136
1137     if (!inputIsUTC) { // convert to UTC
1138         double utcOffset = getUTCOffset(exec);
1139         result -= utcOffset;
1140         result -= getDSTOffset(exec, result, utcOffset);
1141     }
1142
1143     return result;
1144 }
1145
1146 // input is UTC
1147 void msToGregorianDateTime(ExecState* exec, double ms, bool outputIsUTC, GregorianDateTime& tm)
1148 {
1149     double dstOff = 0.0;
1150     double utcOff = 0.0;
1151     if (!outputIsUTC) {
1152         utcOff = getUTCOffset(exec);
1153         dstOff = getDSTOffset(exec, ms, utcOff);
1154         ms += dstOff + utcOff;
1155     }
1156
1157     const int year = msToYear(ms);
1158     tm.second   =  msToSeconds(ms);
1159     tm.minute   =  msToMinutes(ms);
1160     tm.hour     =  msToHours(ms);
1161     tm.weekDay  =  msToWeekDay(ms);
1162     tm.yearDay  =  dayInYear(ms, year);
1163     tm.monthDay =  dayInMonthFromDayInYear(tm.yearDay, isLeapYear(year));
1164     tm.month    =  monthFromDayInYear(tm.yearDay, isLeapYear(year));
1165     tm.year     =  year - 1900;
1166     tm.isDST    =  dstOff != 0.0;
1167     tm.utcOffset = static_cast<long>((dstOff + utcOff) / WTF::msPerSecond);
1168     tm.timeZone = nullptr;
1169 }
1170
1171 double parseDateFromNullTerminatedCharacters(ExecState* exec, const char* dateString)
1172 {
1173     ASSERT(exec);
1174     bool haveTZ;
1175     int offset;
1176     double ms = WTF::parseDateFromNullTerminatedCharacters(dateString, haveTZ, offset);
1177     if (isnan(ms))
1178         return std::numeric_limits<double>::quiet_NaN();
1179
1180     // fall back to local timezone
1181     if (!haveTZ) {
1182         double utcOffset = getUTCOffset(exec);
1183         double dstOffset = getDSTOffset(exec, ms, utcOffset);
1184         offset = static_cast<int>((utcOffset + dstOffset) / WTF::msPerMinute);
1185     }
1186     return ms - (offset * WTF::msPerMinute);
1187 }
1188
1189 } // namespace JSC
1190 #endif // USE(JSC)