tests/exceptionFuzz/date-format-xparb.js

   1 try {
   2
   3 /*
   4  * Copyright (C) 2004 Baron Schwartz <baron at sequent dot org>
   5  *
   6  * This program is free software; you can redistribute it and/or modify it
   7  * under the terms of the GNU Lesser General Public License as published by the
   8  * Free Software Foundation, version 2.1.
   9  *
  10  * This program is distributed in the hope that it will be useful, but WITHOUT
  11  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
  12  * FOR A PARTICULAR PURPOSE.  See the GNU Lesser General Public License for more
  13  * details.
  14  */
  15
  16 enableExceptionFuzz();
  17
  18
  19 Date.parseFunctions = {count:0};
  20 Date.parseRegexes = [];
  21 Date.formatFunctions = {count:0};
  22
  23 Date.prototype.dateFormat = function(format) {
  24     if (Date.formatFunctions[format] == null) {
  25         Date.createNewFormat(format);
  26     }
  27     var func = Date.formatFunctions[format];
  28     return this[func]();
  29 }
  30
  31 Date.createNewFormat = function(format) {
  32     var funcName = "format" + Date.formatFunctions.count++;
  33     Date.formatFunctions[format] = funcName;
  34     var code = "Date.prototype." + funcName + " = function(){return ";
  35     var special = false;
  36     var ch = '';
  37     for (var i = 0; i < format.length; ++i) {
  38         ch = format.charAt(i);
  39         if (!special && ch == "\\") {
  40             special = true;
  41         }
  42         else if (special) {
  43             special = false;
  44             code += "'" + String.escape(ch) + "' + ";
  45         }
  46         else {
  47             code += Date.getFormatCode(ch);
  48         }
  49     }
  50     eval(code.substring(0, code.length - 3) + ";}");
  51 }
  52
  53 Date.getFormatCode = function(character) {
  54     switch (character) {
  55     case "d":
  56         return "String.leftPad(this.getDate(), 2, '0') + ";
  57     case "D":
  58         return "Date.dayNames[this.getDay()].substring(0, 3) + ";
  59     case "j":
  60         return "this.getDate() + ";
  61     case "l":
  62         return "Date.dayNames[this.getDay()] + ";
  63     case "S":
  64         return "this.getSuffix() + ";
  65     case "w":
  66         return "this.getDay() + ";
  67     case "z":
  68         return "this.getDayOfYear() + ";
  69     case "W":
  70         return "this.getWeekOfYear() + ";
  71     case "F":
  72         return "Date.monthNames[this.getMonth()] + ";
  73     case "m":
  74         return "String.leftPad(this.getMonth() + 1, 2, '0') + ";
  75     case "M":
  76         return "Date.monthNames[this.getMonth()].substring(0, 3) + ";
  77     case "n":
  78         return "(this.getMonth() + 1) + ";
  79     case "t":
  80         return "this.getDaysInMonth() + ";
  81     case "L":
  82         return "(this.isLeapYear() ? 1 : 0) + ";
  83     case "Y":
  84         return "this.getFullYear() + ";
  85     case "y":
  86         return "('' + this.getFullYear()).substring(2, 4) + ";
  87     case "a":
  88         return "(this.getHours() < 12 ? 'am' : 'pm') + ";
  89     case "A":
  90         return "(this.getHours() < 12 ? 'AM' : 'PM') + ";
  91     case "g":
  92         return "((this.getHours() %12) ? this.getHours() % 12 : 12) + ";
  93     case "G":
  94         return "this.getHours() + ";
  95     case "h":
  96         return "String.leftPad((this.getHours() %12) ? this.getHours() % 12 : 12, 2, '0') + ";
  97     case "H":
  98         return "String.leftPad(this.getHours(), 2, '0') + ";
  99     case "i":
 100         return "String.leftPad(this.getMinutes(), 2, '0') + ";
 101     case "s":
 102         return "String.leftPad(this.getSeconds(), 2, '0') + ";
 103     case "O":
 104         return "this.getGMTOffset() + ";
 105     case "T":
 106         return "this.getTimezone() + ";
 107     case "Z":
 108         return "(this.getTimezoneOffset() * -60) + ";
 109     default:
 110         return "'" + String.escape(character) + "' + ";
 111     }
 112 }
 113
 114 Date.parseDate = function(input, format) {
 115     if (Date.parseFunctions[format] == null) {
 116         Date.createParser(format);
 117     }
 118     var func = Date.parseFunctions[format];
 119     return Date[func](input);
 120 }
 121
 122 Date.createParser = function(format) {
 123     var funcName = "parse" + Date.parseFunctions.count++;
 124     var regexNum = Date.parseRegexes.length;
 125     var currentGroup = 1;
 126     Date.parseFunctions[format] = funcName;
 127
 128     var code = "Date." + funcName + " = function(input){\n"
 129         + "var y = -1, m = -1, d = -1, h = -1, i = -1, s = -1;\n"
 130         + "var d = new Date();\n"
 131         + "y = d.getFullYear();\n"
 132         + "m = d.getMonth();\n"
 133         + "d = d.getDate();\n"
 134         + "var results = input.match(Date.parseRegexes[" + regexNum + "]);\n"
 135         + "if (results && results.length > 0) {"
 136     var regex = "";
 137
 138     var special = false;
 139     var ch = '';
 140     for (var i = 0; i < format.length; ++i) {
 141         ch = format.charAt(i);
 142         if (!special && ch == "\\") {
 143             special = true;
 144         }
 145         else if (special) {
 146             special = false;
 147             regex += String.escape(ch);
 148         }
 149         else {
 150             obj = Date.formatCodeToRegex(ch, currentGroup);
 151             currentGroup += obj.g;
 152             regex += obj.s;
 153             if (obj.g && obj.c) {
 154                 code += obj.c;
 155             }
 156         }
 157     }
 158
 159     code += "if (y > 0 && m >= 0 && d > 0 && h >= 0 && i >= 0 && s >= 0)\n"
 160         + "{return new Date(y, m, d, h, i, s);}\n"
 161         + "else if (y > 0 && m >= 0 && d > 0 && h >= 0 && i >= 0)\n"
 162         + "{return new Date(y, m, d, h, i);}\n"
 163         + "else if (y > 0 && m >= 0 && d > 0 && h >= 0)\n"
 164         + "{return new Date(y, m, d, h);}\n"
 165         + "else if (y > 0 && m >= 0 && d > 0)\n"
 166         + "{return new Date(y, m, d);}\n"
 167         + "else if (y > 0 && m >= 0)\n"
 168         + "{return new Date(y, m);}\n"
 169         + "else if (y > 0)\n"
 170         + "{return new Date(y);}\n"
 171         + "}return null;}";
 172
 173     Date.parseRegexes[regexNum] = new RegExp("^" + regex + "$");
 174     eval(code);
 175 }
 176
 177 Date.formatCodeToRegex = function(character, currentGroup) {
 178     switch (character) {
 179     case "D":
 180         return {g:0,
 181         c:null,
 182         s:"(?:Sun|Mon|Tue|Wed|Thu|Fri|Sat)"};
 183     case "j":
 184     case "d":
 185         return {g:1,
 186             c:"d = parseInt(results[" + currentGroup + "], 10);\n",
 187             s:"(\\d{1,2})"};
 188     case "l":
 189         return {g:0,
 190             c:null,
 191             s:"(?:" + Date.dayNames.join("|") + ")"};
 192     case "S":
 193         return {g:0,
 194             c:null,
 195             s:"(?:st|nd|rd|th)"};
 196     case "w":
 197         return {g:0,
 198             c:null,
 199             s:"\\d"};
 200     case "z":
 201         return {g:0,
 202             c:null,
 203             s:"(?:\\d{1,3})"};
 204     case "W":
 205         return {g:0,
 206             c:null,
 207             s:"(?:\\d{2})"};
 208     case "F":
 209         return {g:1,
 210             c:"m = parseInt(Date.monthNumbers[results[" + currentGroup + "].substring(0, 3)], 10);\n",
 211             s:"(" + Date.monthNames.join("|") + ")"};
 212     case "M":
 213         return {g:1,
 214             c:"m = parseInt(Date.monthNumbers[results[" + currentGroup + "]], 10);\n",
 215             s:"(Jan|Feb|Mar|Apr|May|Jun|Jul|Aug|Sep|Oct|Nov|Dec)"};
 216     case "n":
 217     case "m":
 218         return {g:1,
 219             c:"m = parseInt(results[" + currentGroup + "], 10) - 1;\n",
 220             s:"(\\d{1,2})"};
 221     case "t":
 222         return {g:0,
 223             c:null,
 224             s:"\\d{1,2}"};
 225     case "L":
 226         return {g:0,
 227             c:null,
 228             s:"(?:1|0)"};
 229     case "Y":
 230         return {g:1,
 231             c:"y = parseInt(results[" + currentGroup + "], 10);\n",
 232             s:"(\\d{4})"};
 233     case "y":
 234         return {g:1,
 235             c:"var ty = parseInt(results[" + currentGroup + "], 10);\n"
 236                 + "y = ty > Date.y2kYear ? 1900 + ty : 2000 + ty;\n",
 237             s:"(\\d{1,2})"};
 238     case "a":
 239         return {g:1,
 240             c:"if (results[" + currentGroup + "] == 'am') {\n"
 241                 + "if (h == 12) { h = 0; }\n"
 242                 + "} else { if (h < 12) { h += 12; }}",
 243             s:"(am|pm)"};
 244     case "A":
 245         return {g:1,
 246             c:"if (results[" + currentGroup + "] == 'AM') {\n"
 247                 + "if (h == 12) { h = 0; }\n"
 248                 + "} else { if (h < 12) { h += 12; }}",
 249             s:"(AM|PM)"};
 250     case "g":
 251     case "G":
 252     case "h":
 253     case "H":
 254         return {g:1,
 255             c:"h = parseInt(results[" + currentGroup + "], 10);\n",
 256             s:"(\\d{1,2})"};
 257     case "i":
 258         return {g:1,
 259             c:"i = parseInt(results[" + currentGroup + "], 10);\n",
 260             s:"(\\d{2})"};
 261     case "s":
 262         return {g:1,
 263             c:"s = parseInt(results[" + currentGroup + "], 10);\n",
 264             s:"(\\d{2})"};
 265     case "O":
 266         return {g:0,
 267             c:null,
 268             s:"[+-]\\d{4}"};
 269     case "T":
 270         return {g:0,
 271             c:null,
 272             s:"[A-Z]{3}"};
 273     case "Z":
 274         return {g:0,
 275             c:null,
 276             s:"[+-]\\d{1,5}"};
 277     default:
 278         return {g:0,
 279             c:null,
 280             s:String.escape(character)};
 281     }
 282 }
 283
 284 Date.prototype.getTimezone = function() {
 285     return this.toString().replace(
 286         /^.*? ([A-Z]{3}) [0-9]{4}.*$/, "$1").replace(
 287         /^.*?\(([A-Z])[a-z]+ ([A-Z])[a-z]+ ([A-Z])[a-z]+\)$/, "$1$2$3");
 288 }
 289
 290 Date.prototype.getGMTOffset = function() {
 291     return (this.getTimezoneOffset() > 0 ? "-" : "+")
 292         + String.leftPad(Math.floor(this.getTimezoneOffset() / 60), 2, "0")
 293         + String.leftPad(this.getTimezoneOffset() % 60, 2, "0");
 294 }
 295
 296 Date.prototype.getDayOfYear = function() {
 297     var num = 0;
 298     Date.daysInMonth[1] = this.isLeapYear() ? 29 : 28;
 299     for (var i = 0; i < this.getMonth(); ++i) {
 300         num += Date.daysInMonth[i];
 301     }
 302     return num + this.getDate() - 1;
 303 }
 304
 305 Date.prototype.getWeekOfYear = function() {
 306     // Skip to Thursday of this week
 307     var now = this.getDayOfYear() + (4 - this.getDay());
 308     // Find the first Thursday of the year
 309     var jan1 = new Date(this.getFullYear(), 0, 1);
 310     var then = (7 - jan1.getDay() + 4);
 311     document.write(then);
 312     return String.leftPad(((now - then) / 7) + 1, 2, "0");
 313 }
 314
 315 Date.prototype.isLeapYear = function() {
 316     var year = this.getFullYear();
 317     return ((year & 3) == 0 && (year % 100 || (year % 400 == 0 && year)));
 318 }
 319
 320 Date.prototype.getFirstDayOfMonth = function() {
 321     var day = (this.getDay() - (this.getDate() - 1)) % 7;
 322     return (day < 0) ? (day + 7) : day;
 323 }
 324
 325 Date.prototype.getLastDayOfMonth = function() {
 326     var day = (this.getDay() + (Date.daysInMonth[this.getMonth()] - this.getDate())) % 7;
 327     return (day < 0) ? (day + 7) : day;
 328 }
 329
 330 Date.prototype.getDaysInMonth = function() {
 331     Date.daysInMonth[1] = this.isLeapYear() ? 29 : 28;
 332     return Date.daysInMonth[this.getMonth()];
 333 }
 334
 335 Date.prototype.getSuffix = function() {
 336     switch (this.getDate()) {
 337         case 1:
 338         case 21:
 339         case 31:
 340             return "st";
 341         case 2:
 342         case 22:
 343             return "nd";
 344         case 3:
 345         case 23:
 346             return "rd";
 347         default:
 348             return "th";
 349     }
 350 }
 351
 352 String.escape = function(string) {
 353     return string.replace(/('|\\)/g, "\\$1");
 354 }
 355
 356 String.leftPad = function (val, size, ch) {
 357     var result = new String(val);
 358     if (ch == null) {
 359         ch = " ";
 360     }
 361     while (result.length < size) {
 362         result = ch + result;
 363     }
 364     return result;
 365 }
 366
 367 Date.daysInMonth = [31,28,31,30,31,30,31,31,30,31,30,31];
 368 Date.monthNames =
 369    ["January",
 370     "February",
 371     "March",
 372     "April",
 373     "May",
 374     "June",
 375     "July",
 376     "August",
 377     "September",
 378     "October",
 379     "November",
 380     "December"];
 381 Date.dayNames =
 382    ["Sunday",
 383     "Monday",
 384     "Tuesday",
 385     "Wednesday",
 386     "Thursday",
 387     "Friday",
 388     "Saturday"];
 389 Date.y2kYear = 50;
 390 Date.monthNumbers = {
 391     Jan:0,
 392     Feb:1,
 393     Mar:2,
 394     Apr:3,
 395     May:4,
 396     Jun:5,
 397     Jul:6,
 398     Aug:7,
 399     Sep:8,
 400     Oct:9,
 401     Nov:10,
 402     Dec:11};
 403 Date.patterns = {
 404     ISO8601LongPattern:"Y-m-d H:i:s",
 405     ISO8601ShortPattern:"Y-m-d",
 406     ShortDatePattern: "n/j/Y",
 407     LongDatePattern: "l, F d, Y",
 408     FullDateTimePattern: "l, F d, Y g:i:s A",
 409     MonthDayPattern: "F d",
 410     ShortTimePattern: "g:i A",
 411     LongTimePattern: "g:i:s A",
 412     SortableDateTimePattern: "Y-m-d\\TH:i:s",
 413     UniversalSortableDateTimePattern: "Y-m-d H:i:sO",
 414     YearMonthPattern: "F, Y"};
 415
 416 var date = new Date("1/1/2007 1:11:11");
 417
 418 for (i = 0; i < 4000; ++i) {
 419     var shortFormat = date.dateFormat("Y-m-d");
 420     var longFormat = date.dateFormat("l, F d, Y g:i:s A");
 421     date.setTime(date.getTime() + 84266956);
 422 }
 423
 424 // FIXME: Find a way to validate this test.
 425 // https://bugs.webkit.org/show_bug.cgi?id=114849
 426
 427 } catch (e) {
 428     print("JSC EXCEPTION FUZZ: Caught exception: " + e);
 429 }