Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 1 | // Copyright 2009 the V8 project authors. All rights reserved. |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 2 | // Use of this source code is governed by a BSD-style license that can be |
| 3 | // found in the LICENSE file. |
| 4 | |
| 5 | "use strict"; |
| 6 | |
| 7 | // This file relies on the fact that the following declarations have been made |
| 8 | // in runtime.js: |
| 9 | // var $Array = global.Array; |
| 10 | // var $String = global.String; |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 11 | |
| 12 | var $JSON = global.JSON; |
| 13 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 14 | // ------------------------------------------------------------------- |
| 15 | |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 16 | function Revive(holder, name, reviver) { |
| 17 | var val = holder[name]; |
| 18 | if (IS_OBJECT(val)) { |
| 19 | if (IS_ARRAY(val)) { |
| 20 | var length = val.length; |
| 21 | for (var i = 0; i < length; i++) { |
| 22 | var newElement = Revive(val, $String(i), reviver); |
| 23 | val[i] = newElement; |
| 24 | } |
| 25 | } else { |
| 26 | for (var p in val) { |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 27 | if (%_CallFunction(val, p, ObjectHasOwnProperty)) { |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 28 | var newElement = Revive(val, p, reviver); |
| 29 | if (IS_UNDEFINED(newElement)) { |
| 30 | delete val[p]; |
| 31 | } else { |
| 32 | val[p] = newElement; |
| 33 | } |
| 34 | } |
| 35 | } |
| 36 | } |
| 37 | } |
Ben Murdoch | e0cee9b | 2011-05-25 10:26:03 +0100 | [diff] [blame] | 38 | return %_CallFunction(holder, name, val, reviver); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 39 | } |
| 40 | |
| 41 | function JSONParse(text, reviver) { |
Steve Block | 9fac840 | 2011-05-12 15:51:54 +0100 | [diff] [blame] | 42 | var unfiltered = %ParseJson(TO_STRING_INLINE(text)); |
Ben Murdoch | 589d697 | 2011-11-30 16:04:58 +0000 | [diff] [blame] | 43 | if (IS_SPEC_FUNCTION(reviver)) { |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 44 | return Revive({'': unfiltered}, '', reviver); |
| 45 | } else { |
| 46 | return unfiltered; |
| 47 | } |
| 48 | } |
| 49 | |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 50 | function SerializeArray(value, replacer, stack, indent, gap) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 51 | if (!%PushIfAbsent(stack, value)) { |
Ben Murdoch | e0cee9b | 2011-05-25 10:26:03 +0100 | [diff] [blame] | 52 | throw MakeTypeError('circular_structure', $Array()); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 53 | } |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 54 | var stepback = indent; |
| 55 | indent += gap; |
Ben Murdoch | e0cee9b | 2011-05-25 10:26:03 +0100 | [diff] [blame] | 56 | var partial = new InternalArray(); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 57 | var len = value.length; |
| 58 | for (var i = 0; i < len; i++) { |
| 59 | var strP = JSONSerialize($String(i), value, replacer, stack, |
| 60 | indent, gap); |
| 61 | if (IS_UNDEFINED(strP)) { |
| 62 | strP = "null"; |
| 63 | } |
| 64 | partial.push(strP); |
| 65 | } |
| 66 | var final; |
| 67 | if (gap == "") { |
| 68 | final = "[" + partial.join(",") + "]"; |
| 69 | } else if (partial.length > 0) { |
| 70 | var separator = ",\n" + indent; |
| 71 | final = "[\n" + indent + partial.join(separator) + "\n" + |
| 72 | stepback + "]"; |
| 73 | } else { |
| 74 | final = "[]"; |
| 75 | } |
| 76 | stack.pop(); |
| 77 | return final; |
| 78 | } |
| 79 | |
| 80 | function SerializeObject(value, replacer, stack, indent, gap) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 81 | if (!%PushIfAbsent(stack, value)) { |
Ben Murdoch | e0cee9b | 2011-05-25 10:26:03 +0100 | [diff] [blame] | 82 | throw MakeTypeError('circular_structure', $Array()); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 83 | } |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 84 | var stepback = indent; |
| 85 | indent += gap; |
Ben Murdoch | e0cee9b | 2011-05-25 10:26:03 +0100 | [diff] [blame] | 86 | var partial = new InternalArray(); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 87 | if (IS_ARRAY(replacer)) { |
| 88 | var length = replacer.length; |
| 89 | for (var i = 0; i < length; i++) { |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 90 | if (%_CallFunction(replacer, i, ObjectHasOwnProperty)) { |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 91 | var p = replacer[i]; |
| 92 | var strP = JSONSerialize(p, value, replacer, stack, indent, gap); |
| 93 | if (!IS_UNDEFINED(strP)) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 94 | var member = %QuoteJSONString(p) + ":"; |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 95 | if (gap != "") member += " "; |
| 96 | member += strP; |
| 97 | partial.push(member); |
| 98 | } |
| 99 | } |
| 100 | } |
| 101 | } else { |
| 102 | for (var p in value) { |
Steve Block | 1e0659c | 2011-05-24 12:43:12 +0100 | [diff] [blame] | 103 | if (%_CallFunction(value, p, ObjectHasOwnProperty)) { |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 104 | var strP = JSONSerialize(p, value, replacer, stack, indent, gap); |
| 105 | if (!IS_UNDEFINED(strP)) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 106 | var member = %QuoteJSONString(p) + ":"; |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 107 | if (gap != "") member += " "; |
| 108 | member += strP; |
| 109 | partial.push(member); |
| 110 | } |
| 111 | } |
| 112 | } |
| 113 | } |
| 114 | var final; |
| 115 | if (gap == "") { |
| 116 | final = "{" + partial.join(",") + "}"; |
| 117 | } else if (partial.length > 0) { |
| 118 | var separator = ",\n" + indent; |
| 119 | final = "{\n" + indent + partial.join(separator) + "\n" + |
| 120 | stepback + "}"; |
| 121 | } else { |
| 122 | final = "{}"; |
| 123 | } |
| 124 | stack.pop(); |
| 125 | return final; |
| 126 | } |
| 127 | |
| 128 | function JSONSerialize(key, holder, replacer, stack, indent, gap) { |
| 129 | var value = holder[key]; |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 130 | if (IS_SPEC_OBJECT(value)) { |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 131 | var toJSON = value.toJSON; |
Ben Murdoch | 589d697 | 2011-11-30 16:04:58 +0000 | [diff] [blame] | 132 | if (IS_SPEC_FUNCTION(toJSON)) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 133 | value = %_CallFunction(value, key, toJSON); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 134 | } |
| 135 | } |
Ben Murdoch | 589d697 | 2011-11-30 16:04:58 +0000 | [diff] [blame] | 136 | if (IS_SPEC_FUNCTION(replacer)) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 137 | value = %_CallFunction(holder, key, value, replacer); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 138 | } |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 139 | if (IS_STRING(value)) { |
| 140 | return %QuoteJSONString(value); |
| 141 | } else if (IS_NUMBER(value)) { |
Ben Murdoch | 3fb3ca8 | 2011-12-02 17:19:32 +0000 | [diff] [blame] | 142 | return JSON_NUMBER_TO_STRING(value); |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 143 | } else if (IS_BOOLEAN(value)) { |
| 144 | return value ? "true" : "false"; |
| 145 | } else if (IS_NULL(value)) { |
| 146 | return "null"; |
| 147 | } else if (IS_SPEC_OBJECT(value) && !(typeof value == "function")) { |
| 148 | // Non-callable object. If it's a primitive wrapper, it must be unwrapped. |
| 149 | if (IS_ARRAY(value)) { |
| 150 | return SerializeArray(value, replacer, stack, indent, gap); |
| 151 | } else if (IS_NUMBER_WRAPPER(value)) { |
| 152 | value = ToNumber(value); |
Ben Murdoch | 3fb3ca8 | 2011-12-02 17:19:32 +0000 | [diff] [blame] | 153 | return JSON_NUMBER_TO_STRING(value); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 154 | } else if (IS_STRING_WRAPPER(value)) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 155 | return %QuoteJSONString(ToString(value)); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 156 | } else if (IS_BOOLEAN_WRAPPER(value)) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 157 | return %_ValueOf(value) ? "true" : "false"; |
| 158 | } else { |
| 159 | return SerializeObject(value, replacer, stack, indent, gap); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 160 | } |
| 161 | } |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 162 | // Undefined or a callable object. |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 163 | return UNDEFINED; |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 164 | } |
| 165 | |
| 166 | |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 167 | function JSONStringify(value, replacer, space) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 168 | if (%_ArgumentsLength() == 1) { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 169 | return %BasicJSONStringify(value); |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 170 | } |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 171 | if (IS_OBJECT(space)) { |
| 172 | // Unwrap 'space' if it is wrapped |
| 173 | if (IS_NUMBER_WRAPPER(space)) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 174 | space = ToNumber(space); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 175 | } else if (IS_STRING_WRAPPER(space)) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 176 | space = ToString(space); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 177 | } |
| 178 | } |
| 179 | var gap; |
| 180 | if (IS_NUMBER(space)) { |
Ben Murdoch | b0fe162 | 2011-05-05 13:52:32 +0100 | [diff] [blame] | 181 | space = MathMax(0, MathMin(ToInteger(space), 10)); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 182 | gap = %_SubString(" ", 0, space); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 183 | } else if (IS_STRING(space)) { |
| 184 | if (space.length > 10) { |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 185 | gap = %_SubString(space, 0, 10); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 186 | } else { |
| 187 | gap = space; |
| 188 | } |
| 189 | } else { |
| 190 | gap = ""; |
| 191 | } |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 192 | if (IS_ARRAY(replacer)) { |
| 193 | // Deduplicate replacer array items. |
| 194 | var property_list = new InternalArray(); |
| 195 | var seen_properties = { __proto__: null }; |
| 196 | var seen_sentinel = {}; |
| 197 | var length = replacer.length; |
| 198 | for (var i = 0; i < length; i++) { |
| 199 | var item = replacer[i]; |
| 200 | if (IS_STRING_WRAPPER(item)) { |
| 201 | item = ToString(item); |
| 202 | } else { |
| 203 | if (IS_NUMBER_WRAPPER(item)) item = ToNumber(item); |
| 204 | if (IS_NUMBER(item)) item = %_NumberToString(item); |
| 205 | } |
| 206 | if (IS_STRING(item) && seen_properties[item] != seen_sentinel) { |
| 207 | property_list.push(item); |
| 208 | // We cannot use true here because __proto__ needs to be an object. |
| 209 | seen_properties[item] = seen_sentinel; |
| 210 | } |
| 211 | } |
| 212 | replacer = property_list; |
| 213 | } |
Ben Murdoch | e0cee9b | 2011-05-25 10:26:03 +0100 | [diff] [blame] | 214 | return JSONSerialize('', {'': value}, replacer, new InternalArray(), "", gap); |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 215 | } |
| 216 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 217 | |
| 218 | // ------------------------------------------------------------------- |
| 219 | |
Ben Murdoch | 589d697 | 2011-11-30 16:04:58 +0000 | [diff] [blame] | 220 | function SetUpJSON() { |
| 221 | %CheckIsBootstrapping(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 222 | |
Emily Bernier | d0a1eb7 | 2015-03-24 16:35:39 -0400 | [diff] [blame] | 223 | %AddNamedProperty($JSON, symbolToStringTag, "JSON", READ_ONLY | DONT_ENUM); |
| 224 | |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 225 | // Set up non-enumerable properties of the JSON object. |
Andrei Popescu | 3100271 | 2010-02-23 13:46:05 +0000 | [diff] [blame] | 226 | InstallFunctions($JSON, DONT_ENUM, $Array( |
| 227 | "parse", JSONParse, |
| 228 | "stringify", JSONStringify |
| 229 | )); |
| 230 | } |
| 231 | |
Ben Murdoch | 3ef787d | 2012-04-12 10:51:47 +0100 | [diff] [blame] | 232 | SetUpJSON(); |
Ben Murdoch | b8a8cc1 | 2014-11-26 15:28:44 +0000 | [diff] [blame] | 233 | |
| 234 | |
| 235 | // ------------------------------------------------------------------- |
| 236 | // JSON Builtins |
| 237 | |
| 238 | function JSONSerializeAdapter(key, object) { |
| 239 | var holder = {}; |
| 240 | holder[key] = object; |
| 241 | // No need to pass the actual holder since there is no replacer function. |
| 242 | return JSONSerialize(key, holder, UNDEFINED, new InternalArray(), "", ""); |
| 243 | } |