proxy-prevent-extensions.tq 2.47 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11
// Copyright 2019 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/builtins/builtins-proxy-gen.h'

namespace proxy {

  // ES #sec-proxy-object-internal-methods-and-internal-slots-preventextensions
  // https://tc39.es/ecma262/#sec-proxy-object-internal-methods-and-internal-slots-preventextensions
  transitioning builtin
12 13
  ProxyPreventExtensions(implicit context:
                             Context)(proxy: JSProxy, doThrow: Boolean): JSAny {
14 15 16 17 18 19
    PerformStackCheck();
    const kTrapName: constexpr string = 'preventExtensions';
    try {
      // 1. Let handler be O.[[ProxyHandler]].
      // 2. If handler is null, throw a TypeError exception.
      // 3. Assert: Type(handler) is Object.
20
      assert(proxy.handler == Null || Is<JSReceiver>(proxy.handler));
21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38
      const handler =
          Cast<JSReceiver>(proxy.handler) otherwise ThrowProxyHandlerRevoked;

      // 4. Let target be O.[[ProxyTarget]].
      const target = proxy.target;

      // 5. Let trap be ? GetMethod(handler, "preventExtensions").
      // 6. If trap is undefined, then (see 6.a below).
      const trap: Callable = GetMethod(handler, kTrapName)
          otherwise goto TrapUndefined(target);

      // 7. Let booleanTrapResult be ToBoolean(? Call(trap, handler, «
      // target»)).
      const trapResult = Call(context, trap, handler, target);

      // 8. If booleanTrapResult is true, then
      //    8.a. Let extensibleTarget be ? IsExtensible(target).
      //    8.b If extensibleTarget is true, throw a TypeError exception.
39
      if (ToBoolean(trapResult)) {
40
        const extensibleTarget: JSAny = object::ObjectIsExtensible(target);
41
        assert(extensibleTarget == True || extensibleTarget == False);
42
        if (extensibleTarget == True) {
43 44 45 46 47 48 49 50 51 52 53 54
          ThrowTypeError(kProxyPreventExtensionsExtensible);
        }
      } else {
        if (doThrow == True) {
          ThrowTypeError(kProxyTrapReturnedFalsish, kTrapName);
        }
        return False;
      }

      // 9. Return booleanTrapResult.
      return True;
    }
55
    label TrapUndefined(target: JSAny) {
56 57 58 59 60 61 62 63 64 65 66
      // 6.a. Return ? target.[[PreventExtensions]]().
      if (doThrow == True) {
        return object::ObjectPreventExtensionsThrow(target);
      }
      return object::ObjectPreventExtensionsDontThrow(target);
    }
    label ThrowProxyHandlerRevoked deferred {
      ThrowTypeError(kProxyRevoked, kTrapName);
    }
  }
}  // namespace proxy