home *** CD-ROM | disk | FTP | other *** search
/ Freelog 112 / FreelogNo112-NovembreDecembre2012.iso / Systeme / UpdateFreezer / UpdateFreezer_1.6.102.exe / Wrappers / JSON.js < prev    next >
Text File  |  2011-09-26  |  21KB  |  538 lines
  1. /*
  2.     json.js
  3.     2008-05-25
  4.  
  5.     Public Domain
  6.  
  7.     No warranty expressed or implied. Use at your own risk.
  8.  
  9.     This file has been superceded by http://www.JSON.org/json2.js
  10.  
  11.     See http://www.JSON.org/js.html
  12.  
  13.     This file adds these methods to JavaScript:
  14.  
  15.         array.toJSONString(whitelist)
  16.         boolean.toJSONString()
  17.         date.toJSONString()
  18.         number.toJSONString()
  19.         object.toJSONString(whitelist)
  20.         string.toJSONString()
  21.             These methods produce a JSON text from a JavaScript value.
  22.             It must not contain any cyclical references. Illegal values
  23.             will be excluded.
  24.  
  25.             The default conversion for dates is to an ISO string. You can
  26.             add a toJSONString method to any date object to get a different
  27.             representation.
  28.  
  29.             The object and array methods can take an optional whitelist
  30.             argument. A whitelist is an array of strings. If it is provided,
  31.             keys in objects not found in the whitelist are excluded.
  32.  
  33.         string.parseJSON(filter)
  34.             This method parses a JSON text to produce an object or
  35.             array. It can throw a SyntaxError exception.
  36.  
  37.             The optional filter parameter is a function which can filter and
  38.             transform the results. It receives each of the keys and values, and
  39.             its return value is used instead of the original value. If it
  40.             returns what it received, then structure is not modified. If it
  41.             returns undefined then the member is deleted.
  42.  
  43.             Example:
  44.  
  45.             // Parse the text. If a key contains the string 'date' then
  46.             // convert the value to a date.
  47.  
  48.             myData = text.parseJSON(function (key, value) {
  49.                 return key.indexOf('date') >= 0 ? new Date(value) : value;
  50.             });
  51.  
  52.     This file will break programs with improper for..in loops. See
  53.     http://yuiblog.com/blog/2006/09/26/for-in-intrigue/
  54.  
  55.     This file creates a global JSON object containing two methods: stringify
  56.     and parse.
  57.  
  58.         JSON.stringify(value, replacer, space)
  59.             value       any JavaScript value, usually an object or array.
  60.  
  61.             replacer    an optional parameter that determines how object
  62.                         values are stringified for objects without a toJSON
  63.                         method. It can be a function or an array.
  64.  
  65.             space       an optional parameter that specifies the indentation
  66.                         of nested structures. If it is omitted, the text will
  67.                         be packed without extra whitespace. If it is a number,
  68.                         it will specify the number of spaces to indent at each
  69.                         level. If it is a string (such as '\t' or ' '),
  70.                         it contains the characters used to indent at each level.
  71.  
  72.             This method produces a JSON text from a JavaScript value.
  73.  
  74.             When an object value is found, if the object contains a toJSON
  75.             method, its toJSON method will be called and the result will be
  76.             stringified. A toJSON method does not serialize: it returns the
  77.             value represented by the name/value pair that should be serialized,
  78.             or undefined if nothing should be serialized. The toJSON method
  79.             will be passed the key associated with the value, and this will be
  80.             bound to the object holding the key.
  81.  
  82.             For example, this would serialize Dates as ISO strings.
  83.  
  84.                 Date.prototype.toJSON = function (key) {
  85.                     function f(n) {
  86.                         // Format integers to have at least two digits.
  87.                         return n < 10 ? '0' + n : n;
  88.                     }
  89.  
  90.                     return this.getUTCFullYear()   + '-' +
  91.                          f(this.getUTCMonth() + 1) + '-' +
  92.                          f(this.getUTCDate())      + 'T' +
  93.                          f(this.getUTCHours())     + ':' +
  94.                          f(this.getUTCMinutes())   + ':' +
  95.                          f(this.getUTCSeconds())   + 'Z';
  96.                 };
  97.  
  98.             You can provide an optional replacer method. It will be passed the
  99.             key and value of each member, with this bound to the containing
  100.             object. The value that is returned from your method will be
  101.             serialized. If your method returns undefined, then the member will
  102.             be excluded from the serialization.
  103.  
  104.             If the replacer parameter is an array, then it will be used to
  105.             select the members to be serialized. It filters the results such
  106.             that only members with keys listed in the replacer array are
  107.             stringified.
  108.  
  109.             Values that do not have JSON representations, such as undefined or
  110.             functions, will not be serialized. Such values in objects will be
  111.             dropped; in arrays they will be replaced with null. You can use
  112.             a replacer function to replace those with JSON values.
  113.             JSON.stringify(undefined) returns undefined.
  114.  
  115.             The optional space parameter produces a stringification of the
  116.             value that is filled with line breaks and indentation to make it
  117.             easier to read.
  118.  
  119.             If the space parameter is a non-empty string, then that string will
  120.             be used for indentation. If the space parameter is a number, then
  121.             the indentation will be that many spaces.
  122.  
  123.             Example:
  124.  
  125.             text = JSON.stringify(['e', {pluribus: 'unum'}]);
  126.             // text is '["e",{"pluribus":"unum"}]'
  127.  
  128.  
  129.             text = JSON.stringify(['e', {pluribus: 'unum'}], null, '\t');
  130.             // text is '[\n\t"e",\n\t{\n\t\t"pluribus": "unum"\n\t}\n]'
  131.  
  132.             text = JSON.stringify([new Date()], function (key, value) {
  133.                 return this[key] instanceof Date ?
  134.                     'Date(' + this[key] + ')' : value;
  135.             });
  136.             // text is '["Date(---current time---)"]'
  137.  
  138.  
  139.         JSON.parse(text, reviver)
  140.             This method parses a JSON text to produce an object or array.
  141.             It can throw a SyntaxError exception.
  142.  
  143.             The optional reviver parameter is a function that can filter and
  144.             transform the results. It receives each of the keys and values,
  145.             and its return value is used instead of the original value.
  146.             If it returns what it received, then the structure is not modified.
  147.             If it returns undefined then the member is deleted.
  148.  
  149.             Example:
  150.  
  151.             // Parse the text. Values that look like ISO date strings will
  152.             // be converted to Date objects.
  153.  
  154.             myData = JSON.parse(text, function (key, value) {
  155.                 var a;
  156.                 if (typeof value === 'string') {
  157.                     a =
  158. /^(\d{4})-(\d{2})-(\d{2})T(\d{2}):(\d{2}):(\d{2}(?:\.\d*)?)Z$/.exec(value);
  159.                     if (a) {
  160.                         return new Date(Date.UTC(+a[1], +a[2] - 1, +a[3], +a[4],
  161.                             +a[5], +a[6]));
  162.                     }
  163.                 }
  164.                 return value;
  165.             });
  166.  
  167.             myData = JSON.parse('["Date(09/09/2001)"]', function (key, value) {
  168.                 var d;
  169.                 if (typeof value === 'string' &&
  170.                         value.slice(0, 5) === 'Date(' &&
  171.                         value.slice(-1) === ')') {
  172.                     d = new Date(value.slice(5, -1));
  173.                     if (d) {
  174.                         return d;
  175.                     }
  176.                 }
  177.                 return value;
  178.             });
  179.  
  180.  
  181.     It is expected that these methods will formally become part of the
  182.     JavaScript Programming Language in the Fourth Edition of the
  183.     ECMAScript standard in 2008.
  184.  
  185.     This is a reference implementation. You are free to copy, modify, or
  186.     redistribute.
  187.  
  188.     This code should be minified before deployment.
  189.     See http://javascript.crockford.com/jsmin.html
  190.  
  191.     USE YOUR OWN COPY. IT IS EXTREMELY UNWISE TO LOAD CODE FROM SERVERS YOU
  192.     DO NOT CONTROL.
  193. */
  194.  
  195. /*jslint evil: true */
  196.  
  197. /*global JSON */
  198.  
  199. /*members "", "\b", "\t", "\n", "\f", "\r", "\"", JSON, "\\", call,
  200.     charCodeAt, getUTCDate, getUTCFullYear, getUTCHours, getUTCMinutes,
  201.     getUTCMonth, getUTCSeconds, hasOwnProperty, join, lastIndex, length,
  202.     parse, parseJSON, propertyIsEnumerable, prototype, push, replace, slice,
  203.     stringify, test, toJSON, toJSONString, toString
  204. */
  205.  
  206. if (!this.JSON) {
  207.  
  208. // Create a JSON object only if one does not already exist. We create the
  209. // object in a closure to avoid global variables.
  210.  
  211.     JSON = function () {
  212.  
  213.         function f(n) {
  214.             // Format integers to have at least two digits.
  215.             return n < 10 ? '0' + n : n;
  216.         }
  217.  
  218.         Date.prototype.toJSON = function (key) {
  219.  
  220.             return this.getUTCFullYear()   + '-' +
  221.                  f(this.getUTCMonth() + 1) + '-' +
  222.                  f(this.getUTCDate())      + 'T' +
  223.                  f(this.getUTCHours())     + ':' +
  224.                  f(this.getUTCMinutes())   + ':' +
  225.                  f(this.getUTCSeconds())   + 'Z';
  226.         };
  227.  
  228.         var cx = /[\u0000\u00ad\u0600-\u0604\u070f\u17b4\u17b5\u200c-\u200f\u2028-\u202f\u2060-\u206f\ufeff\ufff0-\uffff]/g,
  229.             escapeable = /[\\\"\x00-\x1f\x7f-\x9f\u00ad\u0600-\u0604\u070f\u17b4\u17b5\u200c-\u200f\u2028-\u202f\u2060-\u206f\ufeff\ufff0-\uffff]/g,
  230.             gap,
  231.             indent,
  232.             meta = {    // table of character substitutions
  233.                 '\b': '\\b',
  234.                 '\t': '\\t',
  235.                 '\n': '\\n',
  236.                 '\f': '\\f',
  237.                 '\r': '\\r',
  238.                 '"' : '\\"',
  239.                 '\\': '\\\\'
  240.             },
  241.             rep;
  242.  
  243.  
  244.         function quote(string) {
  245.  
  246. // If the string contains no control characters, no quote characters, and no
  247. // backslash characters, then we can safely slap some quotes around it.
  248. // Otherwise we must also replace the offending characters with safe escape
  249. // sequences.
  250.  
  251.             escapeable.lastIndex = 0;
  252.             return escapeable.test(string) ?
  253.                 '"' + string.replace(escapeable, function (a) {
  254.                     var c = meta[a];
  255.                     if (typeof c === 'string') {
  256.                         return c;
  257.                     }
  258.                     return '\\u' + ('0000' +
  259.                             (+(a.charCodeAt(0))).toString(16)).slice(-4);
  260.                 }) + '"' :
  261.                 '"' + string + '"';
  262.         }
  263.  
  264.  
  265.         function str(key, holder) {
  266.  
  267. // Produce a string from holder[key].
  268.  
  269.             var i,          // The loop counter.
  270.                 k,          // The member key.
  271.                 v,          // The member value.
  272.                 length,
  273.                 mind = gap,
  274.                 partial,
  275.                 value = holder[key];
  276.  
  277. // If the value has a toJSON method, call it to obtain a replacement value.
  278.  
  279.             if (value && typeof value === 'object' &&
  280.                     typeof value.toJSON === 'function') {
  281.                 value = value.toJSON(key);
  282.             }
  283.  
  284. // If we were called with a replacer function, then call the replacer to
  285. // obtain a replacement value.
  286.  
  287.             if (typeof rep === 'function') {
  288.                 value = rep.call(holder, key, value);
  289.             }
  290.  
  291. // What happens next depends on the value's type.
  292.  
  293.             switch (typeof value) {
  294.             case 'string':
  295.                 return quote(value);
  296.  
  297.             case 'number':
  298.  
  299. // JSON numbers must be finite. Encode non-finite numbers as null.
  300.  
  301.                 return isFinite(value) ? String(value) : 'null';
  302.  
  303.             case 'boolean':
  304.             case 'null':
  305.  
  306. // If the value is a boolean or null, convert it to a string. Note:
  307. // typeof null does not produce 'null'. The case is included here in
  308. // the remote chance that this gets fixed someday.
  309.  
  310.                 return String(value);
  311.  
  312. // If the type is 'object', we might be dealing with an object or an array or
  313. // null.
  314.  
  315.             case 'object':
  316.  
  317. // Due to a specification blunder in ECMAScript, typeof null is 'object',
  318. // so watch out for that case.
  319.  
  320.                 if (!value) {
  321.                     return 'null';
  322.                 }
  323.  
  324. // Make an array to hold the partial results of stringifying this object value.
  325.  
  326.                 gap += indent;
  327.                 partial = [];
  328.  
  329. // If the object has a dontEnum length property, we'll treat it as an array.
  330.  
  331.                 if (typeof value.length === 'number' &&
  332.                         !(value.propertyIsEnumerable('length'))) {
  333.  
  334. // The object is an array. Stringify every element. Use null as a placeholder
  335. // for non-JSON values.
  336.  
  337.                     length = value.length;
  338.                     for (i = 0; i < length; i += 1) {
  339.                         partial[i] = str(i, value) || 'null';
  340.                     }
  341.  
  342. // Join all of the elements together, separated with commas, and wrap them in
  343. // brackets.
  344.  
  345.                     v = partial.length === 0 ? '[]' :
  346.                         gap ? '[\n' + gap +
  347.                                 partial.join(',\n' + gap) + '\n' +
  348.                                     mind + ']' :
  349.                               '[' + partial.join(',') + ']';
  350.                     gap = mind;
  351.                     return v;
  352.                 }
  353.  
  354. // If the replacer is an array, use it to select the members to be stringified.
  355.  
  356.                 if (rep && typeof rep === 'object') {
  357.                     length = rep.length;
  358.                     for (i = 0; i < length; i += 1) {
  359.                         k = rep[i];
  360.                         if (typeof k === 'string') {
  361.                             v = str(k, value, rep);
  362.                             if (v) {
  363.                                 partial.push(quote(k) + (gap ? ': ' : ':') + v);
  364.                             }
  365.                         }
  366.                     }
  367.                 } else {
  368.  
  369. // Otherwise, iterate through all of the keys in the object.
  370.  
  371.                     for (k in value) {
  372.                         if (Object.hasOwnProperty.call(value, k)) {
  373.                             v = str(k, value, rep);
  374.                             if (v) {
  375.                                 partial.push(quote(k) + (gap ? ': ' : ':') + v);
  376.                             }
  377.                         }
  378.                     }
  379.                 }
  380.  
  381. // Join all of the member texts together, separated with commas,
  382. // and wrap them in braces.
  383.  
  384.                 v = partial.length === 0 ? '{}' :
  385.                     gap ? '{\n' + gap +
  386.                             partial.join(',\n' + gap) + '\n' +
  387.                             mind + '}' :
  388.                           '{' + partial.join(',') + '}';
  389.                 gap = mind;
  390.                 return v;
  391.             }
  392.         }
  393.  
  394.  
  395. // Return the JSON object containing the stringify and parse methods.
  396.  
  397.         return {
  398.             quote: function (str) {
  399.                 return quote(str);
  400.             },
  401.             stringify: function (value, replacer, space) {
  402.  
  403. // The stringify method takes a value and an optional replacer, and an optional
  404. // space parameter, and returns a JSON text. The replacer can be a function
  405. // that can replace values, or an array of strings that will select the keys.
  406. // A default replacer method can be provided. Use of the space parameter can
  407. // produce text that is more easily readable.
  408.  
  409.                 var i;
  410.                 gap = '';
  411.                 indent = '';
  412.  
  413. // If the space parameter is a number, make an indent string containing that
  414. // many spaces.
  415.  
  416.                 if (typeof space === 'number') {
  417.                     for (i = 0; i < space; i += 1) {
  418.                         indent += ' ';
  419.                     }
  420.  
  421. // If the space parameter is a string, it will be used as the indent string.
  422.  
  423.                 } else if (typeof space === 'string') {
  424.                     indent = space;
  425.                 }
  426.  
  427. // If there is a replacer, it must be a function or an array.
  428. // Otherwise, throw an error.
  429.  
  430.                 rep = replacer;
  431.                 if (replacer && typeof replacer !== 'function' &&
  432.                         (typeof replacer !== 'object' ||
  433.                          typeof replacer.length !== 'number')) {
  434.                     throw new Error('JSON.stringify');
  435.                 }
  436.  
  437. // Make a fake root object containing our value under the key of ''.
  438. // Return the result of stringifying the value.
  439.  
  440.                 return str('', {'': value});
  441.             },
  442.  
  443.  
  444.             parse: function (text, reviver) {
  445.  
  446. // The parse method takes a text and an optional reviver function, and returns
  447. // a JavaScript value if the text is a valid JSON text.
  448.  
  449.                 var j;
  450.  
  451.                 function walk(holder, key) {
  452.  
  453. // The walk method is used to recursively walk the resulting structure so
  454. // that modifications can be made.
  455.  
  456.                     var k, v, value = holder[key];
  457.                     if (value && typeof value === 'object') {
  458.                         for (k in value) {
  459.                             if (Object.hasOwnProperty.call(value, k)) {
  460.                                 v = walk(value, k);
  461.                                 if (v !== undefined) {
  462.                                     value[k] = v;
  463.                                 } else {
  464.                                     delete value[k];
  465.                                 }
  466.                             }
  467.                         }
  468.                     }
  469.                     return reviver.call(holder, key, value);
  470.                 }
  471.  
  472.  
  473. // Parsing happens in four stages. In the first stage, we replace certain
  474. // Unicode characters with escape sequences. JavaScript handles many characters
  475. // incorrectly, either silently deleting them, or treating them as line endings.
  476.  
  477.                 cx.lastIndex = 0;                if (cx.test(text)) {
  478.                     text = text.replace(cx, function (a) {
  479.                         return '\\u' + ('0000' +
  480.                                 (+(a.charCodeAt(0))).toString(16)).slice(-4);
  481.                     });
  482.                 }
  483.  
  484. // In the second stage, we run the text against regular expressions that look
  485. // for non-JSON patterns. We are especially concerned with '()' and 'new'
  486. // because they can cause invocation, and '=' because it can cause mutation.
  487. // But just to be safe, we want to reject all unexpected forms.
  488.  
  489. // We split the second stage into 4 regexp operations in order to work around
  490. // crippling inefficiencies in IE's and Safari's regexp engines. First we
  491. // replace the JSON backslash pairs with '@' (a non-JSON character). Second, we
  492. // replace all simple value tokens with ']' characters. Third, we delete all
  493. // open brackets that follow a colon or comma or that begin the text. Finally,
  494. // we look to see that the remaining characters are only whitespace or ']' or
  495. // ',' or ':' or '{' or '}'. If that is so, then the text is safe for eval.
  496.  
  497.                 if (/^[\],:{}\s]*$/.
  498. test(text.replace(/\\(?:["\\\/bfnrt]|u[0-9a-fA-F]{4})/g, '@').
  499. replace(/"[^"\\\n\r]*"|true|false|null|-?\d+(?:\.\d*)?(?:[eE][+\-]?\d+)?/g, ']').
  500. replace(/(?:^|:|,)(?:\s*\[)+/g, ''))) {
  501.  
  502. // In the third stage we use the eval function to compile the text into a
  503. // JavaScript structure. The '{' operator is subject to a syntactic ambiguity
  504. // in JavaScript: it can begin a block or an object literal. We wrap the text
  505. // in parens to eliminate the ambiguity.
  506.  
  507.                     j = eval('(' + text + ')');
  508.  
  509. // In the optional fourth stage, we recursively walk the new structure, passing
  510. // each name/value pair to a reviver function for possible transformation.
  511.  
  512.                     return typeof reviver === 'function' ?
  513.                         walk({'': j}, '') : j;
  514.                 }
  515.  
  516. // If the text is not JSON parseable, then a SyntaxError is thrown.
  517.  
  518.                 throw new SyntaxError('JSON.parse');
  519.             }
  520.         };
  521.     }();
  522. }
  523.  
  524.  
  525. // Augment the basic prototypes if they have not already been augmented.
  526. // These forms are obsolete. It is recommended that JSON.stringify and
  527. // JSON.parse be used instead.
  528. /*
  529. if (!Object.prototype.toJSONString) {
  530.     Object.prototype.toJSONString = function (filter) {
  531.         return JSON.stringify(this, filter);
  532.     };
  533.     Object.prototype.parseJSON = function (filter) {
  534.         return JSON.parse(this, filter);
  535.     };
  536. }
  537. */
  538.