[proxies] Support proxies in JSON.parse and JSON.stringify.

src/js/json.js

 // Copyright 2009 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 (function(global, utils) {
 
 "use strict";
 
 %CheckIsBootstrapping();
 
 // -------------------------------------------------------------------
 // Imports
 
 var GlobalJSON = global.JSON;
+var GlobalSet = global.Set;
 var InternalArray = utils.InternalArray;
 var MakeTypeError;
 var MaxSimple;
 var MinSimple;
 var ObjectHasOwnProperty;
 var ObjectKeys;
 var toStringTagSymbol = utils.ImportNow("to_string_tag_symbol");
 
 utils.Import(function(from) {
   MakeTypeError = from.MakeTypeError;
   MaxSimple = from.MaxSimple;
   MinSimple = from.MinSimple;
   ObjectHasOwnProperty = from.ObjectHasOwnProperty;
   ObjectKeys = from.ObjectKeys;
 });
 
 // -------------------------------------------------------------------
 
+function CreateDataProperty(o, p, v) {
+  var desc = {value: v, enumerable: true, writable: true, configurable: true};
+  return %reflect_define_property(o, p, desc);
+}
+
+
 function InternalizeJSONProperty(holder, name, reviver) {
   var val = holder[name];
-  if (IS_OBJECT(val) && val !== null) {
-    if (IS_ARRAY(val)) {
-      var length = val.length;
+  if (IS_SPEC_OBJECT(val)) {
+    if (%is_arraylike(val)) {
+      var length = TO_LENGTH(val.length);
       for (var i = 0; i < length; i++) {
         var newElement =
             InternalizeJSONProperty(val, %_NumberToString(i), reviver);
         if (IS_UNDEFINED(newElement)) {
-          delete val[i];
+          %reflect_delete_property(val, i);
         } else {
-          val[i] = newElement;
+          CreateDataProperty(val, i, newElement);
         }
       }
     } else {
       for (var p of ObjectKeys(val)) {
         var newElement = InternalizeJSONProperty(val, p, reviver);
         if (IS_UNDEFINED(newElement)) {
-          delete val[p];
+          %reflect_delete_property(val, p);
         } else {
-          val[p] = newElement;
+          CreateDataProperty(val, p, newElement);
         }
       }
     }
   }
   return %_Call(reviver, holder, name, val);
 }
 
 
 function JSONParse(text, reviver) {
   var unfiltered = %ParseJson(text);
   if (IS_CALLABLE(reviver)) {
     return InternalizeJSONProperty({'': unfiltered}, '', reviver);
   } else {
     return unfiltered;
   }
 }
 
 
 function SerializeArray(value, replacer, stack, indent, gap) {
   if (!%PushIfAbsent(stack, value)) throw MakeTypeError(kCircularStructure);
   var stepback = indent;
   indent += gap;
   var partial = new InternalArray();
-  var len = value.length;
+  var len = TO_LENGTH(value.length);
   for (var i = 0; i < len; i++) {
     var strP = JSONSerialize(%_NumberToString(i), value, replacer, stack,
                              indent, gap);
     if (IS_UNDEFINED(strP)) {
       strP = "null";
     }
     partial.push(strP);
   }
   var final;
   if (gap == "") {
@@ skipping 11 matching lines @@
 
 
 function SerializeObject(value, replacer, stack, indent, gap) {
   if (!%PushIfAbsent(stack, value)) throw MakeTypeError(kCircularStructure);
   var stepback = indent;
   indent += gap;
   var partial = new InternalArray();
   if (IS_ARRAY(replacer)) {
     var length = replacer.length;
     for (var i = 0; i < length; i++) {
-      if (HAS_OWN_PROPERTY(replacer, i)) {
-        var p = replacer[i];
-        var strP = JSONSerialize(p, value, replacer, stack, indent, gap);
-        if (!IS_UNDEFINED(strP)) {
-          var member = %QuoteJSONString(p) + ":";
-          if (gap != "") member += " ";
-          member += strP;
-          partial.push(member);
-        }
+      var p = replacer[i];
+      var strP = JSONSerialize(p, value, replacer, stack, indent, gap);
+      if (!IS_UNDEFINED(strP)) {
+        var member = %QuoteJSONString(p) + ":";
+        if (gap != "") member += " ";
+        member += strP;
+        partial.push(member);
       }
     }
   } else {
-    for (var p in value) {
-      if (HAS_OWN_PROPERTY(value, p)) {
-        var strP = JSONSerialize(p, value, replacer, stack, indent, gap);
-        if (!IS_UNDEFINED(strP)) {
-          var member = %QuoteJSONString(p) + ":";
-          if (gap != "") member += " ";
-          member += strP;
-          partial.push(member);
-        }
+    for (var p of ObjectKeys(value)) {
+      var strP = JSONSerialize(p, value, replacer, stack, indent, gap);
+      if (!IS_UNDEFINED(strP)) {
+        var member = %QuoteJSONString(p) + ":";
+        if (gap != "") member += " ";
+        member += strP;
+        partial.push(member);
       }
     }
   }
   var final;
   if (gap == "") {
     final = "{" + partial.join(",") + "}";
   } else if (partial.length > 0) {
     var separator = ",\n" + indent;
     final = "{\n" + indent + partial.join(separator) + "\n" +
         stepback + "}";
@@ skipping 19 matching lines @@
   if (IS_STRING(value)) {
     return %QuoteJSONString(value);
   } else if (IS_NUMBER(value)) {
     return JSON_NUMBER_TO_STRING(value);
   } else if (IS_BOOLEAN(value)) {
     return value ? "true" : "false";
   } else if (IS_NULL(value)) {
     return "null";
   } else if (IS_SPEC_OBJECT(value) && !IS_CALLABLE(value)) {
     // Non-callable object. If it's a primitive wrapper, it must be unwrapped.
-    if (IS_ARRAY(value)) {
+    if (%is_arraylike(value)) {
       return SerializeArray(value, replacer, stack, indent, gap);
     } else if (IS_NUMBER_WRAPPER(value)) {
       value = TO_NUMBER(value);
       return JSON_NUMBER_TO_STRING(value);
     } else if (IS_STRING_WRAPPER(value)) {
       return %QuoteJSONString(TO_STRING(value));
     } else if (IS_BOOLEAN_WRAPPER(value)) {
       return %_ValueOf(value) ? "true" : "false";
     } else {
       return SerializeObject(value, replacer, stack, indent, gap);
     }
   }
   // Undefined or a callable object.
   return UNDEFINED;
 }
 
 
 function JSONStringify(value, replacer, space) {
-  if (%_ArgumentsLength() == 1) {
+  if (%_ArgumentsLength() == 1 && !%_IsJSProxy(value)) {
     return %BasicJSONStringify(value);
   }
-  if (IS_ARRAY(replacer)) {
-    // Deduplicate replacer array items.
+  if (!IS_CALLABLE(replacer) && %is_arraylike(replacer)) {
     var property_list = new InternalArray();
-    var seen_properties = { __proto__: null };
-    var length = replacer.length;
+    var seen_properties = new GlobalSet();
+    var length = TO_LENGTH(replacer.length);
     for (var i = 0; i < length; i++) {
       var v = replacer[i];
       var item;
       if (IS_STRING(v)) {
         item = v;
       } else if (IS_NUMBER(v)) {
         item = %_NumberToString(v);
       } else if (IS_STRING_WRAPPER(v) || IS_NUMBER_WRAPPER(v)) {
         item = TO_STRING(v);
       } else {
         continue;
       }
-      if (!seen_properties[item]) {
+      if (!seen_properties.has(item)) {
         property_list.push(item);
-        seen_properties[item] = true;
+        seen_properties.add(item);
       }
     }
     replacer = property_list;
   }
   if (IS_OBJECT(space)) {
     // Unwrap 'space' if it is wrapped
     if (IS_NUMBER_WRAPPER(space)) {
       space = TO_NUMBER(space);
     } else if (IS_STRING_WRAPPER(space)) {
       space = TO_STRING(space);
@@ skipping 31 matching lines @@
 function JsonSerializeAdapter(key, object) {
   var holder = {};
   holder[key] = object;
   // No need to pass the actual holder since there is no replacer function.
   return JSONSerialize(key, holder, UNDEFINED, new InternalArray(), "", "");
 }
 
 %InstallToContext(["json_serialize_adapter", JsonSerializeAdapter]);
 
 })