1// Copyright 2009 the V8 project authors. All rights reserved.
2// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6//     * Redistributions of source code must retain the above copyright
7//       notice, this list of conditions and the following disclaimer.
8//     * Redistributions in binary form must reproduce the above
9//       copyright notice, this list of conditions and the following
10//       disclaimer in the documentation and/or other materials provided
11//       with the distribution.
12//     * Neither the name of Google Inc. nor the names of its
13//       contributors may be used to endorse or promote products derived
14//       from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28// Date toJSON
29assertEquals("1970-01-01T00:00:00.000Z", new Date(0).toJSON());
30assertEquals("1979-01-11T08:00:00.000Z", new Date("1979-01-11 08:00 GMT").toJSON());
31assertEquals("2005-05-05T05:05:05.000Z", new Date("2005-05-05 05:05:05 GMT").toJSON());
32var n1 = new Date(10000);
33n1.toISOString = function () { return "foo"; };
34assertEquals("foo", n1.toJSON());
35var n2 = new Date(10001);
36n2.toISOString = null;
37assertThrows(function () { n2.toJSON(); }, TypeError);
38var n4 = new Date(10003);
39n4.toISOString = function () {
40  assertEquals(0, arguments.length);
41  assertEquals(this, n4);
42  return null;
43};
44assertEquals(null, n4.toJSON());
45
46assertTrue(Object.prototype === JSON.__proto__);
47assertEquals("[object JSON]", Object.prototype.toString.call(JSON));
48
49//Test Date.prototype.toJSON as generic function.
50var d1 = {toJSON: Date.prototype.toJSON,
51         toISOString: function() { return 42; }};
52assertEquals(42, d1.toJSON());
53
54var d2 = {toJSON: Date.prototype.toJSON,
55          valueOf: function() { return Infinity; },
56          toISOString: function() { return 42; }};
57assertEquals(null, d2.toJSON());
58
59var d3 = {toJSON: Date.prototype.toJSON,
60          valueOf: "not callable",
61          toString: function() { return Infinity; },
62          toISOString: function() { return 42; }};
63
64assertEquals(null, d3.toJSON());
65
66var d4 = {toJSON: Date.prototype.toJSON,
67          valueOf: "not callable",
68          toString: "not callable either",
69          toISOString: function() { return 42; }};
70assertThrows("d4.toJSON()", TypeError);  // ToPrimitive throws.
71
72var d5 = {toJSON: Date.prototype.toJSON,
73          valueOf: "not callable",
74          toString: function() { return "Infinity"; },
75          toISOString: function() { return 42; }};
76assertEquals(42, d5.toJSON());
77
78var d6 = {toJSON: Date.prototype.toJSON,
79          toISOString: function() { return ["not primitive"]; }};
80assertEquals(["not primitive"], d6.toJSON());
81
82var d7 = {toJSON: Date.prototype.toJSON,
83          ISOString: "not callable"};
84assertThrows("d7.toJSON()", TypeError);
85
86// DontEnum
87for (var p in this) {
88  assertFalse(p == "JSON");
89}
90
91// Parse
92assertEquals({}, JSON.parse("{}"));
93assertEquals({42:37}, JSON.parse('{"42":37}'));
94assertEquals(null, JSON.parse("null"));
95assertEquals(true, JSON.parse("true"));
96assertEquals(false, JSON.parse("false"));
97assertEquals("foo", JSON.parse('"foo"'));
98assertEquals("f\no", JSON.parse('"f\\no"'));
99assertEquals("\b\f\n\r\t\"\u2028\/\\",
100             JSON.parse('"\\b\\f\\n\\r\\t\\"\\u2028\\/\\\\"'));
101assertEquals([1.1], JSON.parse("[1.1]"));
102assertEquals([1], JSON.parse("[1.0]"));
103
104assertEquals(0, JSON.parse("0"));
105assertEquals(1, JSON.parse("1"));
106assertEquals(0.1, JSON.parse("0.1"));
107assertEquals(1.1, JSON.parse("1.1"));
108assertEquals(1.1, JSON.parse("1.100000"));
109assertEquals(1.111111, JSON.parse("1.111111"));
110assertEquals(-0, JSON.parse("-0"));
111assertEquals(-1, JSON.parse("-1"));
112assertEquals(-0.1, JSON.parse("-0.1"));
113assertEquals(-1.1, JSON.parse("-1.1"));
114assertEquals(-1.1, JSON.parse("-1.100000"));
115assertEquals(-1.111111, JSON.parse("-1.111111"));
116assertEquals(11, JSON.parse("1.1e1"));
117assertEquals(11, JSON.parse("1.1e+1"));
118assertEquals(0.11, JSON.parse("1.1e-1"));
119assertEquals(11, JSON.parse("1.1E1"));
120assertEquals(11, JSON.parse("1.1E+1"));
121assertEquals(0.11, JSON.parse("1.1E-1"));
122
123assertEquals([], JSON.parse("[]"));
124assertEquals([1], JSON.parse("[1]"));
125assertEquals([1, "2", true, null], JSON.parse('[1, "2", true, null]'));
126
127assertEquals("", JSON.parse('""'));
128assertEquals(["", "", -0, ""], JSON.parse('[    ""  ,    ""  ,   -0,    ""]'));
129assertEquals("", JSON.parse('""'));
130
131
132function GetFilter(name) {
133  function Filter(key, value) {
134    return (key == name) ? undefined : value;
135  }
136  return Filter;
137}
138
139var pointJson = '{"x": 1, "y": 2}';
140assertEquals({'x': 1, 'y': 2}, JSON.parse(pointJson));
141assertEquals({'x': 1}, JSON.parse(pointJson, GetFilter('y')));
142assertEquals({'y': 2}, JSON.parse(pointJson, GetFilter('x')));
143assertEquals([1, 2, 3], JSON.parse("[1, 2, 3]"));
144assertEquals([1, undefined, 3], JSON.parse("[1, 2, 3]", GetFilter(1)));
145assertEquals([1, 2, undefined], JSON.parse("[1, 2, 3]", GetFilter(2)));
146
147function DoubleNumbers(key, value) {
148  return (typeof value == 'number') ? 2 * value : value;
149}
150
151var deepObject = '{"a": {"b": 1, "c": 2}, "d": {"e": {"f": 3}}}';
152assertEquals({"a": {"b": 1, "c": 2}, "d": {"e": {"f": 3}}},
153             JSON.parse(deepObject));
154assertEquals({"a": {"b": 2, "c": 4}, "d": {"e": {"f": 6}}},
155             JSON.parse(deepObject, DoubleNumbers));
156
157function TestInvalid(str) {
158  assertThrows(function () { JSON.parse(str); }, SyntaxError);
159}
160
161TestInvalid('abcdef');
162TestInvalid('isNaN()');
163TestInvalid('{"x": [1, 2, deepObject]}');
164TestInvalid('[1, [2, [deepObject], 3], 4]');
165TestInvalid('function () { return 0; }');
166
167TestInvalid("[1, 2");
168TestInvalid('{"x": 3');
169
170// JavaScript number literals not valid in JSON.
171TestInvalid('[01]');
172TestInvalid('[.1]');
173TestInvalid('[1.]');
174TestInvalid('[1.e1]');
175TestInvalid('[-.1]');
176TestInvalid('[-1.]');
177
178// Plain invalid number literals.
179TestInvalid('-');
180TestInvalid('--1');
181TestInvalid('-1e');
182TestInvalid('1e--1]');
183TestInvalid('1e+-1');
184TestInvalid('1e-+1');
185TestInvalid('1e++1');
186
187// JavaScript string literals not valid in JSON.
188TestInvalid("'single quote'");  // Valid JavaScript
189TestInvalid('"\\a invalid escape"');
190TestInvalid('"\\v invalid escape"');  // Valid JavaScript
191TestInvalid('"\\\' invalid escape"');  // Valid JavaScript
192TestInvalid('"\\x42 invalid escape"');  // Valid JavaScript
193TestInvalid('"\\u202 invalid escape"');
194TestInvalid('"\\012 invalid escape"');
195TestInvalid('"Unterminated string');
196TestInvalid('"Unterminated string\\"');
197TestInvalid('"Unterminated string\\\\\\"');
198
199// Test bad JSON that would be good JavaScript (ES5).
200TestInvalid("{true:42}");
201TestInvalid("{false:42}");
202TestInvalid("{null:42}");
203TestInvalid("{'foo':42}");
204TestInvalid("{42:42}");
205TestInvalid("{0:42}");
206TestInvalid("{-1:42}");
207
208// Test for trailing garbage detection.
209TestInvalid('42 px');
210TestInvalid('42 .2');
211TestInvalid('42 2');
212TestInvalid('42 e1');
213TestInvalid('"42" ""');
214TestInvalid('"42" ""');
215TestInvalid('"" ""');
216TestInvalid('true ""');
217TestInvalid('false ""');
218TestInvalid('null ""');
219TestInvalid('null ""');
220TestInvalid('[] ""');
221TestInvalid('[true] ""');
222TestInvalid('{} ""');
223TestInvalid('{"x":true} ""');
224TestInvalid('"Garbage""After string"');
225
226// Stringify
227
228assertEquals("true", JSON.stringify(true));
229assertEquals("false", JSON.stringify(false));
230assertEquals("null", JSON.stringify(null));
231assertEquals("false", JSON.stringify({toJSON: function () { return false; }}));
232assertEquals("4", JSON.stringify(4));
233assertEquals('"foo"', JSON.stringify("foo"));
234assertEquals("null", JSON.stringify(Infinity));
235assertEquals("null", JSON.stringify(-Infinity));
236assertEquals("null", JSON.stringify(NaN));
237assertEquals("4", JSON.stringify(new Number(4)));
238assertEquals('"bar"', JSON.stringify(new String("bar")));
239
240assertEquals('"foo\\u0000bar"', JSON.stringify("foo\0bar"));
241assertEquals('"f\\"o\'o\\\\b\\ba\\fr\\nb\\ra\\tz"',
242             JSON.stringify("f\"o\'o\\b\ba\fr\nb\ra\tz"));
243
244assertEquals("[1,2,3]", JSON.stringify([1, 2, 3]));
245assertEquals("[\n 1,\n 2,\n 3\n]", JSON.stringify([1, 2, 3], null, 1));
246assertEquals("[\n  1,\n  2,\n  3\n]", JSON.stringify([1, 2, 3], null, 2));
247assertEquals("[\n  1,\n  2,\n  3\n]",
248             JSON.stringify([1, 2, 3], null, new Number(2)));
249assertEquals("[\n^1,\n^2,\n^3\n]", JSON.stringify([1, 2, 3], null, "^"));
250assertEquals("[\n^1,\n^2,\n^3\n]",
251             JSON.stringify([1, 2, 3], null, new String("^")));
252assertEquals("[\n 1,\n 2,\n [\n  3,\n  [\n   4\n  ],\n  5\n ],\n 6,\n 7\n]",
253             JSON.stringify([1, 2, [3, [4], 5], 6, 7], null, 1));
254assertEquals("[]", JSON.stringify([], null, 1));
255assertEquals("[1,2,[3,[4],5],6,7]",
256             JSON.stringify([1, 2, [3, [4], 5], 6, 7], null));
257assertEquals("[2,4,[6,[8],10],12,14]",
258             JSON.stringify([1, 2, [3, [4], 5], 6, 7], DoubleNumbers));
259assertEquals('["a","ab","abc"]', JSON.stringify(["a","ab","abc"]));
260
261var circular = [1, 2, 3];
262circular[2] = circular;
263assertThrows(function () { JSON.stringify(circular); }, TypeError);
264
265var singleton = [];
266var multiOccurrence = [singleton, singleton, singleton];
267assertEquals("[[],[],[]]", JSON.stringify(multiOccurrence));
268
269assertEquals('{"x":5,"y":6}', JSON.stringify({x:5,y:6}));
270assertEquals('{"x":5}', JSON.stringify({x:5,y:6}, ['x']));
271assertEquals('{\n "a": "b",\n "c": "d"\n}',
272             JSON.stringify({a:"b",c:"d"}, null, 1));
273assertEquals('{"y":6,"x":5}', JSON.stringify({x:5,y:6}, ['y', 'x']));
274
275// toJSON get string keys.
276var checker = {};
277var array = [checker];
278checker.toJSON = function(key) { return 1 + key; };
279assertEquals('["10"]', JSON.stringify(array));
280
281// The gap is capped at ten characters if specified as string.
282assertEquals('{\n          "a": "b",\n          "c": "d"\n}',
283              JSON.stringify({a:"b",c:"d"}, null,
284                             "          /*characters after 10th*/"));
285
286//The gap is capped at ten characters if specified as number.
287assertEquals('{\n          "a": "b",\n          "c": "d"\n}',
288              JSON.stringify({a:"b",c:"d"}, null, 15));
289
290// Replaced wrapped primitives are unwrapped.
291function newx(k, v)  { return (k == "x") ? new v(42) : v; }
292assertEquals('{"x":"42"}', JSON.stringify({x: String}, newx));
293assertEquals('{"x":42}', JSON.stringify({x: Number}, newx));
294assertEquals('{"x":true}', JSON.stringify({x: Boolean}, newx));
295
296assertEquals(undefined, JSON.stringify(undefined));
297assertEquals(undefined, JSON.stringify(function () { }));
298// Arrays with missing, undefined or function elements have those elements
299// replaced by null.
300assertEquals("[null,null,null]",
301             JSON.stringify([undefined,,function(){}]));
302
303// Objects with undefined or function properties (including replaced properties)
304// have those properties ignored.
305assertEquals('{}',
306             JSON.stringify({a: undefined, b: function(){}, c: 42, d: 42},
307                            function(k, v) { if (k == "c") return undefined;
308                                             if (k == "d") return function(){};
309                                             return v; }));
310
311TestInvalid('1); throw "foo"; (1');
312
313var x = 0;
314eval("(1); x++; (1)");
315TestInvalid('1); x++; (1');
316
317// Test string conversion of argument.
318var o = { toString: function() { return "42"; } };
319assertEquals(42, JSON.parse(o));
320
321
322for (var i = 0; i < 65536; i++) {
323  var string = String.fromCharCode(i);
324  var encoded = JSON.stringify(string);
325  var expected = "uninitialized";
326  // Following the ES5 specification of the abstraction function Quote.
327  if (string == '"' || string == '\\') {
328    // Step 2.a
329    expected = '\\' + string;
330  } else if ("\b\t\n\r\f".indexOf(string) >= 0) {
331    // Step 2.b
332    if (string == '\b') expected = '\\b';
333    else if (string == '\t') expected = '\\t';
334    else if (string == '\n') expected = '\\n';
335    else if (string == '\f') expected = '\\f';
336    else if (string == '\r') expected = '\\r';
337  } else if (i < 32) {
338    // Step 2.c
339    if (i < 16) {
340      expected = "\\u000" + i.toString(16);
341    } else {
342      expected = "\\u00" + i.toString(16);
343    }
344  } else {
345    expected = string;
346  }
347  assertEquals('"' + expected + '"', encoded, "Codepoint " + i);
348}
349
350
351// Ensure that wrappers and callables are handled correctly.
352var num37 = new Number(42);
353num37.valueOf = function() { return 37; };
354
355var numFoo = new Number(42);
356numFoo.valueOf = "not callable";
357numFoo.toString = function() { return "foo"; };
358
359var numTrue = new Number(42);
360numTrue.valueOf = function() { return true; }
361
362var strFoo = new String("bar");
363strFoo.toString = function() { return "foo"; };
364
365var str37 = new String("bar");
366str37.toString = "not callable";
367str37.valueOf = function() { return 37; };
368
369var strTrue = new String("bar");
370strTrue.toString = function() { return true; }
371
372var func = function() { /* Is callable */ };
373
374var funcJSON = function() { /* Is callable */ };
375funcJSON.toJSON = function() { return "has toJSON"; };
376
377var re = /Is callable/;
378
379var reJSON = /Is callable/;
380reJSON.toJSON = function() { return "has toJSON"; };
381
382assertEquals(
383    '[37,null,1,"foo","37","true",null,"has toJSON",{},"has toJSON"]',
384    JSON.stringify([num37, numFoo, numTrue,
385                    strFoo, str37, strTrue,
386                    func, funcJSON, re, reJSON]));
387
388
389var oddball = Object(42);
390oddball.__proto__ = { __proto__: null, toString: function() { return true; } };
391assertEquals('1', JSON.stringify(oddball));
392
393var getCount = 0;
394var callCount = 0;
395var counter = { get toJSON() { getCount++;
396                               return function() { callCount++;
397                                                   return 42; }; } };
398
399// RegExps are not callable, so they are stringified as objects.
400assertEquals('{}', JSON.stringify(/regexp/));
401assertEquals('42', JSON.stringify(counter));
402assertEquals(1, getCount);
403assertEquals(1, callCount);
404
405var oddball2 = Object(42);
406var oddball3 = Object("foo");
407oddball3.__proto__ = { __proto__: null,
408                       toString: "not callable",
409                       valueOf: function() { return true; } };
410oddball2.__proto__ = { __proto__: null,
411                       toJSON: function () { return oddball3; } }
412assertEquals('"true"', JSON.stringify(oddball2));
413
414
415var falseNum = Object("37");
416falseNum.__proto__ = Number.prototype;
417falseNum.toString = function() { return 42; };
418assertEquals('"42"', JSON.stringify(falseNum));
419
420// We don't currently allow plain properties called __proto__ in JSON
421// objects in JSON.parse. Instead we read them as we would JS object
422// literals. If we change that, this test should change with it.
423//
424// Parse a non-object value as __proto__. This must not create a
425// __proto__ property different from the original, and should not
426// change the original.
427var o = JSON.parse('{"__proto__":5}');
428assertEquals(Object.prototype, o.__proto__);  // __proto__ isn't changed.
429assertEquals(0, Object.keys(o).length);  // __proto__ isn't added as enumerable.
430
431
432
433