author | Giulio Cesare Solaroli <giulio.cesare@solaroli.it> | 2011-10-03 16:04:12 (UTC) |
---|---|---|
committer | Giulio Cesare Solaroli <giulio.cesare@solaroli.it> | 2011-10-03 16:04:12 (UTC) |
commit | 541bb378ddece2eab135a8066a16994e94436dea (patch) (unidiff) | |
tree | ff160ea3e26f7fe07fcfd401387c5a0232ca715e /frontend/gamma/js/JSON/json2.js | |
parent | 1bf431fd3d45cbdf4afa3e12afefe5d24f4d3bc7 (diff) | |
parent | ecad5e895831337216544e81f1a467e0c68c4a6a (diff) | |
download | clipperz-541bb378ddece2eab135a8066a16994e94436dea.zip clipperz-541bb378ddece2eab135a8066a16994e94436dea.tar.gz clipperz-541bb378ddece2eab135a8066a16994e94436dea.tar.bz2 |
Merge pull request #1 from gcsolaroli/master
First version of the restructured repository
Diffstat (limited to 'frontend/gamma/js/JSON/json2.js') (more/less context) (ignore whitespace changes)
-rw-r--r-- | frontend/gamma/js/JSON/json2.js | 481 |
1 files changed, 481 insertions, 0 deletions
diff --git a/frontend/gamma/js/JSON/json2.js b/frontend/gamma/js/JSON/json2.js new file mode 100644 index 0000000..b67e167 --- a/dev/null +++ b/frontend/gamma/js/JSON/json2.js | |||
@@ -0,0 +1,481 @@ | |||
1 | /* | ||
2 | http://www.JSON.org/json2.js | ||
3 | 2008-09-01 | ||
4 | |||
5 | Public Domain. | ||
6 | |||
7 | NO WARRANTY EXPRESSED OR IMPLIED. USE AT YOUR OWN RISK. | ||
8 | |||
9 | See http://www.JSON.org/js.html | ||
10 | |||
11 | This file creates a global JSON object containing two methods: stringify | ||
12 | and parse. | ||
13 | |||
14 | JSON.stringify(value, replacer, space) | ||
15 | value any JavaScript value, usually an object or array. | ||
16 | |||
17 | replacer an optional parameter that determines how object | ||
18 | values are stringified for objects. It can be a | ||
19 | function or an array of strings. | ||
20 | |||
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 ' '), | ||
26 | it contains the characters used to indent at each level. | ||
27 | |||
28 | This method produces a JSON text from a JavaScript value. | ||
29 | |||
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. | ||
37 | |||
38 | For example, this would serialize Dates as ISO strings. | ||
39 | |||
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 | } | ||
45 | |||
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 | }; | ||
53 | |||
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. | ||
59 | |||
60 | If the replacer parameter is an array of strings, 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. | ||
64 | |||
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. | ||
70 | |||
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. | ||
74 | |||
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. | ||
78 | |||
79 | Example: | ||
80 | |||
81 | text = JSON.stringify(['e', {pluribus: 'unum'}]); | ||
82 | // text is '["e",{"pluribus":"unum"}]' | ||
83 | |||
84 | |||
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]' | ||
87 | |||
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---)"]' | ||
93 | |||
94 | |||
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. | ||
98 | |||
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. | ||
104 | |||
105 | Example: | ||
106 | |||
107 | // Parse the text. Values that look like ISO date strings will | ||
108 | // be converted to Date objects. | ||
109 | |||
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 | }); | ||
122 | |||
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 | }); | ||
135 | |||
136 | |||
137 | This is a reference implementation. You are free to copy, modify, or | ||
138 | redistribute. | ||
139 | |||
140 | This code should be minified before deployment. | ||
141 | See http://javascript.crockford.com/jsmin.html | ||
142 | |||
143 | USE YOUR OWN COPY. IT IS EXTREMELY UNWISE TO LOAD CODE FROM SERVERS YOU DO | ||
144 | NOT CONTROL. | ||
145 | */ | ||
146 | |||
147 | /*jslint evil: true */ | ||
148 | |||
149 | /*global JSON */ | ||
150 | |||
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, valueOf | ||
156 | */ | ||
157 | |||
158 | // Create a JSON object only if one does not already exist. We create the | ||
159 | // methods in a closure to avoid creating global variables. | ||
160 | |||
161 | if (!this.JSON) { | ||
162 | JSON = {}; | ||
163 | } | ||
164 | (function () { | ||
165 | |||
166 | function f(n) { | ||
167 | // Format integers to have at least two digits. | ||
168 | return n < 10 ? '0' + n : n; | ||
169 | } | ||
170 | |||
171 | if (typeof Date.prototype.toJSON !== 'function') { | ||
172 | |||
173 | Date.prototype.toJSON = function (key) { | ||
174 | |||
175 | return this.getUTCFullYear() + '-' + | ||
176 | f(this.getUTCMonth() + 1) + '-' + | ||
177 | f(this.getUTCDate()) + 'T' + | ||
178 | f(this.getUTCHours()) + ':' + | ||
179 | f(this.getUTCMinutes()) + ':' + | ||
180 | f(this.getUTCSeconds()) + 'Z'; | ||
181 | }; | ||
182 | |||
183 | String.prototype.toJSON = | ||
184 | Number.prototype.toJSON = | ||
185 | Boolean.prototype.toJSON = function (key) { | ||
186 | return this.valueOf(); | ||
187 | }; | ||
188 | } | ||
189 | |||
190 | var cx = /[\u0000\u00ad\u0600-\u0604\u070f\u17b4\u17b5\u200c-\u200f\u2028-\u202f\u2060-\u206f\ufeff\ufff0-\uffff]/g, | ||
191 | escapeable = /[\\\"\x00-\x1f\x7f-\x9f\u00ad\u0600-\u0604\u070f\u17b4\u17b5\u200c-\u200f\u2028-\u202f\u2060-\u206f\ufeff\ufff0-\uffff]/g, | ||
192 | gap, | ||
193 | indent, | ||
194 | meta = { // table of character substitutions | ||
195 | '\b': '\\b', | ||
196 | '\t': '\\t', | ||
197 | '\n': '\\n', | ||
198 | '\f': '\\f', | ||
199 | '\r': '\\r', | ||
200 | '"' : '\\"', | ||
201 | '\\': '\\\\' | ||
202 | }, | ||
203 | rep; | ||
204 | |||
205 | |||
206 | function quote(string) { | ||
207 | |||
208 | // If the string contains no control characters, no quote characters, and no | ||
209 | // backslash characters, then we can safely slap some quotes around it. | ||
210 | // Otherwise we must also replace the offending characters with safe escape | ||
211 | // sequences. | ||
212 | |||
213 | escapeable.lastIndex = 0; | ||
214 | return escapeable.test(string) ? | ||
215 | '"' + string.replace(escapeable, function (a) { | ||
216 | var c = meta[a]; | ||
217 | if (typeof c === 'string') { | ||
218 | return c; | ||
219 | } | ||
220 | return '\\u' + ('0000' + a.charCodeAt(0).toString(16)).slice(-4); | ||
221 | }) + '"' : | ||
222 | '"' + string + '"'; | ||
223 | } | ||
224 | |||
225 | |||
226 | function str(key, holder) { | ||
227 | |||
228 | // Produce a string from holder[key]. | ||
229 | |||
230 | var i, // The loop counter. | ||
231 | k, // The member key. | ||
232 | v, // The member value. | ||
233 | length, | ||
234 | mind = gap, | ||
235 | partial, | ||
236 | value = holder[key]; | ||
237 | |||
238 | // If the value has a toJSON method, call it to obtain a replacement value. | ||
239 | |||
240 | if (value && typeof value === 'object' && | ||
241 | typeof value.toJSON === 'function') { | ||
242 | value = value.toJSON(key); | ||
243 | } | ||
244 | |||
245 | // If we were called with a replacer function, then call the replacer to | ||
246 | // obtain a replacement value. | ||
247 | |||
248 | if (typeof rep === 'function') { | ||
249 | value = rep.call(holder, key, value); | ||
250 | } | ||
251 | |||
252 | // What happens next depends on the value's type. | ||
253 | |||
254 | switch (typeof value) { | ||
255 | case 'string': | ||
256 | return quote(value); | ||
257 | |||
258 | case 'number': | ||
259 | |||
260 | // JSON numbers must be finite. Encode non-finite numbers as null. | ||
261 | |||
262 | return isFinite(value) ? String(value) : 'null'; | ||
263 | |||
264 | case 'boolean': | ||
265 | case 'null': | ||
266 | |||
267 | // If the value is a boolean or null, convert it to a string. Note: | ||
268 | // typeof null does not produce 'null'. The case is included here in | ||
269 | // the remote chance that this gets fixed someday. | ||
270 | |||
271 | return String(value); | ||
272 | |||
273 | // If the type is 'object', we might be dealing with an object or an array or | ||
274 | // null. | ||
275 | |||
276 | case 'object': | ||
277 | |||
278 | // Due to a specification blunder in ECMAScript, typeof null is 'object', | ||
279 | // so watch out for that case. | ||
280 | |||
281 | if (!value) { | ||
282 | return 'null'; | ||
283 | } | ||
284 | |||
285 | // Make an array to hold the partial results of stringifying this object value. | ||
286 | |||
287 | gap += indent; | ||
288 | partial = []; | ||
289 | |||
290 | // If the object has a dontEnum length property, we'll treat it as an array. | ||
291 | |||
292 | if (typeof value.length === 'number' && | ||
293 | !value.propertyIsEnumerable('length')) { | ||
294 | |||
295 | // The object is an array. Stringify every element. Use null as a placeholder | ||
296 | // for non-JSON values. | ||
297 | |||
298 | length = value.length; | ||
299 | for (i = 0; i < length; i += 1) { | ||
300 | partial[i] = str(i, value) || 'null'; | ||
301 | } | ||
302 | |||
303 | // Join all of the elements together, separated with commas, and wrap them in | ||
304 | // brackets. | ||
305 | |||
306 | v = partial.length === 0 ? '[]' : | ||
307 | gap ? '[\n' + gap + | ||
308 | partial.join(',\n' + gap) + '\n' + | ||
309 | mind + ']' : | ||
310 | '[' + partial.join(',') + ']'; | ||
311 | gap = mind; | ||
312 | return v; | ||
313 | } | ||
314 | |||
315 | // If the replacer is an array, use it to select the members to be stringified. | ||
316 | |||
317 | if (rep && typeof rep === 'object') { | ||
318 | length = rep.length; | ||
319 | for (i = 0; i < length; i += 1) { | ||
320 | k = rep[i]; | ||
321 | if (typeof k === 'string') { | ||
322 | v = str(k, value); | ||
323 | if (v) { | ||
324 | partial.push(quote(k) + (gap ? ': ' : ':') + v); | ||
325 | } | ||
326 | } | ||
327 | } | ||
328 | } else { | ||
329 | |||
330 | // Otherwise, iterate through all of the keys in the object. | ||
331 | |||
332 | for (k in value) { | ||
333 | if (Object.hasOwnProperty.call(value, k)) { | ||
334 | v = str(k, value); | ||
335 | if (v) { | ||
336 | partial.push(quote(k) + (gap ? ': ' : ':') + v); | ||
337 | } | ||
338 | } | ||
339 | } | ||
340 | } | ||
341 | |||
342 | // Join all of the member texts together, separated with commas, | ||
343 | // and wrap them in braces. | ||
344 | |||
345 | v = partial.length === 0 ? '{}' : | ||
346 | gap ? '{\n' + gap + partial.join(',\n' + gap) + '\n' + | ||
347 | mind + '}' : '{' + partial.join(',') + '}'; | ||
348 | gap = mind; | ||
349 | return v; | ||
350 | } | ||
351 | } | ||
352 | |||
353 | // If the JSON object does not yet have a stringify method, give it one. | ||
354 | |||
355 | if (typeof JSON.stringify !== 'function') { | ||
356 | JSON.stringify = function (value, replacer, space) { | ||
357 | |||
358 | // The stringify method takes a value and an optional replacer, and an optional | ||
359 | // space parameter, and returns a JSON text. The replacer can be a function | ||
360 | // that can replace values, or an array of strings that will select the keys. | ||
361 | // A default replacer method can be provided. Use of the space parameter can | ||
362 | // produce text that is more easily readable. | ||
363 | |||
364 | var i; | ||
365 | gap = ''; | ||
366 | indent = ''; | ||
367 | |||
368 | // If the space parameter is a number, make an indent string containing that | ||
369 | // many spaces. | ||
370 | |||
371 | if (typeof space === 'number') { | ||
372 | for (i = 0; i < space; i += 1) { | ||
373 | indent += ' '; | ||
374 | } | ||
375 | |||
376 | // If the space parameter is a string, it will be used as the indent string. | ||
377 | |||
378 | } else if (typeof space === 'string') { | ||
379 | indent = space; | ||
380 | } | ||
381 | |||
382 | // If there is a replacer, it must be a function or an array. | ||
383 | // Otherwise, throw an error. | ||
384 | |||
385 | rep = replacer; | ||
386 | if (replacer && typeof replacer !== 'function' && | ||
387 | (typeof replacer !== 'object' || | ||
388 | typeof replacer.length !== 'number')) { | ||
389 | throw new Error('JSON.stringify'); | ||
390 | } | ||
391 | |||
392 | // Make a fake root object containing our value under the key of ''. | ||
393 | // Return the result of stringifying the value. | ||
394 | |||
395 | return str('', {'': value}); | ||
396 | }; | ||
397 | } | ||
398 | |||
399 | |||
400 | // If the JSON object does not yet have a parse method, give it one. | ||
401 | |||
402 | if (typeof JSON.parse !== 'function') { | ||
403 | JSON.parse = function (text, reviver) { | ||
404 | |||
405 | // The parse method takes a text and an optional reviver function, and returns | ||
406 | // a JavaScript value if the text is a valid JSON text. | ||
407 | |||
408 | var j; | ||
409 | |||
410 | function walk(holder, key) { | ||
411 | |||
412 | // The walk method is used to recursively walk the resulting structure so | ||
413 | // that modifications can be made. | ||
414 | |||
415 | var k, v, value = holder[key]; | ||
416 | if (value && typeof value === 'object') { | ||
417 | for (k in value) { | ||
418 | if (Object.hasOwnProperty.call(value, k)) { | ||
419 | v = walk(value, k); | ||
420 | if (v !== undefined) { | ||
421 | value[k] = v; | ||
422 | } else { | ||
423 | delete value[k]; | ||
424 | } | ||
425 | } | ||
426 | } | ||
427 | } | ||
428 | return reviver.call(holder, key, value); | ||
429 | } | ||
430 | |||
431 | |||
432 | // Parsing happens in four stages. In the first stage, we replace certain | ||
433 | // Unicode characters with escape sequences. JavaScript handles many characters | ||
434 | // incorrectly, either silently deleting them, or treating them as line endings. | ||
435 | |||
436 | cx.lastIndex = 0; | ||
437 | if (cx.test(text)) { | ||
438 | text = text.replace(cx, function (a) { | ||
439 | return '\\u' + | ||
440 | ('0000' + a.charCodeAt(0).toString(16)).slice(-4); | ||
441 | }); | ||
442 | } | ||
443 | |||
444 | // In the second stage, we run the text against regular expressions that look | ||
445 | // for non-JSON patterns. We are especially concerned with '()' and 'new' | ||
446 | // because they can cause invocation, and '=' because it can cause mutation. | ||
447 | // But just to be safe, we want to reject all unexpected forms. | ||
448 | |||
449 | // We split the second stage into 4 regexp operations in order to work around | ||
450 | // crippling inefficiencies in IE's and Safari's regexp engines. First we | ||
451 | // replace the JSON backslash pairs with '@' (a non-JSON character). Second, we | ||
452 | // replace all simple value tokens with ']' characters. Third, we delete all | ||
453 | // open brackets that follow a colon or comma or that begin the text. Finally, | ||
454 | // we look to see that the remaining characters are only whitespace or ']' or | ||
455 | // ',' or ':' or '{' or '}'. If that is so, then the text is safe for eval. | ||
456 | |||
457 | if (/^[\],:{}\s]*$/. | ||
458 | test(text.replace(/\\(?:["\\\/bfnrt]|u[0-9a-fA-F]{4})/g, '@'). | ||
459 | replace(/"[^"\\\n\r]*"|true|false|null|-?\d+(?:\.\d*)?(?:[eE][+\-]?\d+)?/g, ']'). | ||
460 | replace(/(?:^|:|,)(?:\s*\[)+/g, ''))) { | ||
461 | |||
462 | // In the third stage we use the eval function to compile the text into a | ||
463 | // JavaScript structure. The '{' operator is subject to a syntactic ambiguity | ||
464 | // in JavaScript: it can begin a block or an object literal. We wrap the text | ||
465 | // in parens to eliminate the ambiguity. | ||
466 | |||
467 | j = eval('(' + text + ')'); | ||
468 | |||
469 | // In the optional fourth stage, we recursively walk the new structure, passing | ||
470 | // each name/value pair to a reviver function for possible transformation. | ||
471 | |||
472 | return typeof reviver === 'function' ? | ||
473 | walk({'': j}, '') : j; | ||
474 | } | ||
475 | |||
476 | // If the text is not JSON parseable, then a SyntaxError is thrown. | ||
477 | |||
478 | throw new SyntaxError('JSON.parse'); | ||
479 | }; | ||
480 | } | ||
481 | })(); \ No newline at end of file | ||