cross-compartment.js

Enable keyboard shortcuts

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);