summaryrefslogtreecommitdiffstats
path: root/js/src/tests/non262/AsyncGenerators/cross-compartment.js
blob: 2cf577b126632549422b343e28fe714bc0eb5848 (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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
var g = newGlobal();
g.mainGlobal = this;

if (typeof isSameCompartment !== "function") {
  var isSameCompartment = SpecialPowers.Cu.getJSTestingFunctions().isSameCompartment;
}

var next = async function*(){}.prototype.next;

var f = g.eval(`(async function*() {
  var x = yield {message: "yield"};

  // Input completion values are correctly wrapped into |f|'s compartment.
  assertEq(isSameCompartment(x, mainGlobal), true);
  assertEq(x.message, "continue");

  return {message: "return"};
})`);

var it = f();

// The async iterator is same-compartment with |f|.
assertEq(isSameCompartment(it, f), true);

var p1 = next.call(it, {message: "initial yield"});

// The promise object is same-compartment with |f|.
assertEq(isSameCompartment(p1, f), true);

// Note: This doesn't follow the spec, which requires that only |p1 instanceof Promise| is true.
assertEq(p1 instanceof Promise || p1 instanceof g.Promise, true);

p1.then(v => {
  // The iterator result object is same-compartment with |f|.
  assertEq(isSameCompartment(v, f), true);
  assertEq(v.done, false);

  assertEq(isSameCompartment(v.value, f), true);
  assertEq(v.value.message, "yield");
});

var p2 = next.call(it, {message: "continue"});

// The promise object is same-compartment with |f|.
assertEq(isSameCompartment(p2, f), true);

// Note: This doesn't follow the spec, which requires that only |p2 instanceof Promise| is true.
assertEq(p2 instanceof Promise || p2 instanceof g.Promise, true);

p2.then(v => {
  // The iterator result object is same-compartment with |f|.
  assertEq(isSameCompartment(v, f), true);
  assertEq(v.done, true);

  assertEq(isSameCompartment(v.value, f), true);
  assertEq(v.value.message, "return");
});

var p3 = next.call(it, {message: "already finished"});

// The promise object is same-compartment with |f|.
assertEq(isSameCompartment(p3, f), true);

// Note: This doesn't follow the spec, which requires that only |p3 instanceof Promise| is true.
assertEq(p3 instanceof Promise || p3 instanceof g.Promise, true);

p3.then(v => {
  // The iterator result object is same-compartment with |f|.
  assertEq(isSameCompartment(v, f), true);
  assertEq(v.done, true);
  assertEq(v.value, undefined);
});

var p4 = next.call({}, {message: "bad |this| argument"});

// The promise object is same-compartment with |next|.
assertEq(isSameCompartment(p4, next), true);

// Only in this case we're following the spec and are creating the promise object
// in the correct realm.
assertEq(p4 instanceof Promise, true);

p4.then(() => {
  throw new Error("expected a TypeError");
}, e => {
  assertEq(e instanceof TypeError, true);
});

if (typeof reportCompare === "function")
  reportCompare(0, 0);