Private fields

src/runtime/runtime-classes.cc

 // Copyright 2014 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/runtime/runtime-utils.h"
 
 #include <stdlib.h>
 #include <limits>
 
 #include "src/arguments.h"
@@ skipping 57 matching lines @@
 RUNTIME_FUNCTION(Runtime_ThrowIfStaticPrototype) {
   HandleScope scope(isolate);
   DCHECK(args.length() == 1);
   CONVERT_ARG_HANDLE_CHECKED(Name, name, 0);
   if (Name::Equals(name, isolate->factory()->prototype_string())) {
     return ThrowStaticPrototypeError(isolate);
   }
   return *name;
 }
 
+RUNTIME_FUNCTION(Runtime_ThrowIfMissingPrivateField) {
+  // TODO(bakkot) it would be better if this were done as part of the property
+  // lookup, instead of prior to it.
+  // Currently the parser emits code which looks like
+  // %ThrowIfMissingPrivateField(x, field)[field]
+  HandleScope scope(isolate);
+  DCHECK(args.length() == 2);
+  CONVERT_ARG_HANDLE_CHECKED(Object, object, 0);
+  CONVERT_ARG_HANDLE_CHECKED(Symbol, name, 1);
+  DCHECK(name->is_private());
+
+  if (!object->IsJSReceiver() ||
+      !JSReceiver::HasOwnProperty(Handle<JSReceiver>::cast(object), name)
+           .FromMaybe(false)) {  // Note that this does not trigger proxy traps
+                                 // when name is a private symbol.
+    THROW_NEW_ERROR_RETURN_FAILURE(
+        isolate, NewTypeError(MessageTemplate::kMissingPrivateField));
+  }
+  return *object;  // This is used; after calling this method the field is
+                   // immediately accessed.
+}
 
 RUNTIME_FUNCTION(Runtime_HomeObjectSymbol) {
   DCHECK(args.length() == 0);
   return isolate->heap()->home_object_symbol();
 }
 
 static MaybeHandle<Object> DefineClass(Isolate* isolate,
                                        Handle<Object> super_class,
                                        Handle<JSFunction> constructor,
                                        int start_position, int end_position) {
@@ skipping 302 matching lines @@
 
 RUNTIME_FUNCTION(Runtime_GetSuperConstructor) {
   SealHandleScope shs(isolate);
   DCHECK_EQ(1, args.length());
   CONVERT_ARG_CHECKED(JSFunction, active_function, 0);
   return active_function->map()->prototype();
 }
 
 }  // namespace internal
 }  // namespace v8