services/sync/tps/extensions/mozmill/resource/stdlib/json2.js

Wed, 31 Dec 2014 07:53:36 +0100

author
Michael Schloh von Bennewitz <michael@schloh.com>
date
Wed, 31 Dec 2014 07:53:36 +0100
branch
TOR_BUG_3246
changeset 5
4ab42b5ab56c
permissions
-rw-r--r--

Correct small whitespace inconsistency, lost while renaming variables.

     1 /*
     2     http://www.JSON.org/json2.js
     3     2008-05-25
     5     Public Domain.
     7     NO WARRANTY EXPRESSED OR IMPLIED. USE AT YOUR OWN RISK.
     9     See http://www.JSON.org/js.html
    11     This file creates a global JSON object containing two methods: stringify
    12     and parse.
    14         JSON.stringify(value, replacer, space)
    15             value       any JavaScript value, usually an object or array.
    17             replacer    an optional parameter that determines how object
    18                         values are stringified for objects without a toJSON
    19                         method. It can be a function or an array.
    21             space       an optional parameter that specifies the indentation
    22                         of nested structures. If it is omitted, the text will
    23                         be packed without extra whitespace. If it is a number,
    24                         it will specify the number of spaces to indent at each
    25                         level. If it is a string (such as '\t' or '&nbsp;'),
    26                         it contains the characters used to indent at each level.
    28             This method produces a JSON text from a JavaScript value.
    30             When an object value is found, if the object contains a toJSON
    31             method, its toJSON method will be called and the result will be
    32             stringified. A toJSON method does not serialize: it returns the
    33             value represented by the name/value pair that should be serialized,
    34             or undefined if nothing should be serialized. The toJSON method
    35             will be passed the key associated with the value, and this will be
    36             bound to the object holding the key.
    38             For example, this would serialize Dates as ISO strings.
    40                 Date.prototype.toJSON = function (key) {
    41                     function f(n) {
    42                         // Format integers to have at least two digits.
    43                         return n < 10 ? '0' + n : n;
    44                     }
    46                     return this.getUTCFullYear()   + '-' +
    47                          f(this.getUTCMonth() + 1) + '-' +
    48                          f(this.getUTCDate())      + 'T' +
    49                          f(this.getUTCHours())     + ':' +
    50                          f(this.getUTCMinutes())   + ':' +
    51                          f(this.getUTCSeconds())   + 'Z';
    52                 };
    54             You can provide an optional replacer method. It will be passed the
    55             key and value of each member, with this bound to the containing
    56             object. The value that is returned from your method will be
    57             serialized. If your method returns undefined, then the member will
    58             be excluded from the serialization.
    60             If the replacer parameter is an array, then it will be used to
    61             select the members to be serialized. It filters the results such
    62             that only members with keys listed in the replacer array are
    63             stringified.
    65             Values that do not have JSON representations, such as undefined or
    66             functions, will not be serialized. Such values in objects will be
    67             dropped; in arrays they will be replaced with null. You can use
    68             a replacer function to replace those with JSON values.
    69             JSON.stringify(undefined) returns undefined.
    71             The optional space parameter produces a stringification of the
    72             value that is filled with line breaks and indentation to make it
    73             easier to read.
    75             If the space parameter is a non-empty string, then that string will
    76             be used for indentation. If the space parameter is a number, then
    77             the indentation will be that many spaces.
    79             Example:
    81             text = JSON.stringify(['e', {pluribus: 'unum'}]);
    82             // text is '["e",{"pluribus":"unum"}]'
    85             text = JSON.stringify(['e', {pluribus: 'unum'}], null, '\t');
    86             // text is '[\n\t"e",\n\t{\n\t\t"pluribus": "unum"\n\t}\n]'
    88             text = JSON.stringify([new Date()], function (key, value) {
    89                 return this[key] instanceof Date ?
    90                     'Date(' + this[key] + ')' : value;
    91             });
    92             // text is '["Date(---current time---)"]'
    95         JSON.parse(text, reviver)
    96             This method parses a JSON text to produce an object or array.
    97             It can throw a SyntaxError exception.
    99             The optional reviver parameter is a function that can filter and
   100             transform the results. It receives each of the keys and values,
   101             and its return value is used instead of the original value.
   102             If it returns what it received, then the structure is not modified.
   103             If it returns undefined then the member is deleted.
   105             Example:
   107             // Parse the text. Values that look like ISO date strings will
   108             // be converted to Date objects.
   110             myData = JSON.parse(text, function (key, value) {
   111                 var a;
   112                 if (typeof value === 'string') {
   113                     a =
   114 /^(\d{4})-(\d{2})-(\d{2})T(\d{2}):(\d{2}):(\d{2}(?:\.\d*)?)Z$/.exec(value);
   115                     if (a) {
   116                         return new Date(Date.UTC(+a[1], +a[2] - 1, +a[3], +a[4],
   117                             +a[5], +a[6]));
   118                     }
   119                 }
   120                 return value;
   121             });
   123             myData = JSON.parse('["Date(09/09/2001)"]', function (key, value) {
   124                 var d;
   125                 if (typeof value === 'string' &&
   126                         value.slice(0, 5) === 'Date(' &&
   127                         value.slice(-1) === ')') {
   128                     d = new Date(value.slice(5, -1));
   129                     if (d) {
   130                         return d;
   131                     }
   132                 }
   133                 return value;
   134             });
   137     This is a reference implementation. You are free to copy, modify, or
   138     redistribute.
   140     This code should be minified before deployment.
   141     See http://javascript.crockford.com/jsmin.html
   143     USE YOUR OWN COPY. IT IS EXTREMELY UNWISE TO LOAD CODE FROM SERVERS YOU DO
   144     NOT CONTROL.
   145 */
   147 /*jslint evil: true */
   149 /*global JSON */
   151 /*members "", "\b", "\t", "\n", "\f", "\r", "\"", JSON, "\\", call,
   152     charCodeAt, getUTCDate, getUTCFullYear, getUTCHours, getUTCMinutes,
   153     getUTCMonth, getUTCSeconds, hasOwnProperty, join, lastIndex, length,
   154     parse, propertyIsEnumerable, prototype, push, replace, slice, stringify,
   155     test, toJSON, toString
   156 */
   158 var EXPORTED_SYMBOLS = ["JSON"];
   160 // Create a JSON object only if one does not already exist. We create the
   161 // object in a closure to avoid creating global variables.
   163     JSON = function () {
   165         function f(n) {
   166             // Format integers to have at least two digits.
   167             return n < 10 ? '0' + n : n;
   168         }
   170         Date.prototype.toJSON = function (key) {
   172             return this.getUTCFullYear()   + '-' +
   173                  f(this.getUTCMonth() + 1) + '-' +
   174                  f(this.getUTCDate())      + 'T' +
   175                  f(this.getUTCHours())     + ':' +
   176                  f(this.getUTCMinutes())   + ':' +
   177                  f(this.getUTCSeconds())   + 'Z';
   178         };
   180         var cx = /[\u0000\u00ad\u0600-\u0604\u070f\u17b4\u17b5\u200c-\u200f\u2028-\u202f\u2060-\u206f\ufeff\ufff0-\uffff]/g,
   181             escapeable = /[\\\"\x00-\x1f\x7f-\x9f\u00ad\u0600-\u0604\u070f\u17b4\u17b5\u200c-\u200f\u2028-\u202f\u2060-\u206f\ufeff\ufff0-\uffff]/g,
   182             gap,
   183             indent,
   184             meta = {    // table of character substitutions
   185                 '\b': '\\b',
   186                 '\t': '\\t',
   187                 '\n': '\\n',
   188                 '\f': '\\f',
   189                 '\r': '\\r',
   190                 '"' : '\\"',
   191                 '\\': '\\\\'
   192             },
   193             rep;
   196         function quote(string) {
   198 // If the string contains no control characters, no quote characters, and no
   199 // backslash characters, then we can safely slap some quotes around it.
   200 // Otherwise we must also replace the offending characters with safe escape
   201 // sequences.
   203             escapeable.lastIndex = 0;
   204             return escapeable.test(string) ?
   205                 '"' + string.replace(escapeable, function (a) {
   206                     var c = meta[a];
   207                     if (typeof c === 'string') {
   208                         return c;
   209                     }
   210                     return '\\u' + ('0000' +
   211                             (+(a.charCodeAt(0))).toString(16)).slice(-4);
   212                 }) + '"' :
   213                 '"' + string + '"';
   214         }
   217         function str(key, holder) {
   219 // Produce a string from holder[key].
   221             var i,          // The loop counter.
   222                 k,          // The member key.
   223                 v,          // The member value.
   224                 length,
   225                 mind = gap,
   226                 partial,
   227                 value = holder[key];
   229 // If the value has a toJSON method, call it to obtain a replacement value.
   231             if (value && typeof value === 'object' &&
   232                     typeof value.toJSON === 'function') {
   233                 value = value.toJSON(key);
   234             }
   236 // If we were called with a replacer function, then call the replacer to
   237 // obtain a replacement value.
   239             if (typeof rep === 'function') {
   240                 value = rep.call(holder, key, value);
   241             }
   243 // What happens next depends on the value's type.
   245             switch (typeof value) {
   246             case 'string':
   247                 return quote(value);
   249             case 'number':
   251 // JSON numbers must be finite. Encode non-finite numbers as null.
   253                 return isFinite(value) ? String(value) : 'null';
   255             case 'boolean':
   256             case 'null':
   258 // If the value is a boolean or null, convert it to a string. Note:
   259 // typeof null does not produce 'null'. The case is included here in
   260 // the remote chance that this gets fixed someday.
   262                 return String(value);
   264 // If the type is 'object', we might be dealing with an object or an array or
   265 // null.
   267             case 'object':
   269 // Due to a specification blunder in ECMAScript, typeof null is 'object',
   270 // so watch out for that case.
   272                 if (!value) {
   273                     return 'null';
   274                 }
   276 // Make an array to hold the partial results of stringifying this object value.
   278                 gap += indent;
   279                 partial = [];
   281 // If the object has a dontEnum length property, we'll treat it as an array.
   283                 if (typeof value.length === 'number' &&
   284                         !(value.propertyIsEnumerable('length'))) {
   286 // The object is an array. Stringify every element. Use null as a placeholder
   287 // for non-JSON values.
   289                     length = value.length;
   290                     for (i = 0; i < length; i += 1) {
   291                         partial[i] = str(i, value) || 'null';
   292                     }
   294 // Join all of the elements together, separated with commas, and wrap them in
   295 // brackets.
   297                     v = partial.length === 0 ? '[]' :
   298                         gap ? '[\n' + gap +
   299                                 partial.join(',\n' + gap) + '\n' +
   300                                     mind + ']' :
   301                               '[' + partial.join(',') + ']';
   302                     gap = mind;
   303                     return v;
   304                 }
   306 // If the replacer is an array, use it to select the members to be stringified.
   308                 if (rep && typeof rep === 'object') {
   309                     length = rep.length;
   310                     for (i = 0; i < length; i += 1) {
   311                         k = rep[i];
   312                         if (typeof k === 'string') {
   313                             v = str(k, value, rep);
   314                             if (v) {
   315                                 partial.push(quote(k) + (gap ? ': ' : ':') + v);
   316                             }
   317                         }
   318                     }
   319                 } else {
   321 // Otherwise, iterate through all of the keys in the object.
   323                     for (k in value) {
   324                         if (Object.hasOwnProperty.call(value, k)) {
   325                             v = str(k, value, rep);
   326                             if (v) {
   327                                 partial.push(quote(k) + (gap ? ': ' : ':') + v);
   328                             }
   329                         }
   330                     }
   331                 }
   333 // Join all of the member texts together, separated with commas,
   334 // and wrap them in braces.
   336                 v = partial.length === 0 ? '{}' :
   337                     gap ? '{\n' + gap + partial.join(',\n' + gap) + '\n' +
   338                             mind + '}' : '{' + partial.join(',') + '}';
   339                 gap = mind;
   340                 return v;
   341             }
   342         }
   344 // Return the JSON object containing the stringify and parse methods.
   346         return {
   347             stringify: function (value, replacer, space) {
   349 // The stringify method takes a value and an optional replacer, and an optional
   350 // space parameter, and returns a JSON text. The replacer can be a function
   351 // that can replace values, or an array of strings that will select the keys.
   352 // A default replacer method can be provided. Use of the space parameter can
   353 // produce text that is more easily readable.
   355                 var i;
   356                 gap = '';
   357                 indent = '';
   359 // If the space parameter is a number, make an indent string containing that
   360 // many spaces.
   362                 if (typeof space === 'number') {
   363                     for (i = 0; i < space; i += 1) {
   364                         indent += ' ';
   365                     }
   367 // If the space parameter is a string, it will be used as the indent string.
   369                 } else if (typeof space === 'string') {
   370                     indent = space;
   371                 }
   373 // If there is a replacer, it must be a function or an array.
   374 // Otherwise, throw an error.
   376                 rep = replacer;
   377                 if (replacer && typeof replacer !== 'function' &&
   378                         (typeof replacer !== 'object' ||
   379                          typeof replacer.length !== 'number')) {
   380                     throw new Error('JSON.stringify');
   381                 }
   383 // Make a fake root object containing our value under the key of ''.
   384 // Return the result of stringifying the value.
   386                 return str('', {'': value});
   387             },
   390             parse: function (text, reviver) {
   392 // The parse method takes a text and an optional reviver function, and returns
   393 // a JavaScript value if the text is a valid JSON text.
   395                 var j;
   397                 function walk(holder, key) {
   399 // The walk method is used to recursively walk the resulting structure so
   400 // that modifications can be made.
   402                     var k, v, value = holder[key];
   403                     if (value && typeof value === 'object') {
   404                         for (k in value) {
   405                             if (Object.hasOwnProperty.call(value, k)) {
   406                                 v = walk(value, k);
   407                                 if (v !== undefined) {
   408                                     value[k] = v;
   409                                 } else {
   410                                     delete value[k];
   411                                 }
   412                             }
   413                         }
   414                     }
   415                     return reviver.call(holder, key, value);
   416                 }
   419 // Parsing happens in four stages. In the first stage, we replace certain
   420 // Unicode characters with escape sequences. JavaScript handles many characters
   421 // incorrectly, either silently deleting them, or treating them as line endings.
   423                 cx.lastIndex = 0;
   424                 if (cx.test(text)) {
   425                     text = text.replace(cx, function (a) {
   426                         return '\\u' + ('0000' +
   427                                 (+(a.charCodeAt(0))).toString(16)).slice(-4);
   428                     });
   429                 }
   431 // In the second stage, we run the text against regular expressions that look
   432 // for non-JSON patterns. We are especially concerned with '()' and 'new'
   433 // because they can cause invocation, and '=' because it can cause mutation.
   434 // But just to be safe, we want to reject all unexpected forms.
   436 // We split the second stage into 4 regexp operations in order to work around
   437 // crippling inefficiencies in IE's and Safari's regexp engines. First we
   438 // replace the JSON backslash pairs with '@' (a non-JSON character). Second, we
   439 // replace all simple value tokens with ']' characters. Third, we delete all
   440 // open brackets that follow a colon or comma or that begin the text. Finally,
   441 // we look to see that the remaining characters are only whitespace or ']' or
   442 // ',' or ':' or '{' or '}'. If that is so, then the text is safe for eval.
   444                 if (/^[\],:{}\s]*$/.
   445 test(text.replace(/\\(?:["\\\/bfnrt]|u[0-9a-fA-F]{4})/g, '@').
   446 replace(/"[^"\\\n\r]*"|true|false|null|-?\d+(?:\.\d*)?(?:[eE][+\-]?\d+)?/g, ']').
   447 replace(/(?:^|:|,)(?:\s*\[)+/g, ''))) {
   449 // In the third stage we use the eval function to compile the text into a
   450 // JavaScript structure. The '{' operator is subject to a syntactic ambiguity
   451 // in JavaScript: it can begin a block or an object literal. We wrap the text
   452 // in parens to eliminate the ambiguity.
   454                     j = eval('(' + text + ')');
   456 // In the optional fourth stage, we recursively walk the new structure, passing
   457 // each name/value pair to a reviver function for possible transformation.
   459                     return typeof reviver === 'function' ?
   460                         walk({'': j}, '') : j;
   461                 }
   463 // If the text is not JSON parseable, then a SyntaxError is thrown.
   465                 throw new SyntaxError('JSON.parse');
   466             }
   467         };
   468     }();

mercurial