Add tests for AsyncContext (Stage 2)

features.txt

@@ -105,6 +105,10 @@ promise-with-resolvers
 # https://github.com/tc39/proposal-set-methods
 set-methods
 
+# AsyncContext
+# https://github.com/tc39/proposal-async-context
+AsyncContext
+
 ## Standard language features
 #
 # Language features that have been included in a published version of the

test/built-ins/AsyncContext/Snapshot/constructor.js

@@ -0,0 +1,16 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot-constructor
+description: >
+    The AsyncContext.Snapshot constructor is the %AsyncContext.Snapshot%
+    intrinsic object and the initial value of the Snapshot property of the
+    %AsyncContext% object.
+features: [AsyncContext]
+---*/
+
+assert.sameValue(
+  typeof AsyncContext.Snapshot, 'function',
+  'typeof AsyncContext.Snapshot is function'
+);

test/built-ins/AsyncContext/Snapshot/instance-extensible.js

@@ -0,0 +1,11 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot
+description: Instances of AsyncContext.Snapshot are extensible
+features: [AsyncContext]
+---*/
+
+var asyncSnapshot = new AsyncContext.Snapshot();
+assert.sameValue(Object.isExtensible(asyncSnapshot), true);

test/built-ins/AsyncContext/Snapshot/instance-prototype.js

@@ -0,0 +1,20 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot.prototype
+description: >
+  The initial value of AsyncContext.Snapshot.prototype is the
+  AsyncContext.Snapshot prototype object.
+includes: [propertyHelper.js]
+features: [AsyncContext]
+---*/
+
+assert.sameValue(
+  AsyncContext.Snapshot.prototype.isPrototypeOf(new AsyncContext.Snapshot()), true,
+  'AsyncContext.Snapshot.prototype.isPrototypeOf(new AsyncContext.Snapshot()) returns true'
+);
+
+verifyNotEnumerable(AsyncContext.Snapshot, 'prototype');
+verifyNotWritable(AsyncContext.Snapshot, 'prototype');
+verifyNotConfigurable(AsyncContext.Snapshot, 'prototype');

test/built-ins/AsyncContext/Snapshot/internal-prototype.js

@@ -0,0 +1,16 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-properties-of-the-asynccontext-snapshot-constructor
+description: >
+  The AsyncContext.Snapshot constructor has a [[Prototype]] internal slot whose
+  value is %Function.prototype%.
+features: [AsyncContext]
+---*/
+
+assert.sameValue(
+  Function.prototype.isPrototypeOf(AsyncContext.Snapshot),
+  true,
+  'Function.prototype.isPrototypeOf(AsyncContext.Snapshot) returns true'
+);

test/built-ins/AsyncContext/Snapshot/is-a-constructor.js

@@ -0,0 +1,12 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot-constructor
+description: The AsyncContext.Snapshot constructor implements [[Construct]]
+includes: [isConstructor.js]
+features: [AsyncContext, Reflect.construct]
+---*/
+
+assert.sameValue(isConstructor(AsyncContext.Snapshot), true, 'isConstructor(AsyncContext.Snapshot) must return true');
+new AsyncContext.Snapshot();

test/built-ins/AsyncContext/Snapshot/length.js

@@ -0,0 +1,16 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot
+description: AsyncContext.Snapshot.length property descriptor
+includes: [propertyHelper.js]
+features: [AsyncContext]
+---*/
+
+verifyProperty(AsyncContext.Snapshot, 'length', {
+  value: 0,
+  writable: false,
+  enumerable: false,
+  configurable: true
+});

test/built-ins/AsyncContext/Snapshot/name.js

@@ -0,0 +1,15 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot
+description: AsyncContext.Snapshot.name value and descriptor
+includes: [propertyHelper.js]
+features: [AsyncContext]
+---*/
+
+assert.sameValue(AsyncContext.Snapshot.name, 'Snapshot', 'The value of AsyncContext.Snapshot.name is "Snapshot"');
+
+verifyNotEnumerable(AsyncContext.Snapshot, 'name');
+verifyNotWritable(AsyncContext.Snapshot, 'name');
+verifyConfigurable(AsyncContext.Snapshot, 'name');

test/built-ins/AsyncContext/Snapshot/prototype/Symbol.toStringTag.js

@@ -0,0 +1,22 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot.prototype-@@tostringtag
+description: >
+    `Symbol.toStringTag` property descriptor
+info: |
+    The initial value of the @@toStringTag property is the String value
+    "AsyncContext.Snapshot".
+
+    This property has the attributes { [[Writable]]: false, [[Enumerable]]:
+    false, [[Configurable]]: true }.
+includes: [propertyHelper.js]
+features: [AsyncContext, Symbol.toStringTag]
+---*/
+
+assert.sameValue(AsyncContext.Snapshot.prototype[Symbol.toStringTag], 'AsyncContext.Snapshot');
+
+verifyNotEnumerable(AsyncContext.Snapshot.prototype, Symbol.toStringTag);
+verifyNotWritable(AsyncContext.Snapshot.prototype, Symbol.toStringTag);
+verifyConfigurable(AsyncContext.Snapshot.prototype, Symbol.toStringTag);

test/built-ins/AsyncContext/Snapshot/prototype/constructor.js

@@ -0,0 +1,19 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot.prototype.constructor
+description: AsyncContext.Snapshot.prototype.constructor value and descriptor
+info: |
+  The initial value of AsyncContext.Snapshot.prototype.constructor is
+  %AsyncContext.Snapshot%.
+includes: [propertyHelper.js]
+features: [AsyncContext]
+---*/
+
+assert.sameValue(AsyncContext.Snapshot.prototype.constructor, AsyncContext.Snapshot);
+assert.sameValue((new AsyncContext.Snapshot()).constructor, AsyncContext.Snapshot);
+
+verifyNotEnumerable(AsyncContext.Snapshot.prototype, 'constructor');
+verifyWritable(AsyncContext.Snapshot.prototype, 'constructor');
+verifyConfigurable(AsyncContext.Snapshot.prototype, 'constructor');

test/built-ins/AsyncContext/Snapshot/prototype/descriptor.js

@@ -0,0 +1,16 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot.prototype
+description: AsyncContext.Snapshot.prototype property attributes.
+info: |
+  This property has the attributes { [[Writable]]: false, [[Enumerable]]: false,
+  [[Configurable]]: false }.
+includes: [propertyHelper.js]
+features: [AsyncContext]
+---*/
+
+verifyNotEnumerable(AsyncContext.Snapshot, 'prototype');
+verifyNotWritable(AsyncContext.Snapshot, 'prototype');
+verifyNotConfigurable(AsyncContext.Snapshot, 'prototype');

test/built-ins/AsyncContext/Snapshot/prototype/run/calls-callback-with-args.js

@@ -0,0 +1,36 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot.prototype.run
+description: >
+  Calls the first parameter as a function, passing any arguments after the
+  first to it.
+info: |
+  AsyncContext.Snapshot.prototype.run ( func, ...args )
+
+  4. Let result be Completion(Call(func, undefined, args)).
+  ...
+  6. Return result.
+features: [AsyncContext]
+---*/
+
+const asyncSnapshot = new AsyncContext.Snapshot();
+
+const obj = {};
+const symbol = Symbol();
+
+let called = false;
+
+asyncSnapshot.run(callback, 42, "bar", obj, symbol);
+
+assert(called, 'The `callback` function was called.');
+
+function callback() {
+  assert.sameValue(arguments.length, 4);
+  assert.sameValue(arguments[0], 42);
+  assert.sameValue(arguments[1], "bar");
+  assert.sameValue(arguments[2], obj);
+  assert.sameValue(arguments[3], symbol);
+  called = true;
+}

test/built-ins/AsyncContext/Snapshot/prototype/run/context-is-not-object.js

@@ -0,0 +1,44 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot.prototype.run
+description: >
+  Throws a TypeError if `this` is not an Object.
+info: |
+  AsyncContext.Snapshot.prototype.run ( func, ...args )
+
+  1. Let asyncSnapshot be the this value.
+  2. Perform ? RequireInternalSlot(asyncSnapshot, [[AsyncSnapshotMapping]]).
+  ...
+
+  RequireInternalSlot(O, internalSlot)
+
+  1. If O is not an Object, throw a TypeError exception.
+  ...
+features: [AsyncContext, Symbol]
+---*/
+
+assert.throws(TypeError, function () {
+  AsyncContext.Snapshot.prototype.run.call(1);
+});
+
+assert.throws(TypeError, function () {
+  AsyncContext.Snapshot.prototype.run.call(true);
+});
+
+assert.throws(TypeError, function () {
+  AsyncContext.Snapshot.prototype.run.call('');
+});
+
+assert.throws(TypeError, function () {
+  AsyncContext.Snapshot.prototype.run.call(null);
+});
+
+assert.throws(TypeError, function () {
+  AsyncContext.Snapshot.prototype.run.call(undefined);
+});
+
+assert.throws(TypeError, function () {
+  AsyncContext.Snapshot.prototype.run.call(Symbol());
+});

test/built-ins/AsyncContext/Snapshot/prototype/run/context-is-not-snapshot-object.js

@@ -0,0 +1,30 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot.prototype.run
+description: >
+  Throws a TypeError if `this` does not have an [[AsyncSnapshotMapping]]
+  internal slot.
+info: |
+  AsyncContext.Snapshot.prototype.run ( func, ...args )
+
+  1. Let asyncContext be the this value.
+  2. Perform ? RequireInternalSlot(asyncSnapshot, [[AsyncSnapshotMapping]]).
+  ...
+
+  RequireInternalSlot(O, internalSlot)
+
+  ...
+  2. If O does not have an internalSlot internal slot, throw a TypeError exception.
+  ...
+features: [AsyncContext]
+---*/
+
+assert.throws(TypeError, function () {
+  AsyncContext.Snapshot.prototype.run.call({});
+});
+
+assert.throws(TypeError, function () {
+  AsyncContext.Snapshot.prototype.run.call([]);
+});

test/built-ins/AsyncContext/Snapshot/prototype/run/context-is-variable-object-throws.js

@@ -0,0 +1,25 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot.prototype.run
+description: >
+  Throws a TypeError if `this` is an AsyncContext.Variable object.
+info: |
+  AsyncContext.Snapshot.prototype.run ( func, ...args )
+
+  1. Let asyncSnapshot be the this value.
+  2. Perform ? RequireInternalSlot(asyncSnapshot, [[AsyncSnapshotMapping]]).
+  ...
+
+  RequireInternalSlot(O, internalSlot)
+
+  ...
+  2. If O does not have an internalSlot internal slot, throw a TypeError exception.
+  ...
+features: [AsyncContext]
+---*/
+
+assert.throws(TypeError, function () {
+  AsyncContext.Snapshot.prototype.run.call(new AsyncContext.Variable());
+});

test/built-ins/AsyncContext/Snapshot/prototype/run/length.js

@@ -0,0 +1,24 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot.prototype.run
+description: >
+  AsyncContext.Snapshot.prototype.run.length value and descriptor.
+info: |
+  AsyncContext.Snapshot.prototype.run ( func, ...args )
+
+  17 ECMAScript Standard Built-in Objects
+
+includes: [propertyHelper.js]
+features: [AsyncContext]
+---*/
+
+assert.sameValue(
+  AsyncContext.Snapshot.prototype.run.length, 1,
+  'The value of `AsyncContext.Snapshot.prototype.run.length` is `1`'
+);
+
+verifyNotEnumerable(AsyncContext.Snapshot.prototype.run, 'length');
+verifyNotWritable(AsyncContext.Snapshot.prototype.run, 'length');
+verifyConfigurable(AsyncContext.Snapshot.prototype.run, 'length');

test/built-ins/AsyncContext/Snapshot/prototype/run/name.js

@@ -0,0 +1,24 @@
+// Copyright (C) 2023 Igalia, S. L. All rights reserved.
+// This code is governed by the BSD license found in the LICENSE file.
+
+/*---
+esid: sec-asynccontext-snapshot.prototype.run
+description: >
+  AsyncContext.Snapshot.prototype.run.name value and descriptor.
+info: |
+  AsyncContext.Snapshot.prototype.run ( func, ...args )
+
+  17 ECMAScript Standard Built-in Objects
+
+includes: [propertyHelper.js]
+features: [AsyncContext]
+---*/
+
+assert.sameValue(
+  AsyncContext.Snapshot.prototype.run.name, 'run',
+  'The value of `AsyncContext.Snapshot.prototype.run.name` is `"run"`'
+);
+
+verifyNotEnumerable(AsyncContext.Snapshot.prototype.run, 'name');
+verifyNotWritable(AsyncContext.Snapshot.prototype.run, 'name');
+verifyConfigurable(AsyncContext.Snapshot.prototype.run, 'name');