summaryrefslogtreecommitdiffstats
path: root/js/src/tests/test262/built-ins/Proxy/setPrototypeOf/not-extensible-target-not-same-target-prototype.js
blob: 3c59f9a50e7cf44c8f6d628a43df64f55082a1de (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
// Copyright (C) 2015 the V8 project authors. All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.
/*---
es6id: 9.5.2
description: >
    Throws a TypeError exception if boolean trap result is true, target is
    not extensible, and the given parameter is not the same object as the target
    prototype.
info: |
    [[SetPrototypeOf]] (V)

    ...
    2. Let handler be the value of the [[ProxyHandler]] internal slot of O.
    ...
    5. Let target be the value of the [[ProxyTarget]] internal slot of O.
    6. Let trap be GetMethod(handler, "setPrototypeOf").
    ...
    9. Let booleanTrapResult be ToBoolean(Call(trap, handler, «target, V»)).
    14. Let targetProto be target.[[GetPrototypeOf]]().
    15. ReturnIfAbrupt(targetProto).
    16. If booleanTrapResult is true and SameValue(V, targetProto) is false,
    throw a TypeError exception.
    ...
features: [Proxy, Reflect, Reflect.setPrototypeOf]
---*/

var target, proxy;
target = {};
proxy = new Proxy(target, {
  setPrototypeOf: function() {
    return true;
  }
});

Object.preventExtensions(target);

assert.throws(TypeError, function() {
  Reflect.setPrototypeOf(proxy, {});
}, "target prototype is different");

var proto = {};
target = Object.setPrototypeOf({}, proto);
proxy = new Proxy(target, {
  setPrototypeOf: function() {
    Object.setPrototypeOf(target, {});
    Object.preventExtensions(target);
    return true;
  }
});

assert.throws(TypeError, function() {
  Reflect.setPrototypeOf(proxy, proto);
}, "target prototype is changed inside trap handler");

reportCompare(0, 0);