Introduce v8::Object::CreateDataProperty

src/api.cc

 // Copyright 2012 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.
 
 #include "src/api.h"
 
 #include <string.h>  // For memcpy, strlen.
 #ifdef V8_USE_ADDRESS_SANITIZER
 #include <sanitizer/asan_interface.h>
 #endif  // V8_USE_ADDRESS_SANITIZER
@@ skipping 3443 matching lines @@
   return Just(true);
 }
 
 
 bool v8::Object::Set(uint32_t index, v8::Handle<Value> value) {
   auto context = ContextFromHeapObject(Utils::OpenHandle(this));
   return Set(context, index, value).FromMaybe(false);
 }
 
 
+Maybe<bool> v8::Object::CreateDataProperty(v8::Local<v8::Context> context,
+                                           v8::Local<Name> key,
+                                           v8::Local<Value> value) {
+  PREPARE_FOR_EXECUTION_PRIMITIVE(context, "v8::Object::CreateDataProperty()",
+                                  bool);
+  auto self = Utils::OpenHandle(this);
+  auto key_obj = Utils::OpenHandle(*key);
+  auto value_obj = Utils::OpenHandle(*value);
+  if (!self->IsExtensible()) return Just(false);
+
+  uint32_t index = 0;
+  if (key_obj->AsArrayIndex(&index)) {
+    return CreateDataProperty(context, index, value);
+  }
+
+  // Special case for Array.length.
+  if (self->IsJSArray() &&
+      key->StrictEquals(Utils::ToLocal(
+          isolate->factory()->NewStringFromStaticChars("length")))) {

[Toon Verwaest, 2015/05/27 09:50:06]

isolate->factory()->length_string()

+    // Length is not configurable, however, CreateDataProperty always attempts
+    // to create a configurable property, so we just fail here.
+    return Just(false);
+  }
+
+  i::LookupIterator it(self, key_obj, i::LookupIterator::OWN_SKIP_INTERCEPTOR);
+  if (it.IsFound() && it.state() == i::LookupIterator::ACCESS_CHECK) {
+    if (!isolate->MayAccess(self)) return Just(false);
+    it.Next();
+  }
+
+  if (it.state() == i::LookupIterator::DATA ||
+      it.state() == i::LookupIterator::ACCESSOR) {
+    if (it.property_details().attributes() & DONT_DELETE) return Just(false);

[Toon Verwaest, 2015/05/27 09:50:06]

!it.IsConfigurable()

+
+    if (it.state() == i::LookupIterator::ACCESSOR) {
+      has_pending_exception = i::JSObject::SetOwnPropertyIgnoreAttributes(
+                                  self, key_obj, value_obj, NONE,
+                                  i::JSObject::DONT_FORCE_FIELD).is_null();
+      RETURN_ON_FAILED_EXECUTION_PRIMITIVE(bool);
+      return Just(true);
+    }
+  }
+
+  has_pending_exception = i::Runtime::DefineObjectProperty(
+                              self, key_obj, value_obj, NONE).is_null();
+  RETURN_ON_FAILED_EXECUTION_PRIMITIVE(bool);
+  return Just(true);
+}
+
+
+Maybe<bool> v8::Object::CreateDataProperty(v8::Local<v8::Context> context,
+                                           uint32_t index,
+                                           v8::Local<Value> value) {
+  PREPARE_FOR_EXECUTION_PRIMITIVE(context, "v8::Object::CreateDataProperty()",
+                                  bool);
+  auto self = Utils::OpenHandle(this);
+  auto value_obj = Utils::OpenHandle(*value);
+  if (!self->IsExtensible()) return Just(false);
+
+  if (self->IsJSArray()) {
+    size_t length =
+        i::NumberToSize(isolate, i::Handle<i::JSArray>::cast(self)->length());
+    if (index >= length) {
+      i::Handle<i::Object> args[] = {
+          self, isolate->factory()->Uint32ToString(index), value_obj};
+      i::Handle<i::Object> result;
+      has_pending_exception =
+          !CallV8HeapFunction(isolate, "$objectDefineArrayProperty",
+                              isolate->factory()->undefined_value(),
+                              arraysize(args), args).ToHandle(&result);
+      RETURN_ON_FAILED_EXECUTION_PRIMITIVE(bool);
+      return Just(result->BooleanValue());
+    }
+  }
+
+  if (self->IsAccessCheckNeeded() && !isolate->MayAccess(self)) {

[Toon Verwaest, 2015/05/27 09:50:06]

According to  https://etherpad.mozilla.org/html5-cross-origin-objects  this
should throw an exception. If so, you'll have to move this up to the top of the
function and check it first.

+    return Just(false);
+  }
+
+  Maybe<PropertyAttributes> attributes =
+      i::JSReceiver::GetOwnElementAttribute(self, index);
+  if (attributes.IsJust() && attributes.FromJust() & DONT_DELETE) {
+    return Just(false);
+  }
+
+  has_pending_exception = i::Runtime::DefineObjectProperty(
+                              self, isolate->factory()->Uint32ToString(index),
+                              value_obj, NONE).is_null();
+  RETURN_ON_FAILED_EXECUTION_PRIMITIVE(bool);
+  return Just(true);
+}
+
+
 Maybe<bool> v8::Object::ForceSet(v8::Local<v8::Context> context,
                                  v8::Local<Value> key, v8::Local<Value> value,
                                  v8::PropertyAttribute attribs) {
   PREPARE_FOR_EXECUTION_PRIMITIVE(context, "v8::Object::Set()", bool);
   auto self = Utils::OpenHandle(this);
   auto key_obj = Utils::OpenHandle(*key);
   auto value_obj = Utils::OpenHandle(*value);
   has_pending_exception = i::Runtime::DefineObjectProperty(
       self,
       key_obj,
@@ skipping 4635 matching lines @@
   Isolate* isolate = reinterpret_cast<Isolate*>(info.GetIsolate());
   Address callback_address =
       reinterpret_cast<Address>(reinterpret_cast<intptr_t>(callback));
   VMState<EXTERNAL> state(isolate);
   ExternalCallbackScope call_scope(isolate, callback_address);
   callback(info);
 }
 
 
 } }  // namespace v8::internal