27 制御抽象化オブジェクト

27.1 反復

27.1.1 共通反復インターフェイス

インターフェイスとは、関連付けられた値が特定の仕様に一致するプロパティキーの集合です。インターフェイスの仕様で記述されるすべてのプロパティを提供するオブジェクトは、そのインターフェイスに適合するといいます。インターフェイスは独立したオブジェクトによって表現されるものではありません。任意のインターフェイスに適合する、個別に実装された多数のオブジェクトが存在する場合があります。1つのオブジェクトが複数のインターフェイスに適合する場合もあります。

27.1.1.1 Iterable インターフェイス

iterable インターフェイスには、表 79 で説明されるプロパティが含まれます。

表 79: Iterable インターフェイスの必須プロパティ

プロパティ	値	要件
`%Symbol.iterator%`	an iterator object を返す関数	返されるオブジェクトは iterator インターフェイスに適合しなければなりません。

27.1.1.2 Iterator インターフェイス

iterator インターフェイスを実装するオブジェクトは、表 80 のプロパティを含まなければなりません。そのようなオブジェクトは、表 81 のプロパティも実装してよいものとします。

表 80: Iterator インターフェイスの必須プロパティ

プロパティ	値	要件
"next"	an IteratorResult object を返す関数	返されるオブジェクトは IteratorResult インターフェイスに適合しなければなりません。iterator の `next` メソッドの以前の呼出しが "done" プロパティが true である IteratorResult オブジェクトを返した場合、そのオブジェクトの `next` メソッドの以後のすべての呼出しも、"done" プロパティが true である IteratorResult オブジェクトを返すべきです。ただし、この要件は強制されません。

注 1

next 関数には引数を渡すことができますが、その解釈と有効性は対象の iterator に依存します。for-of 文および iterator のその他の一般的な利用者は引数を渡さないため、そのような方法で使用されることを想定する iterator オブジェクトは、引数なしで呼び出されることに対応できなければなりません。

表 81: Iterator インターフェイスの省略可能なプロパティ

プロパティ	値	要件
"return"	an IteratorResult object を返す関数	返されるオブジェクトは IteratorResult インターフェイスに適合しなければなりません。このメソッドを呼び出すと、呼出し元が iterator に対してこれ以上 `next` メソッドを呼び出す意図がないことを iterator オブジェクトへ通知します。返される IteratorResult オブジェクトは通常、値が true である "done" プロパティと、`return` メソッドの引数として渡された値を持つ "value" プロパティを持ちます。ただし、この要件は強制されません。
"throw"	an IteratorResult object を返す関数	返されるオブジェクトは IteratorResult インターフェイスに適合しなければなりません。このメソッドを呼び出すと、呼出し元がエラー状態を検出したことを iterator オブジェクトへ通知します。引数はエラー状態を識別するために使用でき、通常は例外オブジェクトです。典型的な応答は、引数として渡された値を `throw` することです。メソッドが `throw` しない場合、返される IteratorResult オブジェクトは通常、値が true である "done" プロパティを持ちます。

注 2

通常、これらのメソッドの呼出し元は、呼び出す前にその存在を確認するべきです。for-of、yield*、および配列分割代入を含む特定の ECMAScript 言語機能は、存在確認を行った後にこれらのメソッドを呼び出します。iterable オブジェクトを引数として受け取るほとんどの ECMAScript ライブラリ関数も、条件付きでこれらを呼び出します。

27.1.1.3 Async Iterable インターフェイス

async iterable インターフェイスには、表 82 で説明されるプロパティが含まれます。

表 82: Async Iterable インターフェイスの必須プロパティ

プロパティ	値	要件
`%Symbol.asyncIterator%`	an async iterator object を返す関数	返されるオブジェクトは async iterator インターフェイスに適合しなければなりません。

27.1.1.4 Async Iterator インターフェイス

async iterator インターフェイスを実装するオブジェクトは、表 83 のプロパティを含まなければなりません。そのようなオブジェクトは、表 84 のプロパティも実装してよいものとします。

表 83: Async Iterator インターフェイスの必須プロパティ

プロパティ値要件

プロパティ	値	要件
"next"	IteratorResult オブジェクトの promise を返す関数	返される promise は、fulfilled されたとき、IteratorResult インターフェイスに適合するオブジェクトで fulfilled されなければなりません。async iterator の `next` メソッドの以前の呼出しが、"done" プロパティが true である IteratorResult オブジェクトの promise を返した場合、そのオブジェクトの `next` メソッドの以後のすべての呼出しも、"done" プロパティが true である IteratorResult オブジェクトの promise を返すべきです。ただし、この要件は強制されません。さらに、fulfillment 値として機能する IteratorResult オブジェクトは、その値が promise（または「thenable」）ではない "value" プロパティを持つべきです。ただし、この要件も強制されません。

"next"

IteratorResult オブジェクトの promise を返す関数

返される promise は、fulfilled されたとき、IteratorResult インターフェイスに適合するオブジェクトで fulfilled されなければなりません。async iterator の next メソッドの以前の呼出しが、"done" プロパティが true である IteratorResult オブジェクトの promise を返した場合、そのオブジェクトの next メソッドの以後のすべての呼出しも、"done" プロパティが true である IteratorResult オブジェクトの promise を返すべきです。ただし、この要件は強制されません。

さらに、fulfillment 値として機能する IteratorResult オブジェクトは、その値が promise（または「thenable」）ではない "value" プロパティを持つべきです。ただし、この要件も強制されません。

注 1

next 関数には引数を渡すことができますが、その解釈と有効性は対象の async iterator に依存します。for-await-of 文および async iterator のその他の一般的な利用者は引数を渡さないため、そのような方法で使用されることを想定する async iterator オブジェクトは、引数なしで呼び出されることに対応できなければなりません。

表 84: Async Iterator インターフェイスの省略可能なプロパティ

プロパティ値要件

プロパティ	値	要件
"return"	IteratorResult オブジェクトの promise を返す関数	返される promise は、fulfilled されたとき、IteratorResult インターフェイスに適合するオブジェクトで fulfilled されなければなりません。このメソッドを呼び出すと、呼出し元が async iterator に対してこれ以上 `next` メソッドを呼び出す意図がないことを async iterator オブジェクトへ通知します。返される promise は通常、値が true である "done" プロパティと、`return` メソッドの引数として渡された値を持つ "value" プロパティを持つ IteratorResult オブジェクトで fulfilled されます。ただし、この要件は強制されません。さらに、fulfillment 値として機能する IteratorResult オブジェクトは、その値が promise（または「thenable」）ではない "value" プロパティを持つべきです。引数値が典型的な方法で使用される場合、それが rejected promise であれば、同じ理由で reject された promise を返すべきです。fulfilled promise であれば、その fulfillment 値を、返される promise の IteratorResult オブジェクト fulfillment 値の "value" プロパティとして使用するべきです。ただし、これらの要件も強制されません。
"throw"	IteratorResult オブジェクトの promise を返す関数	返される promise は、fulfilled されたとき、IteratorResult インターフェイスに適合するオブジェクトで fulfilled されなければなりません。このメソッドを呼び出すと、呼出し元がエラー状態を検出したことを async iterator オブジェクトへ通知します。引数はエラー状態を識別するために使用でき、通常は例外オブジェクトです。典型的な応答は、引数として渡された値で reject される rejected promise を返すことです。返される promise が fulfilled された場合、その IteratorResult オブジェクト fulfillment 値は通常、値が true である "done" プロパティを持ちます。さらに、値が promise（または「thenable」）ではない "value" プロパティを持つべきですが、この要件は強制されません。

"return"

IteratorResult オブジェクトの promise を返す関数

返される promise は、fulfilled されたとき、IteratorResult インターフェイスに適合するオブジェクトで fulfilled されなければなりません。このメソッドを呼び出すと、呼出し元が async iterator に対してこれ以上 next メソッドを呼び出す意図がないことを async iterator オブジェクトへ通知します。返される promise は通常、値が true である "done" プロパティと、return メソッドの引数として渡された値を持つ "value" プロパティを持つ IteratorResult オブジェクトで fulfilled されます。ただし、この要件は強制されません。

さらに、fulfillment 値として機能する IteratorResult オブジェクトは、その値が promise（または「thenable」）ではない "value" プロパティを持つべきです。引数値が典型的な方法で使用される場合、それが rejected promise であれば、同じ理由で reject された promise を返すべきです。fulfilled promise であれば、その fulfillment 値を、返される promise の IteratorResult オブジェクト fulfillment 値の "value" プロパティとして使用するべきです。ただし、これらの要件も強制されません。

"throw"

IteratorResult オブジェクトの promise を返す関数

返される promise は、fulfilled されたとき、IteratorResult インターフェイスに適合するオブジェクトで fulfilled されなければなりません。このメソッドを呼び出すと、呼出し元がエラー状態を検出したことを async iterator オブジェクトへ通知します。引数はエラー状態を識別するために使用でき、通常は例外オブジェクトです。典型的な応答は、引数として渡された値で reject される rejected promise を返すことです。

返される promise が fulfilled された場合、その IteratorResult オブジェクト fulfillment 値は通常、値が true である "done" プロパティを持ちます。さらに、値が promise（または「thenable」）ではない "value" プロパティを持つべきですが、この要件は強制されません。

注 2

通常、これらのメソッドの呼出し元は、呼び出す前にその存在を確認するべきです。for-await-of および yield* を含む特定の ECMAScript 言語機能は、存在確認を行った後にこれらのメソッドを呼び出します。

27.1.1.5 IteratorResult インターフェイス

IteratorResult インターフェイスには、表 85 に列挙されるプロパティが含まれます。

表 85: IteratorResult インターフェイスのプロパティ

プロパティ	値	要件
"done"	a Boolean	これは iterator の `next` メソッド呼出しの結果状態です。iterator の終端に到達した場合、"done" は true です。終端に到達していない場合、"done" は false であり、値が利用可能です。"done" プロパティ（own または継承されたもの）が存在しない場合、その値は false であるとみなされます。
"value"	an ECMAScript language value	done が false である場合、これは現在の反復要素の値です。done が true である場合、iterator が戻り値を提供したなら、これはその戻り値です。iterator に戻り値がない場合、"value" は undefined です。その場合、適合オブジェクトが明示的な "value" プロパティを継承していなければ、"value" プロパティは存在しなくてもかまいません。

27.1.2 Iterator Helper オブジェクト

Iterator Helper オブジェクトは、特定の source iterator オブジェクトの遅延変換を表す通常オブジェクトです。Iterator Helper オブジェクトには名前付きコンストラクターはありません。代わりに、Iterator Helper オブジェクトは Iterator インスタンスオブジェクトの特定のメソッドを呼び出すことによって作成されます。

27.1.2.1 %IteratorHelperPrototype% オブジェクト

%IteratorHelperPrototype% オブジェクトは:

すべての Iterator Helper オブジェクトによって継承されるプロパティを持ちます。
通常オブジェクトです。
値が %Iterator.prototype% である [[Prototype]] 内部スロットを持ちます。
次のプロパティを持ちます。

27.1.2.1.1 %IteratorHelperPrototype%.next ( )

? GeneratorResume(this 値, undefined, "Iterator Helper") を返す。

27.1.2.1.2 %IteratorHelperPrototype%.return ( )

obj を this 値とする。
? RequireInternalSlot(obj, [[UnderlyingIterators]]) を実行する。
表明: obj は [[GeneratorState]] 内部スロットを持つ。
obj.[[GeneratorState]] が suspended-start である場合、
1. obj.[[GeneratorState]] を completed に設定する。
2. 注記: generator が completed 状態に入ると、その状態から離れることはなく、関連付けられた実行コンテキストが再開されることもない。この時点で obj に関連付けられたすべての実行状態を破棄できる。
3. ? IteratorCloseAll(obj.[[UnderlyingIterators]], NormalCompletion(unused)) を実行する。
4. CreateIteratorResultObject(undefined, true) を返す。
completion を ReturnCompletion(undefined) とする。
? GeneratorResumeAbrupt(obj, completion, "Iterator Helper") を返す。

27.1.2.1.3 %IteratorHelperPrototype% [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は String 値 "Iterator Helper" です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.1.3 Iterator オブジェクト

27.1.3.1 Iterator コンストラクター

Iterator コンストラクターは:

%Iterator% です。
グローバルオブジェクトの "Iterator" プロパティの初期値です。
サブクラス化できるように設計されています。クラス定義の extends 節の値として使用できます。

27.1.3.1.1 Iterator ( )

この関数は呼び出されたとき、次の手順を実行します。

NewTarget が undefined またはアクティブな関数オブジェクトのいずれかである場合、TypeError 例外をスローする。
? OrdinaryCreateFromConstructor(NewTarget, "%Iterator.prototype%") を返す。

27.1.3.2 Iterator コンストラクターのプロパティ

Iterator コンストラクターは:

値が %Function.prototype% である [[Prototype]] 内部スロットを持ちます。
次のプロパティを持ちます。

27.1.3.2.1 Iterator.concat ( ...`items` )

iterables を新しい空の List とする。
items の各要素 item について、次を行う。
1. item が Object でない場合、TypeError 例外をスローする。
2. method を ? GetMethod(item, %Symbol.iterator%) とする。
3. method が undefined である場合、TypeError 例外をスローする。
4. Record { [[OpenMethod]]: method, [[Iterable]]: item } を iterables に追加する。
closure を、iterables を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. iterables の各 Record iterable について、次を行う。
  1. iterator を ? Call(iterable.[[OpenMethod]], iterable.[[Iterable]]) とする。
  2. iterator が Object でない場合、TypeError 例外をスローする。
  3. iteratorRecord を ? GetIteratorDirect(iterator) とする。
  4. innerAlive を true とする。
  5. innerAlive が true の間、次を繰り返す。
    1. innerValue を ? IteratorStepValue(iteratorRecord) とする。
    2. innerValue が done である場合、
      1. innerAlive を false に設定する。
    3. そうでない場合、
      1. completion を Completion(Yield(innerValue)) とする。
      2. completion が中断完了である場合、
        ? IteratorClose(iteratorRecord, completion) を返す。
2. ReturnCompletion(undefined) を返す。
gen を CreateIteratorFromClosure(closure, "Iterator Helper", %IteratorHelperPrototype%, « [[UnderlyingIterators]] ») とする。
gen.[[UnderlyingIterators]] を新しい空の List に設定する。
gen を返す。

27.1.3.2.2 Iterator.from ( `obj` )

iteratorRecord を ? GetIteratorFlattenable(obj, iterate-string-primitives) とする。
hasInstance を ? OrdinaryHasInstance(%Iterator%, iteratorRecord.[[Iterator]]) とする。
hasInstance が true である場合、
1. iteratorRecord.[[Iterator]] を返す。
wrapper を OrdinaryObjectCreate(%WrapForValidIteratorPrototype%, « [[Iterated]] ») とする。
wrapper.[[Iterated]] を iteratorRecord に設定する。
wrapper を返す。

27.1.3.2.2.1 %WrapForValidIteratorPrototype% オブジェクト

%WrapForValidIteratorPrototype% オブジェクトは:

通常オブジェクトです。
値が %Iterator.prototype% である [[Prototype]] 内部スロットを持ちます。

27.1.3.2.2.1.1 %WrapForValidIteratorPrototype%.next ( )

obj を this 値とする。
? RequireInternalSlot(obj, [[Iterated]]) を実行する。
iteratorRecord を obj.[[Iterated]] とする。
? Call(iteratorRecord.[[NextMethod]], iteratorRecord.[[Iterator]]) を返す。

27.1.3.2.2.1.2 %WrapForValidIteratorPrototype%.return ( )

obj を this 値とする。
? RequireInternalSlot(obj, [[Iterated]]) を実行する。
iterator を obj.[[Iterated]].[[Iterator]] とする。
表明: iterator は Object である。
returnMethod を ? GetMethod(iterator, "return") とする。
returnMethod が undefined である場合、
1. CreateIteratorResultObject(undefined, true) を返す。
? Call(returnMethod, iterator) を返す。

27.1.3.2.3 Iterator.prototype

Iterator.prototype の初期値は Iterator prototype オブジェクトです。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false } を持ちます。

27.1.3.2.4 Iterator.zip ( `iterables` [ , `options` ] )

この関数は呼び出されたとき、次の手順を実行します。

iterables が Object でない場合、TypeError 例外をスローする。
options を ? GetOptionsObject(options) に設定する。
mode を ? Get(options, "mode") とする。
mode が undefined である場合、mode を "shortest" に設定する。
mode が "shortest"、"longest"、または "strict" のいずれでもない場合、TypeError 例外をスローする。
paddingOption を undefined とする。
mode が "longest" である場合、
1. paddingOption を ? Get(options, "padding") に設定する。
2. paddingOption が undefined でなく、かつ paddingOption が Object でない場合、TypeError 例外をスローする。
iters を新しい空の List とする。
padding を新しい空の List とする。
inputIter を ? GetIterator(iterables, sync) とする。
next を not-started とする。
next が done でない間、次を繰り返す。
1. next を Completion(IteratorStepValue(inputIter)) に設定する。
2. IfAbruptCloseIterators(next, iters)。
3. next が done でない場合、
  1. iter を Completion(GetIteratorFlattenable(next, reject-primitives)) とする。
  2. needClosing を « inputIter » と iters のリスト連結とする。
  3. IfAbruptCloseIterators(iter, needClosing)。
  4. iter を iters に追加する。
iterCount を iters の要素数とする。
mode が "longest" である場合、
1. paddingOption が undefined である場合、
  1. iterCount 回繰り返す。
    1. undefined を padding に追加する。
2. そうでない場合、
  1. paddingIter を Completion(GetIterator(paddingOption, sync)) とする。
  2. IfAbruptCloseIterators(paddingIter, iters)。
  3. usingIterator を true とする。
  4. iterCount 回繰り返す。
    1. usingIterator が true である場合、
      1. next を Completion(IteratorStepValue(paddingIter)) に設定する。
      2. IfAbruptCloseIterators(next, iters)。
      3. next が done である場合、
        usingIterator を false に設定する。
      4. そうでない場合、
        next を padding に追加する。
    2. usingIterator が false である場合、undefined を padding に追加する。
  5. usingIterator が true である場合、
    1. completion を Completion(IteratorClose(paddingIter, NormalCompletion(unused))) とする。
    2. IfAbruptCloseIterators(completion, iters)。
finishResults を、何も捕捉せず、パラメーター (results) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. CreateArrayFromList(results) を返す。
IteratorZip(iters, mode, padding, finishResults) を返す。

27.1.3.2.5 Iterator.zipKeyed ( `iterables` [ , `options` ] )

この関数は呼び出されたとき、次の手順を実行します。

iterables が Object でない場合、TypeError 例外をスローする。
options を ? GetOptionsObject(options) に設定する。
mode を ? Get(options, "mode") とする。
mode が undefined である場合、mode を "shortest" に設定する。
mode が "shortest"、"longest"、または "strict" のいずれでもない場合、TypeError 例外をスローする。
paddingOption を undefined とする。
mode が "longest" である場合、
1. paddingOption を ? Get(options, "padding") に設定する。
2. paddingOption が undefined でなく、かつ paddingOption が Object でない場合、TypeError 例外をスローする。
iters を新しい空の List とする。
padding を新しい空の List とする。
allKeys を ? iterables.[[OwnPropertyKeys]]() とする。
keys を新しい空の List とする。
allKeys の各要素 key について、次を行う。
1. propertyDesc を Completion(iterables.[[GetOwnProperty]](key)) とする。
2. IfAbruptCloseIterators(propertyDesc, iters)。
3. propertyDesc が undefined でなく、かつ propertyDesc.[[Enumerable]] が true である場合、
  1. value を Completion(Get(iterables, key)) とする。
  2. IfAbruptCloseIterators(value, iters)。
  3. value が undefined でない場合、
    1. key を keys に追加する。
    2. iter を Completion(GetIteratorFlattenable(value, reject-primitives)) とする。
    3. IfAbruptCloseIterators(iter, iters)。
    4. iter を iters に追加する。
iterCount を iters の要素数とする。
mode が "longest" である場合、
1. paddingOption が undefined である場合、
  1. iterCount 回繰り返す。
    1. undefined を padding に追加する。
2. そうでない場合、
  1. keys の各要素 key について、次を行う。
    1. value を Completion(Get(paddingOption, key)) とする。
    2. IfAbruptCloseIterators(value, iters)。
    3. value を padding に追加する。
finishResults を、keys と iterCount を捕捉し、パラメーター (results) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. obj を OrdinaryObjectCreate(null) とする。
2. 0 ≤ i < iterCount を満たす各整数 i について、昇順に次を行う。
  1. ! CreateDataPropertyOrThrow(obj, keys[i], results[i]) を実行する。
3. obj を返す。
IteratorZip(iters, mode, padding, finishResults) を返す。

27.1.3.3 Iterator Prototype オブジェクトのプロパティ

Iterator prototype オブジェクトは:

%Iterator.prototype% です。
値が %Object.prototype% である [[Prototype]] 内部スロットを持ちます。
通常オブジェクトです。

注

この仕様で定義され、iterator インターフェイスを実装するすべてのオブジェクトは %Iterator.prototype% からも継承します。ECMAScript コードも %Iterator.prototype% から継承するオブジェクトを定義できます。%Iterator.prototype% は、すべての iterator オブジェクトに適用可能な追加メソッドを追加できる場所を提供します。

次の式は、ECMAScript コードが %Iterator.prototype% オブジェクトへアクセスする方法の1つです。

Object.getPrototypeOf(Object.getPrototypeOf([][Symbol.iterator]()))

27.1.3.3.1 Iterator.prototype.constructor

Iterator.prototype.constructor は属性 { [[Enumerable]]: false, [[Configurable]]: true } を持つアクセサープロパティです。[[Getter]] および [[Setter]] 属性は次のように定義されます。

27.1.3.3.1.1 get Iterator.prototype.constructor

[[Getter]] 属性の値は引数を必要としない組込み関数です。呼び出されたとき、次の手順を実行します。

%Iterator% を返す。

27.1.3.3.1.2 set Iterator.prototype.constructor

[[Setter]] 属性の値は引数 v を取る組込み関数です。呼び出されたとき、次の手順を実行します。

? SetterThatIgnoresPrototypeProperties(this 値, %Iterator.prototype%, "constructor", v) を実行する。
undefined を返す。

注

ほとんどの組込み prototype 上の "constructor" プロパティとは異なり、Web 互換性上の理由から、このプロパティはアクセサーでなければなりません。

27.1.3.3.2 Iterator.prototype.drop ( `limit` )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
obj が Object でない場合、TypeError 例外をスローする。
iterated を Iterator Record { [[Iterator]]: obj, [[NextMethod]]: undefined, [[Done]]: false } とする。
numberLimit を Completion(ToNumber(limit)) とする。
IfAbruptCloseIterator(numberLimit, iterated)。
numberLimit が NaN である場合、
1. error を ThrowCompletion(新しく作成された RangeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
numberLimit が有限であり、numberLimit > 𝔽(2⁵³ - 1) である場合、
1. error を ThrowCompletion(新しく作成された RangeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
intLimit を ! ToIntegerOrInfinity(numberLimit) とする。
intLimit < 0 である場合、
1. error を ThrowCompletion(新しく作成された RangeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
iterated を ? GetIteratorDirect(obj) に設定する。
closure を、iterated と intLimit を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. remaining を 𝔽(intLimit) とする。
2. remaining > +0_𝔽 の間、次を繰り返す。
  1. remaining を remaining - 1_𝔽 に設定する。
  2. next を ? IteratorStep(iterated) とする。
  3. next が done である場合、ReturnCompletion(undefined) を返す。
3. 次を繰り返す。
  1. value を ? IteratorStepValue(iterated) とする。
  2. value が done である場合、ReturnCompletion(undefined) を返す。
  3. completion を Completion(Yield(value)) とする。
  4. IfAbruptCloseIterator(completion, iterated)。
result を CreateIteratorFromClosure(closure, "Iterator Helper", %IteratorHelperPrototype%, « [[UnderlyingIterators]] ») とする。
result.[[UnderlyingIterators]] を « iterated » に設定する。
result を返す。

27.1.3.3.3 Iterator.prototype.every ( `predicate` )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
obj が Object でない場合、TypeError 例外をスローする。
iterated を Iterator Record { [[Iterator]]: obj, [[NextMethod]]: undefined, [[Done]]: false } とする。
IsCallable(predicate) が false である場合、
1. error を ThrowCompletion(新しく作成された TypeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
iterated を ? GetIteratorDirect(obj) に設定する。
counter を +0_𝔽 とする。
次を繰り返す。
1. value を ? IteratorStepValue(iterated) とする。
2. value が done である場合、true を返す。
3. result を Completion(Call(predicate, undefined, « value, counter »)) とする。
4. IfAbruptCloseIterator(result, iterated)。
5. ToBoolean(result) が false である場合、? IteratorClose(iterated, NormalCompletion(false)) を返す。
6. 注記: 次の手順は、counter が 2⁵³_𝔽 に達すると、それ以降 counter を変更しない。
7. counter を counter + 1_𝔽 に設定する。

27.1.3.3.4 Iterator.prototype.filter ( `predicate` )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
obj が Object でない場合、TypeError 例外をスローする。
iterated を Iterator Record { [[Iterator]]: obj, [[NextMethod]]: undefined, [[Done]]: false } とする。
IsCallable(predicate) が false である場合、
1. error を ThrowCompletion(新しく作成された TypeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
iterated を ? GetIteratorDirect(obj) に設定する。
closure を、iterated と predicate を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. counter を +0_𝔽 とする。
2. 次を繰り返す。
  1. value を ? IteratorStepValue(iterated) とする。
  2. value が done である場合、ReturnCompletion(undefined) を返す。
  3. selected を Completion(Call(predicate, undefined, « value, counter »)) とする。
  4. IfAbruptCloseIterator(selected, iterated)。
  5. ToBoolean(selected) が true である場合、
    1. completion を Completion(Yield(value)) とする。
    2. IfAbruptCloseIterator(completion, iterated)。
  6. 注記: 次の手順は、counter が 2⁵³_𝔽 に達すると、それ以降 counter を変更しない。
  7. counter を counter + 1_𝔽 に設定する。
result を CreateIteratorFromClosure(closure, "Iterator Helper", %IteratorHelperPrototype%, « [[UnderlyingIterators]] ») とする。
result.[[UnderlyingIterators]] を « iterated » に設定する。
result を返す。

27.1.3.3.5 Iterator.prototype.find ( `predicate` )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
obj が Object でない場合、TypeError 例外をスローする。
iterated を Iterator Record { [[Iterator]]: obj, [[NextMethod]]: undefined, [[Done]]: false } とする。
IsCallable(predicate) が false である場合、
1. error を ThrowCompletion(新しく作成された TypeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
iterated を ? GetIteratorDirect(obj) に設定する。
counter を +0_𝔽 とする。
次を繰り返す。
1. value を ? IteratorStepValue(iterated) とする。
2. value が done である場合、undefined を返す。
3. result を Completion(Call(predicate, undefined, « value, counter »)) とする。
4. IfAbruptCloseIterator(result, iterated)。
5. ToBoolean(result) が true である場合、? IteratorClose(iterated, NormalCompletion(value)) を返す。
6. 注記: 次の手順は、counter が 2⁵³_𝔽 に達すると、それ以降 counter を変更しない。
7. counter を counter + 1_𝔽 に設定する。

27.1.3.3.6 Iterator.prototype.flatMap ( `mapper` )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
obj が Object でない場合、TypeError 例外をスローする。
iterated を Iterator Record { [[Iterator]]: obj, [[NextMethod]]: undefined, [[Done]]: false } とする。
IsCallable(mapper) が false である場合、
1. error を ThrowCompletion(新しく作成された TypeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
iterated を ? GetIteratorDirect(obj) に設定する。
closure を、iterated と mapper を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. counter を +0_𝔽 とする。
2. 次を繰り返す。
  1. value を ? IteratorStepValue(iterated) とする。
  2. value が done である場合、ReturnCompletion(undefined) を返す。
  3. mapped を Completion(Call(mapper, undefined, « value, counter »)) とする。
  4. IfAbruptCloseIterator(mapped, iterated)。
  5. innerIterator を Completion(GetIteratorFlattenable(mapped, reject-primitives)) とする。
  6. IfAbruptCloseIterator(innerIterator, iterated)。
  7. innerAlive を true とする。
  8. innerAlive が true の間、次を繰り返す。
    1. innerValue を Completion(IteratorStepValue(innerIterator)) とする。
    2. IfAbruptCloseIterator(innerValue, iterated)。
    3. innerValue が done である場合、
      1. innerAlive を false に設定する。
    4. そうでない場合、
      1. completion を Completion(Yield(innerValue)) とする。
      2. completion が中断完了である場合、
        backupCompletion を Completion(IteratorClose(innerIterator, completion)) とする。
        IfAbruptCloseIterator(backupCompletion, iterated)。
        ? IteratorClose(iterated, completion) を返す。
  9. 注記: 次の手順は、counter が 2⁵³_𝔽 に達すると、それ以降 counter を変更しない。
  10. counter を counter + 1_𝔽 に設定する。
result を CreateIteratorFromClosure(closure, "Iterator Helper", %IteratorHelperPrototype%, « [[UnderlyingIterators]] ») とする。
result.[[UnderlyingIterators]] を « iterated » に設定する。
result を返す。

27.1.3.3.7 Iterator.prototype.forEach ( `procedure` )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
obj が Object でない場合、TypeError 例外をスローする。
iterated を Iterator Record { [[Iterator]]: obj, [[NextMethod]]: undefined, [[Done]]: false } とする。
IsCallable(procedure) が false である場合、
1. error を ThrowCompletion(新しく作成された TypeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
iterated を ? GetIteratorDirect(obj) に設定する。
counter を +0_𝔽 とする。
次を繰り返す。
1. value を ? IteratorStepValue(iterated) とする。
2. value が done である場合、undefined を返す。
3. result を Completion(Call(procedure, undefined, « value, counter »)) とする。
4. IfAbruptCloseIterator(result, iterated)。
5. 注記: 次の手順は、counter が 2⁵³_𝔽 に達すると、それ以降 counter を変更しない。
6. counter を counter + 1_𝔽 に設定する。

27.1.3.3.8 Iterator.prototype.map ( `mapper` )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
obj が Object でない場合、TypeError 例外をスローする。
iterated を Iterator Record { [[Iterator]]: obj, [[NextMethod]]: undefined, [[Done]]: false } とする。
IsCallable(mapper) が false である場合、
1. error を ThrowCompletion(新しく作成された TypeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
iterated を ? GetIteratorDirect(obj) に設定する。
closure を、iterated と mapper を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. counter を +0_𝔽 とする。
2. 次を繰り返す。
  1. value を ? IteratorStepValue(iterated) とする。
  2. value が done である場合、ReturnCompletion(undefined) を返す。
  3. mapped を Completion(Call(mapper, undefined, « value, counter »)) とする。
  4. IfAbruptCloseIterator(mapped, iterated)。
  5. completion を Completion(Yield(mapped)) とする。
  6. IfAbruptCloseIterator(completion, iterated)。
  7. 注記: 次の手順は、counter が 2⁵³_𝔽 に達すると、それ以降 counter を変更しない。
  8. counter を counter + 1_𝔽 に設定する。
result を CreateIteratorFromClosure(closure, "Iterator Helper", %IteratorHelperPrototype%, « [[UnderlyingIterators]] ») とする。
result.[[UnderlyingIterators]] を « iterated » に設定する。
result を返す。

27.1.3.3.9 Iterator.prototype.reduce ( `reducer` [ , `initialValue` ] )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
obj が Object でない場合、TypeError 例外をスローする。
iterated を Iterator Record { [[Iterator]]: obj, [[NextMethod]]: undefined, [[Done]]: false } とする。
IsCallable(reducer) が false である場合、
1. error を ThrowCompletion(新しく作成された TypeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
iterated を ? GetIteratorDirect(obj) に設定する。
initialValue が存在しない場合、
1. accumulator を ? IteratorStepValue(iterated) とする。
2. accumulator が done である場合、TypeError 例外をスローする。
3. counter を 1_𝔽 とする。
そうでない場合、
1. accumulator を initialValue とする。
2. counter を +0_𝔽 とする。
次を繰り返す。
1. value を ? IteratorStepValue(iterated) とする。
2. value が done である場合、accumulator を返す。
3. result を Completion(Call(reducer, undefined, « accumulator, value, counter »)) とする。
4. IfAbruptCloseIterator(result, iterated)。
5. accumulator を result に設定する。
6. 注記: 次の手順は、counter が 2⁵³_𝔽 に達すると、それ以降 counter を変更しない。
7. counter を counter + 1_𝔽 に設定する。

27.1.3.3.10 Iterator.prototype.some ( `predicate` )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
obj が Object でない場合、TypeError 例外をスローする。
iterated を Iterator Record { [[Iterator]]: obj, [[NextMethod]]: undefined, [[Done]]: false } とする。
IsCallable(predicate) が false である場合、
1. error を ThrowCompletion(新しく作成された TypeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
iterated を ? GetIteratorDirect(obj) に設定する。
counter を +0_𝔽 とする。
次を繰り返す。
1. value を ? IteratorStepValue(iterated) とする。
2. value が done である場合、false を返す。
3. result を Completion(Call(predicate, undefined, « value, counter »)) とする。
4. IfAbruptCloseIterator(result, iterated)。
5. ToBoolean(result) が true である場合、? IteratorClose(iterated, NormalCompletion(true)) を返す。
6. 注記: 次の手順は、counter が 2⁵³_𝔽 に達すると、それ以降 counter を変更しない。
7. counter を counter + 1_𝔽 に設定する。

27.1.3.3.11 Iterator.prototype.take ( `limit` )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
obj が Object でない場合、TypeError 例外をスローする。
iterated を Iterator Record { [[Iterator]]: obj, [[NextMethod]]: undefined, [[Done]]: false } とする。
numberLimit を Completion(ToNumber(limit)) とする。
IfAbruptCloseIterator(numberLimit, iterated)。
numberLimit が NaN である場合、
1. error を ThrowCompletion(新しく作成された RangeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
numberLimit が有限であり、numberLimit > 𝔽(2⁵³ - 1) である場合、
1. error を ThrowCompletion(新しく作成された RangeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
intLimit を ! ToIntegerOrInfinity(numberLimit) とする。
intLimit < 0 である場合、
1. error を ThrowCompletion(新しく作成された RangeError オブジェクト) とする。
2. ? IteratorClose(iterated, error) を返す。
iterated を ? GetIteratorDirect(obj) に設定する。
closure を、iterated と intLimit を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. remaining を 𝔽(intLimit) とする。
2. 次を繰り返す。
  1. remaining が +0_𝔽 である場合、
    1. ? IteratorClose(iterated, ReturnCompletion(undefined)) を返す。
  2. remaining を remaining - 1_𝔽 に設定する。
  3. value を ? IteratorStepValue(iterated) とする。
  4. value が done である場合、ReturnCompletion(undefined) を返す。
  5. completion を Completion(Yield(value)) とする。
  6. IfAbruptCloseIterator(completion, iterated)。
result を CreateIteratorFromClosure(closure, "Iterator Helper", %IteratorHelperPrototype%, « [[UnderlyingIterators]] ») とする。
result.[[UnderlyingIterators]] を « iterated » に設定する。
result を返す。

27.1.3.3.12 Iterator.prototype.toArray ( )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
obj が Object でない場合、TypeError 例外をスローする。
iterated を ? GetIteratorDirect(obj) とする。
items を新しい空の List とする。
次を繰り返す。
1. value を ? IteratorStepValue(iterated) とする。
2. value が done である場合、CreateArrayFromList(items) を返す。
3. value を items に追加する。

27.1.3.3.13 Iterator.prototype [ %Symbol.dispose% ] ( )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
return を ? GetMethod(obj, "return") とする。
return が undefined でない場合、
1. ? Call(return, obj) を実行する。
undefined を返す。

このメソッドの "name" プロパティの値は "[Symbol.dispose]" です。

27.1.3.3.14 Iterator.prototype [ %Symbol.iterator% ] ( )

この関数は呼び出されたとき、次の手順を実行します。

this 値を返す。

この関数の "name" プロパティの値は "[Symbol.iterator]" です。

27.1.3.3.15 Iterator.prototype [ %Symbol.toStringTag% ]

Iterator.prototype[%Symbol.toStringTag%] は属性 { [[Enumerable]]: false, [[Configurable]]: true } を持つアクセサープロパティです。[[Getter]] および [[Setter]] 属性は次のように定義されます。

27.1.3.3.15.1 get Iterator.prototype [ %Symbol.toStringTag% ]

[[Getter]] 属性の値は引数を必要としない組込み関数です。呼び出されたとき、次の手順を実行します。

"Iterator" を返す。

27.1.3.3.15.2 set Iterator.prototype [ %Symbol.toStringTag% ]

[[Setter]] 属性の値は引数 v を取る組込み関数です。呼び出されたとき、次の手順を実行します。

? SetterThatIgnoresPrototypeProperties(this 値, %Iterator.prototype%, %Symbol.toStringTag%, v) を実行する。
undefined を返す。

注

ほとんどの組込み prototype 上の %Symbol.toStringTag% プロパティとは異なり、Web 互換性上の理由から、このプロパティはアクセサーでなければなりません。

27.1.3.4 Iterator のための抽象操作

27.1.3.4.1 IteratorZip ( `iters`, `mode`, `padding`, `finishResults` )

抽象操作 IteratorZip。引数 iters (リスト (要素：Iteratorレコード))、mode (("shortest"、"longest" または "strict"))、padding (リスト (要素：ECMAScript 言語値)) および finishResults (an Abstract Closure that takes a List of ECMAScript language values and returns an ECMAScript language value)。戻り値：Generator。呼び出されると、次の手順を実行する。

iterCount を iters の要素数とする。
openIters を iters のコピーとする。
closure を、iters、iterCount、openIters、mode、padding、および finishResults を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. iterCount = 0 である場合、ReturnCompletion(undefined) を返す。
2. 次を繰り返す。
  1. results を新しい空の List とする。
  2. 表明: openIters は空でない。
  3. 0 ≤ i < iterCount を満たす各整数 i について、昇順に次を行う。
    1. iter を iters[i] とする。
    2. iter が null である場合、
      1. 表明: mode は "longest" である。
      2. result を padding[i] とする。
    3. そうでない場合、
      1. result を Completion(IteratorStepValue(iter)) とする。
      2. result が中断完了である場合、
        iter を openIters から削除する。
        ? IteratorCloseAll(openIters, result) を返す。
      3. result を ! result に設定する。
      4. result が done である場合、
        iter を openIters から削除する。
        mode が "shortest" である場合、
        ? IteratorCloseAll(openIters, ReturnCompletion(undefined)) を返す。
        そうでなく、mode が "strict" である場合、
        i ≠ 0 である場合、
        ? IteratorCloseAll(openIters, ThrowCompletion(新しく作成された TypeError オブジェクト)) を返す。
        1 ≤ k < iterCount を満たす各整数 k について、昇順に次を行う。
        表明: iters[k] は null でない。
        open を Completion(IteratorStep(iters[k])) とする。
        open が中断完了である場合、
        iters[k] を openIters から削除する。
        ? IteratorCloseAll(openIters, open) を返す。
        open を ! open に設定する。
        open が done である場合、
        iters[k] を openIters から削除する。
        そうでない場合、
        ? IteratorCloseAll(openIters, ThrowCompletion(新しく作成された TypeError オブジェクト)) を返す。
        ReturnCompletion(undefined) を返す。
        そうでない場合、
        表明: mode は "longest" である。
        openIters が空である場合、ReturnCompletion(undefined) を返す。
        iters[i] を null に設定する。
        result を padding[i] に設定する。
    4. result を results に追加する。
  4. results を finishResults(results) に設定する。
  5. completion を Completion(Yield(results)) とする。
  6. IfAbruptCloseIterators(completion, openIters)。
gen を CreateIteratorFromClosure(closure, "Iterator Helper", %IteratorHelperPrototype%, « [[UnderlyingIterators]] ») とする。
gen.[[UnderlyingIterators]] を openIters に設定する。
gen を返す。

27.1.4 %AsyncIteratorPrototype% オブジェクト

%AsyncIteratorPrototype% オブジェクトは:

値が %Object.prototype% である [[Prototype]] 内部スロットを持ちます。
通常オブジェクトです。

注

この仕様で定義され、async iterator インターフェイスを実装するすべてのオブジェクトは %AsyncIteratorPrototype% からも継承します。ECMAScript コードも %AsyncIteratorPrototype% から継承するオブジェクトを定義できます。%AsyncIteratorPrototype% オブジェクトは、すべての async iterator オブジェクトに適用可能な追加メソッドを追加できる場所を提供します。

27.1.4.1 %AsyncIteratorPrototype% [ %Symbol.asyncDispose% ] ( )

このメソッドは呼び出されたとき、次の手順を実行します。

obj を this 値とする。
promiseCapability を ! NewPromiseCapability(%Promise%) とする。
return を Completion(GetMethod(obj, "return")) とする。
IfAbruptRejectPromise(return, promiseCapability)。
return が undefined である場合、
1. ! Call(promiseCapability.[[Resolve]], undefined, « undefined ») を実行する。
そうでない場合、
1. result を Completion(Call(return, obj, « »)) とする。
2. IfAbruptRejectPromise(result, promiseCapability)。
3. resultWrapper を Completion(PromiseResolve(%Promise%, result)) とする。
4. IfAbruptRejectPromise(resultWrapper, promiseCapability)。
5. unwrap を、何も捕捉せず、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
  1. undefined を返す。
6. onFulfilled を CreateBuiltinFunction(unwrap, 1, "", « ») とする。
7. PerformPromiseThen(resultWrapper, onFulfilled, undefined, promiseCapability) を実行する。
promiseCapability.[[Promise]] を返す。

このメソッドの "name" プロパティの値は "[Symbol.asyncDispose]" です。

27.1.4.2 %AsyncIteratorPrototype% [ %Symbol.asyncIterator% ] ( )

この関数は呼び出されたとき、次の手順を実行します。

this 値を返す。

この関数の "name" プロパティの値は "[Symbol.asyncIterator]" です。

27.1.5 Async-from-Sync Iterator オブジェクト

Async-from-Sync Iterator オブジェクトは、特定の同期 iterator を適応させる async iterator です。Async-from-Sync Iterator オブジェクトは ECMAScript コードから直接アクセスできません。Async-from-Sync Iterator オブジェクトには名前付きコンストラクターはありません。代わりに、Async-from-Sync Iterator オブジェクトは必要に応じて CreateAsyncFromSyncIterator 抽象操作によって作成されます。

27.1.5.1 CreateAsyncFromSyncIterator ( `syncIteratorRecord` )

抽象操作 CreateAsyncFromSyncIterator。引数 syncIteratorRecord (Iteratorレコード)。戻り値：Iteratorレコード。同期 Iterator Record から async Iterator Record を作成するために使用されます。呼び出されると、次の手順を実行する。

asyncIterator を OrdinaryObjectCreate(%AsyncFromSyncIteratorPrototype%, « [[SyncIteratorRecord]] ») とする。
asyncIterator.[[SyncIteratorRecord]] を syncIteratorRecord に設定する。
nextMethod を ! Get(asyncIterator, "next") とする。
iteratorRecord を Iterator Record { [[Iterator]]: asyncIterator, [[NextMethod]]: nextMethod, [[Done]]: false } とする。
iteratorRecord を返す。

27.1.5.2 %AsyncFromSyncIteratorPrototype% オブジェクト

%AsyncFromSyncIteratorPrototype% オブジェクトは:

すべての Async-from-Sync Iterator オブジェクトによって継承されるプロパティを持ちます。
通常オブジェクトです。
値が %AsyncIteratorPrototype% である [[Prototype]] 内部スロットを持ちます。
ECMAScript コードから直接アクセスされることはありません。
次のプロパティを持ちます。

27.1.5.2.1 %AsyncFromSyncIteratorPrototype%.next ( [ `value` ] )

obj を this 値とする。
表明: obj は [[SyncIteratorRecord]] 内部スロットを持つ Object である。
promiseCapability を ! NewPromiseCapability(%Promise%) とする。
syncIteratorRecord を obj.[[SyncIteratorRecord]] とする。
value が存在する場合、
1. result を Completion(IteratorNext(syncIteratorRecord, value)) とする。
そうでない場合、
1. result を Completion(IteratorNext(syncIteratorRecord)) とする。
IfAbruptRejectPromise(result, promiseCapability)。
AsyncFromSyncIteratorContinuation(result, promiseCapability, syncIteratorRecord, true) を返す。

27.1.5.2.2 %AsyncFromSyncIteratorPrototype%.return ( [ `value` ] )

obj を this 値とする。
表明: obj は [[SyncIteratorRecord]] 内部スロットを持つ Object である。
promiseCapability を ! NewPromiseCapability(%Promise%) とする。
syncIteratorRecord を obj.[[SyncIteratorRecord]] とする。
syncIterator を syncIteratorRecord.[[Iterator]] とする。
return を Completion(GetMethod(syncIterator, "return")) とする。
IfAbruptRejectPromise(return, promiseCapability)。
return が undefined である場合、
1. iteratorResult を CreateIteratorResultObject(value, true) とする。
2. ! Call(promiseCapability.[[Resolve]], undefined, « iteratorResult ») を実行する。
3. promiseCapability.[[Promise]] を返す。
value が存在する場合、
1. result を Completion(Call(return, syncIterator, « value »)) とする。
そうでない場合、
1. result を Completion(Call(return, syncIterator)) とする。
IfAbruptRejectPromise(result, promiseCapability)。
result が Object でない場合、
1. ! Call(promiseCapability.[[Reject]], undefined, « 新しく作成された TypeError オブジェクト ») を実行する。
2. promiseCapability.[[Promise]] を返す。
AsyncFromSyncIteratorContinuation(result, promiseCapability, syncIteratorRecord, false) を返す。

27.1.5.2.3 %AsyncFromSyncIteratorPrototype%.throw ( [ `value` ] )

注

この仕様では value は常に指定されますが、%AsyncFromSyncIteratorPrototype%.return ( [ value ] ) との一貫性のため省略可能なままにされています。

obj を this 値とする。
表明: obj は [[SyncIteratorRecord]] 内部スロットを持つ Object である。
promiseCapability を ! NewPromiseCapability(%Promise%) とする。
syncIteratorRecord を obj.[[SyncIteratorRecord]] とする。
syncIterator を syncIteratorRecord.[[Iterator]] とする。
throw を Completion(GetMethod(syncIterator, "throw")) とする。
IfAbruptRejectPromise(throw, promiseCapability)。
throw が undefined である場合、
1. 注記: syncIterator が throw メソッドを持たない場合、capability を reject する前にクリーンアップする機会を与えるため、それを close する。
2. closeCompletion を NormalCompletion(empty) とする。
3. result を Completion(IteratorClose(syncIteratorRecord, closeCompletion)) とする。
4. IfAbruptRejectPromise(result, promiseCapability)。
5. 注記: 次の手順は、プロトコル違反があったこと、すなわち syncIterator が throw メソッドを持たないことを示すため TypeError をスローする。
6. 注記: syncIterator の close がスローしない場合、その操作の結果は、たとえ rejected promise を生成しても無視される。
7. ! Call(promiseCapability.[[Reject]], undefined, « 新しく作成された TypeError オブジェクト ») を実行する。
8. promiseCapability.[[Promise]] を返す。
value が存在する場合、
1. result を Completion(Call(throw, syncIterator, « value »)) とする。
そうでない場合、
1. result を Completion(Call(throw, syncIterator)) とする。
IfAbruptRejectPromise(result, promiseCapability)。
result が Object でない場合、
1. ! Call(promiseCapability.[[Reject]], undefined, « 新しく作成された TypeError オブジェクト ») を実行する。
2. promiseCapability.[[Promise]] を返す。
AsyncFromSyncIteratorContinuation(result, promiseCapability, syncIteratorRecord, true) を返す。

27.1.5.3 Async-from-Sync Iterator インスタンスのプロパティ

Async-from-Sync Iterator インスタンスは %AsyncFromSyncIteratorPrototype% intrinsic オブジェクトからプロパティを継承する通常オブジェクトです。Async-from-Sync Iterator インスタンスは、表 86 に列挙される内部スロットを持つ状態で最初に作成されます。

表 86: Async-from-Sync Iterator インスタンスの内部スロット

内部スロット	型	説明
`[[SyncIteratorRecord]]`	an Iterator Record	適応対象となる元の同期 iterator を表します。

27.1.5.4 AsyncFromSyncIteratorContinuation ( `result`, `promiseCapability`, `syncIteratorRecord`, `closeOnRejection` )

抽象操作 AsyncFromSyncIteratorContinuation。引数 result (Object)、promiseCapability (a PromiseCapability Record for an intrinsic %Promise%)、syncIteratorRecord (Iteratorレコード) および closeOnRejection (Boolean)。戻り値：Promise。呼び出されると、次の手順を実行する。

注記: promiseCapability は intrinsic %Promise% から派生しているため、以下で IfAbruptRejectPromise を使用することで伴う promiseCapability.[[Reject]] の呼出しはスローしないことが保証される。
done を Completion(IteratorComplete(result)) とする。
IfAbruptRejectPromise(done, promiseCapability)。
value を Completion(IteratorValue(result)) とする。
IfAbruptRejectPromise(value, promiseCapability)。
valueWrapper を Completion(PromiseResolve(%Promise%, value)) とする。
valueWrapper が中断完了であり、done が false、かつ closeOnRejection が true である場合、
1. valueWrapper を Completion(IteratorClose(syncIteratorRecord, valueWrapper)) に設定する。
IfAbruptRejectPromise(valueWrapper, promiseCapability)。
unwrap を、done を捕捉し、パラメーター (value) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. CreateIteratorResultObject(value, done) を返す。
onFulfilled を CreateBuiltinFunction(unwrap, 1, "", « ») とする。
注記: onFulfilled は IteratorResult オブジェクトの "value" プロパティを処理するとき、その値が promise であれば待機し、その結果を新しい「unwrapped」IteratorResult オブジェクトに再パッケージするために使用される。
done が true または closeOnRejection が false である場合、
1. onRejected を undefined とする。
そうでない場合、
1. closeIterator を、syncIteratorRecord を捕捉し、パラメーター (error) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
  1. ? IteratorClose(syncIteratorRecord, ThrowCompletion(error)) を返す。
2. onRejected を CreateBuiltinFunction(closeIterator, 1, "", « ») とする。
3. 注記: onRejected は Iterator が生成する IteratorResult オブジェクトの "value" プロパティが rejected promise である場合に、その Iterator を close するために使用される。
PerformPromiseThen(valueWrapper, onFulfilled, onRejected, promiseCapability) を実行する。
promiseCapability.[[Promise]] を返す。

27.2 リソース管理

27.2.1 共通リソース管理インターフェイス

27.2.1.1 Disposable インターフェイス

Disposable インターフェイスには、表 87 で説明されるプロパティが含まれます。

表 87: Disposable インターフェイスの必須プロパティ

プロパティ値要件

プロパティ	値	要件
`%Symbol.dispose%`	a function object	このメソッドを呼び出すと、呼出し元がこのオブジェクトを引き続き使用する意図がないことを Disposable オブジェクトへ通知します。このメソッドは、ファイルシステムハンドル、ストリーム、ホストオブジェクトなどを含むがこれらに限定されないリソースを明示的にクリーンアップするために必要なすべての処理を実行するべきです。このメソッドから例外がスローされた場合、通常はリソースを明示的に解放できなかったことを意味します。同じオブジェクトに対してこのメソッドを複数回呼び出す場合、すでに dispose 済みのリソースに対するクリーンアップ処理の繰返しを避けるべきであり、最初の呼出しで例外がスローされた場合でも例外をスローするべきではありません。ただし、この要件は強制されません。 Disposable オブジェクトを `using` または `await using` 宣言で使用する場合、その宣言を直接含む Block または Module の評価が完了すると、リソースは自動的に dispose されます。

%Symbol.dispose%

a function object

このメソッドを呼び出すと、呼出し元がこのオブジェクトを引き続き使用する意図がないことを Disposable オブジェクトへ通知します。このメソッドは、ファイルシステムハンドル、ストリーム、ホストオブジェクトなどを含むがこれらに限定されないリソースを明示的にクリーンアップするために必要なすべての処理を実行するべきです。このメソッドから例外がスローされた場合、通常はリソースを明示的に解放できなかったことを意味します。

同じオブジェクトに対してこのメソッドを複数回呼び出す場合、すでに dispose 済みのリソースに対するクリーンアップ処理の繰返しを避けるべきであり、最初の呼出しで例外がスローされた場合でも例外をスローするべきではありません。ただし、この要件は強制されません。

Disposable オブジェクトを using または await using 宣言で使用する場合、その宣言を直接含む Block または Module の評価が完了すると、リソースは自動的に dispose されます。

27.2.1.2 AsyncDisposable インターフェイス

AsyncDisposable インターフェイスには、表 88 で説明されるプロパティが含まれます。

表 88: AsyncDisposable インターフェイスの必須プロパティ

プロパティ値要件

プロパティ	値	要件
`%Symbol.asyncDispose%`	promise を返す function object	このメソッドを呼び出すと、呼出し元がこのオブジェクトを引き続き使用する意図がないことを AsyncDisposable オブジェクトへ通知します。このメソッドは、ファイルシステムハンドル、ストリーム、ホストオブジェクトなどを含むがこれらに限定されないリソースを明示的にクリーンアップするために必要なすべての処理を実行するべきです。このメソッドが返した promise が reject された場合、通常はリソースを明示的に解放できなかったことを意味します。AsyncDisposable オブジェクトは、結果として得られる Promise が fulfilled されるまで「disposed」とはみなされません。同じオブジェクトに対してこのメソッドを複数回呼び出す場合、すでに dispose 済みのリソースに対するクリーンアップ処理の繰返しを避けるべきであり、最初の呼出しで例外がスローされた、または rejected promise が返された場合でも、例外をスローしたり rejected promise を返したりするべきではありません。ただし、この要件は強制されません。 AsyncDisposable オブジェクトを `await using` 宣言で使用する場合、その宣言を直接含む Block または Module の評価が完了すると、リソースは自動的に dispose されます。

%Symbol.asyncDispose%

promise を返す function object

このメソッドを呼び出すと、呼出し元がこのオブジェクトを引き続き使用する意図がないことを AsyncDisposable オブジェクトへ通知します。このメソッドは、ファイルシステムハンドル、ストリーム、ホストオブジェクトなどを含むがこれらに限定されないリソースを明示的にクリーンアップするために必要なすべての処理を実行するべきです。このメソッドが返した promise が reject された場合、通常はリソースを明示的に解放できなかったことを意味します。AsyncDisposable オブジェクトは、結果として得られる Promise が fulfilled されるまで「disposed」とはみなされません。

同じオブジェクトに対してこのメソッドを複数回呼び出す場合、すでに dispose 済みのリソースに対するクリーンアップ処理の繰返しを避けるべきであり、最初の呼出しで例外がスローされた、または rejected promise が返された場合でも、例外をスローしたり rejected promise を返したりするべきではありません。ただし、この要件は強制されません。

AsyncDisposable オブジェクトを await using 宣言で使用する場合、その宣言を直接含む Block または Module の評価が完了すると、リソースは自動的に dispose されます。

27.3 DisposableStack オブジェクト

DisposableStack は、一緒に dispose されるべき1つ以上のリソースを保持するために使用できるオブジェクトです。

すべての DisposableStack オブジェクトは、相互排他的な2つの状態、disposed または pending のいずれかにあります。disposable stack d は、d に対して d.dispose() も d.move() も呼び出されていない場合に限り pending です。

27.3.1 DisposableStack コンストラクター

DisposableStack コンストラクターは:

%DisposableStack% です。
グローバルオブジェクトの "DisposableStack" プロパティの初期値です。
コンストラクターとして呼び出されたとき、新しい DisposableStack を作成して初期化します。
関数として呼び出されることを意図しておらず、そのように呼び出された場合は例外をスローします。
クラス定義の extends 節の値として使用できます。規定された DisposableStack の動作を継承しようとするサブクラスコンストラクターは、DisposableStack.prototype の組込みメソッドをサポートするために必要な内部状態を持つサブクラスインスタンスを作成して初期化するため、DisposableStack コンストラクターへの super 呼出しを含まなければなりません。

27.3.1.1 DisposableStack ( )

この関数は呼び出されたとき、次の手順を実行します。

NewTarget が undefined である場合、TypeError 例外をスローする。
disposableStack を ? OrdinaryCreateFromConstructor(NewTarget, "%DisposableStack.prototype%", « [[DisposableState]], [[DisposableResourceStack]] ») とする。
disposableStack.[[DisposableState]] を pending に設定する。
disposableStack.[[DisposableResourceStack]] を新しい空の List に設定する。
disposableStack を返す。

27.3.2 DisposableStack コンストラクターのプロパティ

DisposableStack コンストラクターは:

値が %Function.prototype% である [[Prototype]] 内部スロットを持ちます。
次のプロパティを持ちます。

27.3.2.1 DisposableStack.prototype

DisposableStack.prototype の初期値は DisposableStack prototype オブジェクトです。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false } を持ちます。

27.3.3 DisposableStack Prototype オブジェクトのプロパティ

DisposableStack prototype オブジェクトは:

%DisposableStack.prototype% です。
値が %Object.prototype% である [[Prototype]] 内部スロットを持ちます。
通常オブジェクトです。
[[DisposableState]] 内部スロットまたは DisposableStack インスタンスのその他の内部スロットを持ちません。

27.3.3.1 DisposableStack.prototype.adopt ( `value`, `onDispose` )

このメソッドは呼び出されたとき、次の手順を実行します。

disposableStack を this 値とする。
? RequireInternalSlot(disposableStack, [[DisposableState]]) を実行する。
disposableStack.[[DisposableState]] が disposed である場合、ReferenceError 例外をスローする。
IsCallable(onDispose) が false である場合、TypeError 例外をスローする。
closure を、value と onDispose を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. ? Call(onDispose, undefined, « value ») を返す。
func を CreateBuiltinFunction(closure, 0, "", « ») とする。
? AddDisposableResource(disposableStack.[[DisposableResourceStack]], undefined, sync-dispose, func) を実行する。
value を返す。

27.3.3.2 DisposableStack.prototype.constructor

DisposableStack.prototype.constructor の初期値は %DisposableStack% です。

27.3.3.3 DisposableStack.prototype.defer ( `onDispose` )

このメソッドは呼び出されたとき、次の手順を実行します。

disposableStack を this 値とする。
? RequireInternalSlot(disposableStack, [[DisposableState]]) を実行する。
disposableStack.[[DisposableState]] が disposed である場合、ReferenceError 例外をスローする。
IsCallable(onDispose) が false である場合、TypeError 例外をスローする。
? AddDisposableResource(disposableStack.[[DisposableResourceStack]], undefined, sync-dispose, onDispose) を実行する。
undefined を返す。

27.3.3.4 DisposableStack.prototype.dispose ( )

このメソッドは呼び出されたとき、次の手順を実行します。

disposableStack を this 値とする。
? RequireInternalSlot(disposableStack, [[DisposableState]]) を実行する。
disposableStack.[[DisposableState]] が disposed である場合、undefined を返す。
disposableStack.[[DisposableState]] を disposed に設定する。
? DisposeResources(disposableStack.[[DisposableResourceStack]], NormalCompletion(undefined)) を返す。

27.3.3.5 get DisposableStack.prototype.disposed

DisposableStack.prototype.disposed は、set アクセサー関数が undefined であるアクセサープロパティです。その get アクセサー関数は、呼び出されたときに次の手順を実行します。

disposableStack を this 値とする。
? RequireInternalSlot(disposableStack, [[DisposableState]]) を実行する。
disposableStack.[[DisposableState]] が disposed である場合、true を返す。
false を返す。

27.3.3.6 DisposableStack.prototype.move ( )

このメソッドは呼び出されたとき、次の手順を実行します。

disposableStack を this 値とする。
? RequireInternalSlot(disposableStack, [[DisposableState]]) を実行する。
disposableStack.[[DisposableState]] が disposed である場合、ReferenceError 例外をスローする。
newDisposableStack を ? OrdinaryCreateFromConstructor(%DisposableStack%, "%DisposableStack.prototype%", « [[DisposableState]], [[DisposableResourceStack]] ») とする。
newDisposableStack.[[DisposableState]] を pending に設定する。
newDisposableStack.[[DisposableResourceStack]] を disposableStack.[[DisposableResourceStack]] に設定する。
disposableStack.[[DisposableResourceStack]] を新しい空の List に設定する。
disposableStack.[[DisposableState]] を disposed に設定する。
newDisposableStack を返す。

27.3.3.7 DisposableStack.prototype.use ( `value` )

このメソッドは呼び出されたとき、次の手順を実行します。

disposableStack を this 値とする。
? RequireInternalSlot(disposableStack, [[DisposableState]]) を実行する。
disposableStack.[[DisposableState]] が disposed である場合、ReferenceError 例外をスローする。
? AddDisposableResource(disposableStack.[[DisposableResourceStack]], value, sync-dispose) を実行する。
value を返す。

27.3.3.8 DisposableStack.prototype [ %Symbol.dispose% ] ( )

%Symbol.dispose% プロパティの初期値は、27.3.3.4 で定義される %DisposableStack.prototype.dispose% です。

27.3.3.9 DisposableStack.prototype [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は String 値 "DisposableStack" です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.3.4 DisposableStack インスタンスのプロパティ

DisposableStack インスタンスは DisposableStack prototype オブジェクト（intrinsic %DisposableStack.prototype%）からプロパティを継承する通常オブジェクトです。DisposableStack インスタンスは、表 89 で説明される内部スロットを持つ状態で最初に作成されます。

表 89: DisposableStack インスタンスの内部スロット

内部スロット	型	説明
`[[DisposableState]]`	pending or disposed	disposable stack がその `%Symbol.dispose%` メソッドへの呼出しにどのように反応するかを制御します。
`[[DisposableResourceStack]]`	a List of DisposableResource Records	disposable stack が dispose されたときに dispose されるリソース。リソースは初期化された順序で追加され、逆順で dispose されます。

27.4 AsyncDisposableStack オブジェクト

AsyncDisposableStack は、非同期にまとめて dispose されるべき1つ以上のリソースを保持するために使用できるオブジェクトです。

すべての AsyncDisposableStack オブジェクトは、相互排他的な2つの状態、disposed または pending のいずれかにあります。async-disposable stack d は、d に対して d.disposeAsync() も d.move() も呼び出されていない場合に限り pending です。

27.4.1 AsyncDisposableStack コンストラクター

AsyncDisposableStack コンストラクターは:

%AsyncDisposableStack% です。
グローバルオブジェクトの "AsyncDisposableStack" プロパティの初期値です。
コンストラクターとして呼び出されたとき、新しい AsyncDisposableStack を作成して初期化します。
関数として呼び出されることを意図しておらず、そのように呼び出された場合は例外をスローします。
クラス定義の extends 節の値として使用できます。規定された AsyncDisposableStack の動作を継承しようとするサブクラスコンストラクターは、AsyncDisposableStack.prototype の組込みメソッドをサポートするために必要な内部状態を持つサブクラスインスタンスを作成して初期化するため、AsyncDisposableStack コンストラクターへの super 呼出しを含まなければなりません。

27.4.1.1 AsyncDisposableStack ( )

この関数は呼び出されたとき、次の手順を実行します。

NewTarget が undefined である場合、TypeError 例外をスローする。
asyncDisposableStack を ? OrdinaryCreateFromConstructor(NewTarget, "%AsyncDisposableStack.prototype%", « [[AsyncDisposableState]], [[DisposableResourceStack]] ») とする。
asyncDisposableStack.[[AsyncDisposableState]] を pending に設定する。
asyncDisposableStack.[[DisposableResourceStack]] を新しい空の List に設定する。
asyncDisposableStack を返す。

27.4.2 AsyncDisposableStack コンストラクターのプロパティ

AsyncDisposableStack コンストラクターは:

値が %Function.prototype% である [[Prototype]] 内部スロットを持ちます。
次のプロパティを持ちます。

27.4.2.1 AsyncDisposableStack.prototype

AsyncDisposableStack.prototype の初期値は AsyncDisposableStack prototype オブジェクトです。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false } を持ちます。

27.4.3 AsyncDisposableStack Prototype オブジェクトのプロパティ

AsyncDisposableStack prototype オブジェクトは:

%AsyncDisposableStack.prototype% です。
値が %Object.prototype% である [[Prototype]] 内部スロットを持ちます。
通常オブジェクトです。
[[AsyncDisposableState]] 内部スロットまたは AsyncDisposableStack インスタンスのその他の内部スロットを持ちません。

27.4.3.1 AsyncDisposableStack.prototype.adopt ( `value`, `onDisposeAsync` )

このメソッドは呼び出されたとき、次の手順を実行します。

asyncDisposableStack を this 値とする。
? RequireInternalSlot(asyncDisposableStack, [[AsyncDisposableState]]) を実行する。
asyncDisposableStack.[[AsyncDisposableState]] が disposed である場合、ReferenceError 例外をスローする。
IsCallable(onDisposeAsync) が false である場合、TypeError 例外をスローする。
closure を、value と onDisposeAsync を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. ? Call(onDisposeAsync, undefined, « value ») を返す。
func を CreateBuiltinFunction(closure, 0, "", « ») とする。
? AddDisposableResource(asyncDisposableStack.[[DisposableResourceStack]], undefined, async-dispose, func) を実行する。
value を返す。

27.4.3.2 AsyncDisposableStack.prototype.constructor

AsyncDisposableStack.prototype.constructor の初期値は %AsyncDisposableStack% です。

27.4.3.3 AsyncDisposableStack.prototype.defer ( `onDisposeAsync` )

このメソッドは呼び出されたとき、次の手順を実行します。

asyncDisposableStack を this 値とする。
? RequireInternalSlot(asyncDisposableStack, [[AsyncDisposableState]]) を実行する。
asyncDisposableStack.[[AsyncDisposableState]] が disposed である場合、ReferenceError 例外をスローする。
IsCallable(onDisposeAsync) が false である場合、TypeError 例外をスローする。
? AddDisposableResource(asyncDisposableStack.[[DisposableResourceStack]], undefined, async-dispose, onDisposeAsync) を実行する。
undefined を返す。

27.4.3.4 AsyncDisposableStack.prototype.disposeAsync ( )

この async メソッドは呼び出されたとき、次の手順を実行します。

asyncDisposableStack を this 値とする。
? RequireInternalSlot(asyncDisposableStack, [[AsyncDisposableState]]) を実行する。
asyncDisposableStack.[[AsyncDisposableState]] が disposed である場合、undefined を返す。
asyncDisposableStack.[[AsyncDisposableState]] を disposed に設定する。
? DisposeResources(asyncDisposableStack.[[DisposableResourceStack]], NormalCompletion(undefined)) を返す。

27.4.3.5 get AsyncDisposableStack.prototype.disposed

AsyncDisposableStack.prototype.disposed は、set アクセサー関数が undefined であるアクセサープロパティです。その get アクセサー関数は、呼び出されたときに次の手順を実行します。

asyncDisposableStack を this 値とする。
? RequireInternalSlot(asyncDisposableStack, [[AsyncDisposableState]]) を実行する。
asyncDisposableStack.[[AsyncDisposableState]] が disposed である場合、true を返す。
false を返す。

27.4.3.6 AsyncDisposableStack.prototype.move ( )

このメソッドは呼び出されたとき、次の手順を実行します。

asyncDisposableStack を this 値とする。
? RequireInternalSlot(asyncDisposableStack, [[AsyncDisposableState]]) を実行する。
asyncDisposableStack.[[AsyncDisposableState]] が disposed である場合、ReferenceError 例外をスローする。
newAsyncDisposableStack を ? OrdinaryCreateFromConstructor(%AsyncDisposableStack%, "%AsyncDisposableStack.prototype%", « [[AsyncDisposableState]], [[DisposableResourceStack]] ») とする。
newAsyncDisposableStack.[[AsyncDisposableState]] を pending に設定する。
newAsyncDisposableStack.[[DisposableResourceStack]] を asyncDisposableStack.[[DisposableResourceStack]] に設定する。
asyncDisposableStack.[[DisposableResourceStack]] を新しい空の List に設定する。
asyncDisposableStack.[[AsyncDisposableState]] を disposed に設定する。
newAsyncDisposableStack を返す。

27.4.3.7 AsyncDisposableStack.prototype.use ( `value` )

このメソッドは呼び出されたとき、次の手順を実行します。

asyncDisposableStack を this 値とする。
? RequireInternalSlot(asyncDisposableStack, [[AsyncDisposableState]]) を実行する。
asyncDisposableStack.[[AsyncDisposableState]] が disposed である場合、ReferenceError 例外をスローする。
? AddDisposableResource(asyncDisposableStack.[[DisposableResourceStack]], value, async-dispose) を実行する。
value を返す。

27.4.3.8 AsyncDisposableStack.prototype [ %Symbol.asyncDispose% ] ( )

%Symbol.asyncDispose% プロパティの初期値は、27.4.3.4 で定義される %AsyncDisposableStack.prototype.disposeAsync% です。

27.4.3.9 AsyncDisposableStack.prototype [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は String 値 "AsyncDisposableStack" です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.4.4 AsyncDisposableStack インスタンスのプロパティ

AsyncDisposableStack インスタンスは AsyncDisposableStack prototype オブジェクト（intrinsic %AsyncDisposableStack.prototype%）からプロパティを継承する通常オブジェクトです。AsyncDisposableStack インスタンスは、表 90 で説明される内部スロットを持つ状態で最初に作成されます。

表 90: AsyncDisposableStack インスタンスの内部スロット

内部スロット	型	説明
`[[AsyncDisposableState]]`	pending or disposed	disposable stack がその `%Symbol.asyncDispose%` メソッドへの呼出しにどのように反応するかを制御します。
`[[DisposableResourceStack]]`	a List of DisposableResource Records	disposable stack が dispose されたときに dispose されるリソース。リソースは初期化された順序で追加され、逆順で dispose されます。

27.5 Promise オブジェクト

Promise は、遅延された（場合によっては非同期の）計算の最終的な結果のプレースホルダーとして使用されるオブジェクトです。

すべての Promise は、相互排他的な3つの状態、fulfilled、rejected、および pending のいずれかにあります。

promise p は、p.then(f, r) が関数 f を呼び出す Job を直ちにキューに追加する場合、fulfilled です。
promise p は、p.then(f, r) が関数 r を呼び出す Job を直ちにキューに追加する場合、rejected です。
promise は、fulfilled でも rejected でもない場合、pending です。

promise は pending でない場合、すなわち fulfilled または rejected のいずれかである場合、settled であるといいます。

promise は、settled であるか、別の promise の状態と一致するように「固定」されている場合、resolved です。resolved promise を resolve または reject しようとしても効果はありません。promise は resolved でない場合、unresolved です。unresolved promise は常に pending 状態です。resolved promise は pending、fulfilled、または rejected のいずれかである可能性があります。

thenable とは、Get(obj, "then") が function object を返すオブジェクト obj です。

27.5.1 Promise の抽象操作

27.5.1.1 PromiseCapability Record

PromiseCapability Record は、Promise または promise-like オブジェクトを、その promise を resolve または reject できる関数とともにカプセル化するために使用される Record です。PromiseCapability Record は NewPromiseCapability 抽象操作によって生成されます。

PromiseCapability Record は表 91 に列挙されるフィールドを持ちます。

表 91: PromiseCapability Record のフィールド

フィールド名	値	意味
`[[Promise]]`	an Object	promise として使用可能なオブジェクト。
`[[Resolve]]`	a function object	与えられた promise を resolve するために使用される関数。
`[[Reject]]`	a function object	与えられた promise を reject するために使用される関数。

27.5.1.1.1 IfAbruptRejectPromise ( `value`, `capability` )

IfAbruptRejectPromise は、PromiseCapability Record を使用する一連のアルゴリズム手順の略記です。次の形式のアルゴリズム手順:

IfAbruptRejectPromise(value, capability).

は、次と同じ意味です。

表明: value は Completion Record である。
value が中断完了である場合、
1. ? Call(capability.[[Reject]], undefined, « value.[[Value]] ») を実行する。
2. capability.[[Promise]] を返す。
value を ! value に設定する。

27.5.1.2 PromiseReaction Record

PromiseReaction Record は、promise が特定の値で resolved または rejected になったときにどのように反応するべきかについての情報を保存するために使用される Record です。PromiseReaction Record は PerformPromiseThen 抽象操作によって作成され、NewPromiseReactionJob が返す Abstract Closure によって使用されます。

PromiseReaction Record は表 92 に列挙されるフィールドを持ちます。

表 92: PromiseReaction Record のフィールド

フィールド名	値	意味
`[[Capability]]`	a PromiseCapability Record or undefined	この Record が reaction handler を提供する promise の capability。
`[[Type]]`	fulfill or reject	`[[Handler]]` が empty の場合、settlement type に固有の動作を可能にするため `[[Type]]` が使用されます。
`[[Handler]]`	a JobCallback Record or empty	入力値に適用され、その戻り値が派生 promise に何が起こるかを決定する関数。`[[Handler]]` が empty の場合、代わりに `[[Type]]` の値に依存する関数が使用されます。

27.5.1.3 CreateResolvingFunctions ( `toResolve` )

抽象操作 CreateResolvingFunctions。引数 toResolve (Promise)。戻り値：レコード (フィールド：[[Resolve]] (関数オブジェクト), [[Reject]] (関数オブジェクト))。呼び出されると、次の手順を実行する。

promiseOrEmpty を Record { [[Value]]: toResolve } とする。
resolveSteps を、promiseOrEmpty を捕捉し、パラメーター (resolution) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. promiseOrEmpty.[[Value]] が empty である場合、undefined を返す。
2. promise を promiseOrEmpty.[[Value]] とする。
3. promiseOrEmpty.[[Value]] を empty に設定する。
4. SameValue(resolution, promise) が true である場合、
  1. selfResolutionError を新しく作成された TypeError オブジェクトとする。
  2. RejectPromise(promise, selfResolutionError) を実行する。
  3. undefined を返す。
5. resolution が Object でない場合、
  1. FulfillPromise(promise, resolution) を実行する。
  2. undefined を返す。
6. then を Completion(Get(resolution, "then")) とする。
7. then が中断完了である場合、
  1. RejectPromise(promise, then.[[Value]]) を実行する。
  2. undefined を返す。
8. thenAction を then.[[Value]] とする。
9. IsCallable(thenAction) が false である場合、
  1. FulfillPromise(promise, resolution) を実行する。
  2. undefined を返す。
10. thenJobCallback を HostMakeJobCallback(thenAction) とする。
11. job を NewPromiseResolveThenableJob(promise, resolution, thenJobCallback) とする。
12. HostEnqueuePromiseJob(job.[[Job]], job.[[Realm]]) を実行する。
13. undefined を返す。
resolve を CreateBuiltinFunction(resolveSteps, 1, "", « ») とする。
rejectSteps を、promiseOrEmpty を捕捉し、パラメーター (reason) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. promiseOrEmpty.[[Value]] が empty である場合、undefined を返す。
2. promise を promiseOrEmpty.[[Value]] とする。
3. promiseOrEmpty.[[Value]] を empty に設定する。
4. RejectPromise(promise, reason) を実行する。
5. undefined を返す。
reject を CreateBuiltinFunction(rejectSteps, 1, "", « ») とする。
Record { [[Resolve]]: resolve, [[Reject]]: reject } を返す。

27.5.1.4 FulfillPromise ( `promise`, `value` )

抽象操作 FulfillPromise。引数 promise (Promise) および value (ECMAScript 言語値)。戻り値：unused。呼び出されると、次の手順を実行する。

表明: promise.[[PromiseState]] は pending である。
reactions を promise.[[PromiseFulfillReactions]] とする。
promise.[[PromiseResult]] を value に設定する。
promise.[[PromiseFulfillReactions]] を undefined に設定する。
promise.[[PromiseRejectReactions]] を undefined に設定する。
promise.[[PromiseState]] を fulfilled に設定する。
TriggerPromiseReactions(reactions, value) を実行する。
unused を返す。

27.5.1.5 NewPromiseCapability ( `ctor` )

抽象操作 NewPromiseCapability。引数 ctor (ECMAScript 言語値)。戻り値：(正常完了 (値：PromiseCapabilityレコード) または throw 完了)。組込み Promise コンストラクターと同じ方法で ctor をコンストラクターとして使用し、promise を作成してその resolve および reject 関数を抽出しようとします。promise と resolve および reject 関数は、新しい PromiseCapability Record を初期化するために使用されます。呼び出されると、次の手順を実行する。

IsConstructor(ctor) が false である場合、TypeError 例外をスローする。
注記: ctor は Promise コンストラクターのパラメーター規約をサポートするコンストラクター関数であると仮定される（27.5.3.1 を参照）。
resolvingFuncs を Record { [[Resolve]]: undefined, [[Reject]]: undefined } とする。
executorClosure を、resolvingFuncs を捕捉し、パラメーター (resolve, reject) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. resolvingFuncs.[[Resolve]] が undefined でない場合、TypeError 例外をスローする。
2. resolvingFuncs.[[Reject]] が undefined でない場合、TypeError 例外をスローする。
3. resolvingFuncs.[[Resolve]] を resolve に設定する。
4. resolvingFuncs.[[Reject]] を reject に設定する。
5. NormalCompletion(undefined) を返す。
executor を CreateBuiltinFunction(executorClosure, 2, "", « ») とする。
promise を ? Construct(ctor, « executor ») とする。
IsCallable(resolvingFuncs.[[Resolve]]) が false である場合、TypeError 例外をスローする。
IsCallable(resolvingFuncs.[[Reject]]) が false である場合、TypeError 例外をスローする。
PromiseCapability Record { [[Promise]]: promise, [[Resolve]]: resolvingFuncs.[[Resolve]], [[Reject]]: resolvingFuncs.[[Reject]] } を返す。

注

この抽象操作は、渡された executor 関数引数を Promise コンストラクターと同じ方法で呼び出すすべてのコンストラクターに対して汎用的であるため、Promise のサブクラス化をサポートします。Promise コンストラクターの static メソッドを任意のサブクラスへ一般化するために使用されます。

27.5.1.6 IsPromise ( `arg` )

抽象操作 IsPromise。引数 arg (ECMAScript 言語値)。戻り値：Boolean。オブジェクトに promise brand があるかどうかを確認します。呼び出されると、次の手順を実行する。

arg が Object でない場合、false を返す。
arg が [[PromiseState]] 内部スロットを持たない場合、false を返す。
true を返す。

27.5.1.7 RejectPromise ( `promise`, `reason` )

抽象操作 RejectPromise。引数 promise (Promise) および reason (ECMAScript 言語値)。戻り値：unused。呼び出されると、次の手順を実行する。

表明: promise.[[PromiseState]] は pending である。
reactions を promise.[[PromiseRejectReactions]] とする。
promise.[[PromiseResult]] を reason に設定する。
promise.[[PromiseFulfillReactions]] を undefined に設定する。
promise.[[PromiseRejectReactions]] を undefined に設定する。
promise.[[PromiseState]] を rejected に設定する。
promise.[[PromiseIsHandled]] が false である場合、HostPromiseRejectionTracker(promise, "reject") を実行する。
TriggerPromiseReactions(reactions, reason) を実行する。
unused を返す。

27.5.1.8 TriggerPromiseReactions ( `reactions`, `arg` )

抽象操作 TriggerPromiseReactions。引数 reactions (リスト (要素：PromiseReactionレコード)) および arg (ECMAScript 言語値)。戻り値：unused。 reactions 内の各 Record について新しい Job をキューに追加します。その各 Job は PromiseReaction Record の [[Type]] および [[Handler]] を処理し、[[Handler]] が empty でない場合、指定された引数を渡してそれを呼び出します。[[Handler]] が empty である場合、動作は [[Type]] によって決定されます。呼び出されると、次の手順を実行する。

reactions の各要素 reaction について、次を行う。
1. job を NewPromiseReactionJob(reaction, arg) とする。
2. HostEnqueuePromiseJob(job.[[Job]], job.[[Realm]]) を実行する。
unused を返す。

27.5.1.9 HostPromiseRejectionTracker ( `promise`, `operation` )

ホスト定義の抽象操作 HostPromiseRejectionTracker。引数 promise (Promise) および operation (("reject" または "handle"))。戻り値：unused。ホスト環境が promise の rejection を追跡できるようにします。

HostPromiseRejectionTracker の既定の実装は unused を返します。

注 1

HostPromiseRejectionTracker は次の2つの状況で呼び出されます。

promise が handler なしで reject された場合、operation 引数を "reject" に設定して呼び出されます。
rejected promise に初めて handler が追加された場合、operation 引数を "handle" に設定して呼び出されます。

HostPromiseRejectionTracker の典型的な実装では、未処理の rejection を開発者へ通知すると同時に、後から新しい handler が取り付けられて以前の通知が無効になった場合にも、それを通知するよう注意することが考えられます。

注 2

operation が "handle" である場合、実装はガベージコレクションを妨げる方法で promise への参照を保持するべきではありません。operation が "reject" である場合、rejection はまれであり hot code path には存在しないと想定されるため、実装は promise への参照を保持してもかまいません。

27.5.2 Promise Job

27.5.2.1 NewPromiseReactionJob ( `reaction`, `arg` )

抽象操作 NewPromiseReactionJob。引数 reaction (PromiseReactionレコード) および arg (ECMAScript 言語値)。戻り値：レコード (フィールド：[[Job]] (a Job Abstract Closure), [[Realm]] ((Realmレコードまたは null)))。入力値に適切な handler を適用し、その handler の戻り値を使用して、その handler に関連付けられた派生 promise を resolve または reject する新しい Job Abstract Closure を返します。呼び出されると、次の手順を実行する。

job を、reaction と arg を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Job Abstract Closure とする。
1. promiseCapability を reaction.[[Capability]] とする。
2. type を reaction.[[Type]] とする。
3. handler を reaction.[[Handler]] とする。
4. handler が empty である場合、
  1. type が fulfill である場合、
    1. handlerResult を NormalCompletion(arg) とする。
  2. そうでない場合、
    1. 表明: type は reject である。
    2. handlerResult を ThrowCompletion(arg) とする。
5. そうでない場合、
  1. handlerResult を Completion(HostCallJobCallback(handler, undefined, « arg »)) とする。
6. promiseCapability が undefined である場合、
  1. 表明: handlerResult は中断完了でない。
  2. empty を返す。
7. 表明: promiseCapability は PromiseCapability Record である。
8. handlerResult が中断完了である場合、
  1. ? Call(promiseCapability.[[Reject]], undefined, « handlerResult.[[Value]] ») を返す。
9. ? Call(promiseCapability.[[Resolve]], undefined, « handlerResult.[[Value]] ») を返す。
handlerRealm を null とする。
reaction.[[Handler]] が empty でない場合、
1. getHandlerRealmResult を Completion(GetFunctionRealm(reaction.[[Handler]].[[Callback]])) とする。
2. getHandlerRealmResult が正常完了である場合、handlerRealm を getHandlerRealmResult.[[Value]] に設定する。
3. そうでない場合、handlerRealm を現在の Realm Record に設定する。
4. 注記: handler が undefined でない限り、handlerRealm が null になることはない。handler が revoke された Proxy であり ECMAScript コードが実行されない場合、handlerRealm はエラーオブジェクトを作成するために使用される。
Record { [[Job]]: job, [[Realm]]: handlerRealm } を返す。

27.5.2.2 NewPromiseResolveThenableJob ( `promiseToResolve`, `thenable`, `then` )

抽象操作 NewPromiseResolveThenableJob。引数 promiseToResolve (Promise)、thenable (Object) および then (JobCallbackレコード)。戻り値：レコード (フィールド：[[Job]] (a Job Abstract Closure), [[Realm]] (Realmレコード))。呼び出されると、次の手順を実行する。

job を、promiseToResolve、thenable、および then を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Job Abstract Closure とする。
1. resolvingFuncs を CreateResolvingFunctions(promiseToResolve) とする。
2. thenCallResult を Completion(HostCallJobCallback(then, thenable, « resolvingFuncs.[[Resolve]], resolvingFuncs.[[Reject]] »)) とする。
3. thenCallResult が中断完了である場合、
  1. ? Call(resolvingFuncs.[[Reject]], undefined, « thenCallResult.[[Value]] ») を返す。
4. ! thenCallResult を返す。
getThenRealmResult を Completion(GetFunctionRealm(then.[[Callback]])) とする。
getThenRealmResult が正常完了である場合、thenRealm を getThenRealmResult.[[Value]] とする。
そうでない場合、thenRealm を現在の Realm Record とする。
注記: thenRealm が null になることはない。then.[[Callback]] が revoke された Proxy でありコードが実行されない場合、thenRealm はエラーオブジェクトを作成するために使用される。
Record { [[Job]]: job, [[Realm]]: thenRealm } を返す。

注

この Job は、与えられた thenable とその then メソッドを使用して、与えられた promise を resolve します。この処理は、周囲のコードの評価がすべて完了した後に then メソッドの評価が行われることを保証するため、Job として実行されなければなりません。

27.5.3 Promise コンストラクター

Promise コンストラクターは:

%Promise% です。
グローバルオブジェクトの "Promise" プロパティの初期値です。
コンストラクターとして呼び出されたとき、新しい Promise を作成して初期化します。
関数として呼び出されることを意図しておらず、そのように呼び出された場合は例外をスローします。
クラス定義の extends 節の値として使用できます。規定された Promise の動作を継承しようとするサブクラスコンストラクターは、Promise および Promise.prototype の組込みメソッドをサポートするために必要な内部状態を持つサブクラスインスタンスを作成して初期化するため、Promise コンストラクターへの super 呼出しを含まなければなりません。

27.5.3.1 Promise ( `executor` )

この関数は呼び出されたとき、次の手順を実行します。

NewTarget が undefined である場合、TypeError 例外をスローする。
IsCallable(executor) が false である場合、TypeError 例外をスローする。
promise を ? OrdinaryCreateFromConstructor(NewTarget, "%Promise.prototype%", « [[PromiseState]], [[PromiseResult]], [[PromiseFulfillReactions]], [[PromiseRejectReactions]], [[PromiseIsHandled]] ») とする。
promise.[[PromiseState]] を pending に設定する。
promise.[[PromiseResult]] を empty に設定する。
promise.[[PromiseFulfillReactions]] を新しい空の List に設定する。
promise.[[PromiseRejectReactions]] を新しい空の List に設定する。
promise.[[PromiseIsHandled]] を false に設定する。
resolvingFuncs を CreateResolvingFunctions(promise) とする。
completion を Completion(Call(executor, undefined, « resolvingFuncs.[[Resolve]], resolvingFuncs.[[Reject]] »)) とする。
completion が中断完了である場合、
1. ? Call(resolvingFuncs.[[Reject]], undefined, « completion.[[Value]] ») を実行する。
promise を返す。

注

executor 引数は function object でなければなりません。この Promise によって表される、場合によっては遅延される処理の開始および完了の報告のために呼び出されます。executor は2つの引数、resolve と reject で呼び出されます。これらは、遅延計算の最終的な完了または失敗を報告するために executor 関数が使用できる関数です。executor 関数から戻ることは、遅延処理が完了したことを意味するのではなく、遅延処理を最終的に実行する要求が受け付けられたことだけを意味します。

executor 関数へ渡される resolve 関数は単一の引数を受け取ります。executor コードは最終的に resolve 関数を呼び出して、関連付けられた Promise を resolve したいことを示すことができます。resolve 関数へ渡される引数は遅延処理の最終的な値を表し、実際の fulfillment 値でも、fulfilled された場合に値を提供する別の promise でもかまいません。

executor 関数へ渡される reject 関数は単一の引数を受け取ります。executor コードは最終的に reject 関数を呼び出して、関連付けられた Promise が reject され、決して fulfill されないことを示すことができます。reject 関数へ渡される引数は promise の rejection 値として使用されます。通常は Error オブジェクトです。

Promise コンストラクターによって executor 関数へ渡される resolve および reject 関数は、関連付けられた promise を実際に resolve および reject する能力を持ちます。サブクラスは、resolve および reject にカスタマイズされた値を渡す異なるコンストラクター動作を持つ場合があります。

27.5.4 Promise コンストラクターのプロパティ

Promise コンストラクターは:

値が %Function.prototype% である [[Prototype]] 内部スロットを持ちます。
次のプロパティを持ちます。

27.5.4.1 Promise.all ( `iterable` )

この関数は、渡された promise の fulfillment 値の配列で fulfilled される新しい promise を返すか、渡された promise のうち最初に reject されたものの理由で reject されます。このアルゴリズムの実行中、渡された iterable のすべての要素を promise に resolve します。

ctor を this 値とする。
promiseCapability を ? NewPromiseCapability(ctor) とする。
promiseResolve を Completion(GetPromiseResolve(ctor)) とする。
IfAbruptRejectPromise(promiseResolve, promiseCapability)。
iteratorRecord を Completion(GetIterator(iterable, sync)) とする。
IfAbruptRejectPromise(iteratorRecord, promiseCapability)。
result を Completion(PerformPromiseAll(iteratorRecord, ctor, promiseCapability, promiseResolve)) とする。
result が中断完了である場合、
1. iteratorRecord.[[Done]] が false である場合、result を Completion(IteratorClose(iteratorRecord, result)) に設定する。
2. IfAbruptRejectPromise(result, promiseCapability)。
! result を返す。

注

この関数では、その this 値が Promise コンストラクターのパラメーター規約をサポートするコンストラクター関数である必要があります。

27.5.4.1.1 GetPromiseResolve ( `promiseCtor` )

抽象操作 GetPromiseResolve。引数 promiseCtor (コンストラクター)。戻り値：(正常完了 (値：関数オブジェクト) または throw 完了)。呼び出されると、次の手順を実行する。

promiseResolve を ? Get(promiseCtor, "resolve") とする。
IsCallable(promiseResolve) が false である場合、TypeError 例外をスローする。
promiseResolve を返す。

27.5.4.1.2 PerformPromiseAll ( `iteratorRecord`, `ctor`, `resultCapability`, `promiseResolve` )

抽象操作 PerformPromiseAll。引数 iteratorRecord (Iteratorレコード)、ctor (コンストラクター)、resultCapability (PromiseCapabilityレコード) および promiseResolve (関数オブジェクト)。戻り値：(正常完了 (値：Object) または throw 完了)。呼び出されると、次の手順を実行する。

values を新しい空の List とする。
注記: remainingElementsCount は 0 ではなく 1 から開始する。これは、入力 iterator が使い切られる前に渡された callback を呼び出す不正な "then" が存在しても、resultCapability.[[Resolve]] が1回だけ呼び出されることを保証するためである。
remainingElementsCount を Record { [[Value]]: 1 } とする。
index を 0 とする。
次を繰り返す。
1. next を ? IteratorStepValue(iteratorRecord) とする。
2. next が done である場合、
  1. remainingElementsCount.[[Value]] を remainingElementsCount.[[Value]] - 1 に設定する。
  2. remainingElementsCount.[[Value]] = 0 である場合、
    1. valuesArray を CreateArrayFromList(values) とする。
    2. ? Call(resultCapability.[[Resolve]], undefined, « valuesArray ») を実行する。
  3. resultCapability.[[Promise]] を返す。
3. undefined を values に追加する。
4. nextPromise を ? Call(promiseResolve, ctor, « next ») とする。
5. fulfilledSteps を、values、resultCapability、および remainingElementsCount を捕捉し、パラメーター (value) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
  1. activeFunc をアクティブな関数オブジェクトとする。
  2. activeFunc.[[AlreadyCalled]] が true である場合、undefined を返す。
  3. activeFunc.[[AlreadyCalled]] を true に設定する。
  4. thisIndex を activeFunc.[[Index]] とする。
  5. values[thisIndex] を value に設定する。
  6. remainingElementsCount.[[Value]] を remainingElementsCount.[[Value]] - 1 に設定する。
  7. remainingElementsCount.[[Value]] = 0 である場合、
    1. valuesArray を CreateArrayFromList(values) とする。
    2. ? Call(resultCapability.[[Resolve]], undefined, « valuesArray ») を返す。
  8. undefined を返す。
6. onFulfilled を CreateBuiltinFunction(fulfilledSteps, 1, "", « [[AlreadyCalled]], [[Index]] ») とする。
7. onFulfilled.[[AlreadyCalled]] を false に設定する。
8. onFulfilled.[[Index]] を index に設定する。
9. index を index + 1 に設定する。
10. remainingElementsCount.[[Value]] を remainingElementsCount.[[Value]] + 1 に設定する。
11. ? Invoke(nextPromise, "then", « onFulfilled, resultCapability.[[Reject]] ») を実行する。

27.5.4.2 Promise.allSettled ( `iterable` )

この関数は、元のすべての promise が settled、すなわち fulfilled または rejected のいずれかになった後にのみ、promise 状態のスナップショットの配列で fulfilled される promise を返します。このアルゴリズムの実行中、渡された iterable のすべての要素を promise に resolve します。

ctor を this 値とする。
promiseCapability を ? NewPromiseCapability(ctor) とする。
promiseResolve を Completion(GetPromiseResolve(ctor)) とする。
IfAbruptRejectPromise(promiseResolve, promiseCapability)。
iteratorRecord を Completion(GetIterator(iterable, sync)) とする。
IfAbruptRejectPromise(iteratorRecord, promiseCapability)。
result を Completion(PerformPromiseAllSettled(iteratorRecord, ctor, promiseCapability, promiseResolve)) とする。
result が中断完了である場合、
1. iteratorRecord.[[Done]] が false である場合、result を Completion(IteratorClose(iteratorRecord, result)) に設定する。
2. IfAbruptRejectPromise(result, promiseCapability)。
! result を返す。

注

この関数では、その this 値が Promise コンストラクターのパラメーター規約をサポートするコンストラクター関数である必要があります。

27.5.4.2.1 PerformPromiseAllSettled ( `iteratorRecord`, `ctor`, `resultCapability`, `promiseResolve` )

抽象操作 PerformPromiseAllSettled。引数 iteratorRecord (Iteratorレコード)、ctor (コンストラクター)、resultCapability (PromiseCapabilityレコード) および promiseResolve (関数オブジェクト)。戻り値：(正常完了 (値：Object) または throw 完了)。呼び出されると、次の手順を実行する。

values を新しい空の List とする。
注記: remainingElementsCount は 0 ではなく 1 から開始する。これは、入力 iterator が使い切られる前に渡された callback のいずれかを呼び出す不正な "then" が存在しても、resultCapability.[[Resolve]] が1回だけ呼び出されることを保証するためである。
remainingElementsCount を Record { [[Value]]: 1 } とする。
index を 0 とする。
次を繰り返す。
1. next を ? IteratorStepValue(iteratorRecord) とする。
2. next が done である場合、
  1. remainingElementsCount.[[Value]] を remainingElementsCount.[[Value]] - 1 に設定する。
  2. remainingElementsCount.[[Value]] = 0 である場合、
    1. valuesArray を CreateArrayFromList(values) とする。
    2. ? Call(resultCapability.[[Resolve]], undefined, « valuesArray ») を実行する。
  3. resultCapability.[[Promise]] を返す。
3. undefined を values に追加する。
4. nextPromise を ? Call(promiseResolve, ctor, « next ») とする。
5. alreadyCalled を Record { [[Value]]: false } とする。
6. fulfilledSteps を、values、resultCapability、および remainingElementsCount を捕捉し、パラメーター (value) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
  1. activeFunc をアクティブな関数オブジェクトとする。
  2. activeFunc.[[AlreadyCalled]].[[Value]] が true である場合、undefined を返す。
  3. activeFunc.[[AlreadyCalled]].[[Value]] を true に設定する。
  4. obj を OrdinaryObjectCreate(%Object.prototype%) とする。
  5. ! CreateDataPropertyOrThrow(obj, "status", "fulfilled") を実行する。
  6. ! CreateDataPropertyOrThrow(obj, "value", value) を実行する。
  7. thisIndex を activeFunc.[[Index]] とする。
  8. values[thisIndex] を obj に設定する。
  9. remainingElementsCount.[[Value]] を remainingElementsCount.[[Value]] - 1 に設定する。
  10. remainingElementsCount.[[Value]] = 0 である場合、
    1. valuesArray を CreateArrayFromList(values) とする。
    2. ? Call(resultCapability.[[Resolve]], undefined, « valuesArray ») を返す。
  11. undefined を返す。
7. onFulfilled を CreateBuiltinFunction(fulfilledSteps, 1, "", « [[AlreadyCalled]], [[Index]] ») とする。
8. onFulfilled.[[AlreadyCalled]] を alreadyCalled に設定する。
9. onFulfilled.[[Index]] を index に設定する。
10. rejectedSteps を、values、resultCapability、および remainingElementsCount を捕捉し、パラメーター (error) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
  1. activeFunc をアクティブな関数オブジェクトとする。
  2. activeFunc.[[AlreadyCalled]].[[Value]] が true である場合、undefined を返す。
  3. activeFunc.[[AlreadyCalled]].[[Value]] を true に設定する。
  4. obj を OrdinaryObjectCreate(%Object.prototype%) とする。
  5. ! CreateDataPropertyOrThrow(obj, "status", "rejected") を実行する。
  6. ! CreateDataPropertyOrThrow(obj, "reason", error) を実行する。
  7. thisIndex を activeFunc.[[Index]] とする。
  8. values[thisIndex] を obj に設定する。
  9. remainingElementsCount.[[Value]] を remainingElementsCount.[[Value]] - 1 に設定する。
  10. remainingElementsCount.[[Value]] = 0 である場合、
    1. valuesArray を CreateArrayFromList(values) とする。
    2. ? Call(resultCapability.[[Resolve]], undefined, « valuesArray ») を返す。
  11. undefined を返す。
11. onRejected を CreateBuiltinFunction(rejectedSteps, 1, "", « [[AlreadyCalled]], [[Index]] ») とする。
12. onRejected.[[AlreadyCalled]] を alreadyCalled に設定する。
13. onRejected.[[Index]] を index に設定する。
14. index を index + 1 に設定する。
15. remainingElementsCount.[[Value]] を remainingElementsCount.[[Value]] + 1 に設定する。
16. ? Invoke(nextPromise, "then", « onFulfilled, onRejected ») を実行する。

27.5.4.3 Promise.any ( `iterable` )

この関数は、与えられた promise のうち最初に fulfill された promise によって fulfilled される promise を返すか、与えられたすべての promise が reject された場合は、rejection の理由を保持する AggregateError で reject される promise を返します。このアルゴリズムの実行中、渡された iterable のすべての要素を promise に resolve します。

ctor を this 値とする。
promiseCapability を ? NewPromiseCapability(ctor) とする。
promiseResolve を Completion(GetPromiseResolve(ctor)) とする。
IfAbruptRejectPromise(promiseResolve, promiseCapability)。
iteratorRecord を Completion(GetIterator(iterable, sync)) とする。
IfAbruptRejectPromise(iteratorRecord, promiseCapability)。
result を Completion(PerformPromiseAny(iteratorRecord, ctor, promiseCapability, promiseResolve)) とする。
result が中断完了である場合、
1. iteratorRecord.[[Done]] が false である場合、result を Completion(IteratorClose(iteratorRecord, result)) に設定する。
2. IfAbruptRejectPromise(result, promiseCapability)。
! result を返す。

注

この関数では、その this 値が Promise コンストラクターのパラメーター規約をサポートするコンストラクター関数である必要があります。

27.5.4.3.1 PerformPromiseAny ( `iteratorRecord`, `ctor`, `resultCapability`, `promiseResolve` )

抽象操作 PerformPromiseAny。引数 iteratorRecord (Iteratorレコード)、ctor (コンストラクター)、resultCapability (PromiseCapabilityレコード) および promiseResolve (関数オブジェクト)。戻り値：(正常完了 (値：Object) または throw 完了)。呼び出されると、次の手順を実行する。

errors を新しい空の List とする。
注記: remainingElementsCount は 0 ではなく 1 から開始する。これは、入力 iterator が使い切られる前に渡された callback を呼び出す不正な "then" が存在しても、resultCapability.[[Reject]] が1回だけ呼び出されることを保証するためである。
remainingElementsCount を Record { [[Value]]: 1 } とする。
index を 0 とする。
次を繰り返す。
1. next を ? IteratorStepValue(iteratorRecord) とする。
2. next が done である場合、
  1. remainingElementsCount.[[Value]] を remainingElementsCount.[[Value]] - 1 に設定する。
  2. remainingElementsCount.[[Value]] = 0 である場合、
    1. aggregateError を新しく作成された AggregateError オブジェクトとする。
    2. ! DefinePropertyOrThrow(aggregateError, "errors", PropertyDescriptor { [[Configurable]]: true, [[Enumerable]]: false, [[Writable]]: true, [[Value]]: CreateArrayFromList(errors) }) を実行する。
    3. ? Call(resultCapability.[[Reject]], undefined, « aggregateError ») を実行する。
  3. resultCapability.[[Promise]] を返す。
3. undefined を errors に追加する。
4. nextPromise を ? Call(promiseResolve, ctor, « next ») とする。
5. rejectedSteps を、errors、resultCapability、および remainingElementsCount を捕捉し、パラメーター (error) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
  1. activeFunc をアクティブな関数オブジェクトとする。
  2. activeFunc.[[AlreadyCalled]] が true である場合、undefined を返す。
  3. activeFunc.[[AlreadyCalled]] を true に設定する。
  4. thisIndex を activeFunc.[[Index]] とする。
  5. errors[thisIndex] を error に設定する。
  6. remainingElementsCount.[[Value]] を remainingElementsCount.[[Value]] - 1 に設定する。
  7. remainingElementsCount.[[Value]] = 0 である場合、
    1. aggregateError を新しく作成された AggregateError オブジェクトとする。
    2. ! DefinePropertyOrThrow(aggregateError, "errors", PropertyDescriptor { [[Configurable]]: true, [[Enumerable]]: false, [[Writable]]: true, [[Value]]: CreateArrayFromList(errors) }) を実行する。
    3. ? Call(resultCapability.[[Reject]], undefined, « aggregateError ») を返す。
  8. undefined を返す。
6. onRejected を CreateBuiltinFunction(rejectedSteps, 1, "", « [[AlreadyCalled]], [[Index]] ») とする。
7. onRejected.[[AlreadyCalled]] を false に設定する。
8. onRejected.[[Index]] を index に設定する。
9. index を index + 1 に設定する。
10. remainingElementsCount.[[Value]] を remainingElementsCount.[[Value]] + 1 に設定する。
11. ? Invoke(nextPromise, "then", « resultCapability.[[Resolve]], onRejected ») を実行する。

27.5.4.4 Promise.prototype

Promise.prototype の初期値は Promise prototype オブジェクトです。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false } を持ちます。

27.5.4.5 Promise.race ( `iterable` )

この関数は、渡された promise のうち最初に settle した promise と同じ方法で settle される新しい promise を返します。このアルゴリズムの実行中、渡された iterable のすべての要素を promise に resolve します。

ctor を this 値とする。
promiseCapability を ? NewPromiseCapability(ctor) とする。
promiseResolve を Completion(GetPromiseResolve(ctor)) とする。
IfAbruptRejectPromise(promiseResolve, promiseCapability)。
iteratorRecord を Completion(GetIterator(iterable, sync)) とする。
IfAbruptRejectPromise(iteratorRecord, promiseCapability)。
result を Completion(PerformPromiseRace(iteratorRecord, ctor, promiseCapability, promiseResolve)) とする。
result が中断完了である場合、
1. iteratorRecord.[[Done]] が false である場合、result を Completion(IteratorClose(iteratorRecord, result)) に設定する。
2. IfAbruptRejectPromise(result, promiseCapability)。
! result を返す。

注 1

iterable 引数が値を生成しない場合、または iterable が生成する promise のいずれも決して settle しない場合、このメソッドが返す pending promise は決して settle しません。

注 2

この関数では、その this 値が Promise コンストラクターのパラメーター規約をサポートするコンストラクター関数であることが期待されます。また、その this 値が resolve メソッドを提供することも期待されます。

27.5.4.5.1 PerformPromiseRace ( `iteratorRecord`, `ctor`, `resultCapability`, `promiseResolve` )

抽象操作 PerformPromiseRace。引数 iteratorRecord (Iteratorレコード)、ctor (コンストラクター)、resultCapability (PromiseCapabilityレコード) および promiseResolve (関数オブジェクト)。戻り値：(正常完了 (値：Object) または throw 完了)。呼び出されると、次の手順を実行する。

次を繰り返す。
1. next を ? IteratorStepValue(iteratorRecord) とする。
2. next が done である場合、
  1. resultCapability.[[Promise]] を返す。
3. nextPromise を ? Call(promiseResolve, ctor, « next ») とする。
4. ? Invoke(nextPromise, "then", « resultCapability.[[Resolve]], resultCapability.[[Reject]] ») を実行する。

27.5.4.6 Promise.reject ( `reason` )

この関数は、渡された引数で reject された新しい promise を返します。

ctor を this 値とする。
promiseCapability を ? NewPromiseCapability(ctor) とする。
? Call(promiseCapability.[[Reject]], undefined, « reason ») を実行する。
promiseCapability.[[Promise]] を返す。

注

この関数では、その this 値が Promise コンストラクターのパラメーター規約をサポートするコンストラクター関数であることが期待されます。

27.5.4.7 Promise.resolve ( `resolution` )

この関数は、渡された引数で resolve された新しい promise、または引数がこのコンストラクターによって生成された promise である場合はその引数自体を返します。

ctor を this 値とする。
ctor が Object でない場合、TypeError 例外をスローする。
? PromiseResolve(ctor, resolution) を返す。

注

この関数では、その this 値が Promise コンストラクターのパラメーター規約をサポートするコンストラクター関数であることが期待されます。

27.5.4.7.1 PromiseResolve ( `ctor`, `resolution` )

抽象操作 PromiseResolve。引数 ctor (Object) および resolution (ECMAScript 言語値)。戻り値：(正常完了 (値：Object) または throw 完了)。 resolution で resolve された新しい promise を返します。呼び出されると、次の手順を実行する。

IsPromise(resolution) が true である場合、
1. resolutionCtor を ? Get(resolution, "constructor") とする。
2. SameValue(resolutionCtor, ctor) が true である場合、resolution を返す。
promiseCapability を ? NewPromiseCapability(ctor) とする。
? Call(promiseCapability.[[Resolve]], undefined, « resolution ») を実行する。
promiseCapability.[[Promise]] を返す。

27.5.4.8 Promise.try ( `callback`, ...`args` )

この関数は呼び出されたとき、次の手順を実行します。

ctor を this 値とする。
ctor が Object でない場合、TypeError 例外をスローする。
status を Completion(Call(callback, undefined, args)) とする。
status が中断完了である場合、
1. promiseCapability を ? NewPromiseCapability(ctor) とする。
2. ? Call(promiseCapability.[[Reject]], undefined, « status.[[Value]] ») を実行する。
3. promiseCapability.[[Promise]] を返す。
そうでない場合、
1. ? PromiseResolve(ctor, ! status) を返す。

注

この関数では、その this 値が Promise コンストラクターのパラメーター規約をサポートするコンストラクター関数であることが期待されます。

27.5.4.9 Promise.withResolvers ( )

この関数は3つのプロパティを持つオブジェクト、すなわち新しい promise と、それに関連付けられた resolve および reject 関数を返します。

ctor を this 値とする。
promiseCapability を ? NewPromiseCapability(ctor) とする。
obj を OrdinaryObjectCreate(%Object.prototype%) とする。
! CreateDataPropertyOrThrow(obj, "promise", promiseCapability.[[Promise]]) を実行する。
! CreateDataPropertyOrThrow(obj, "resolve", promiseCapability.[[Resolve]]) を実行する。
! CreateDataPropertyOrThrow(obj, "reject", promiseCapability.[[Reject]]) を実行する。
obj を返す。

27.5.4.10 get Promise [ %Symbol.species% ]

Promise[%Symbol.species%] は、set アクセサー関数が undefined であるアクセサープロパティです。その get アクセサー関数は、呼び出されたときに次の手順を実行します。

this 値を返す。

この関数の "name" プロパティの値は "get [Symbol.species]" です。

注

Promise prototype メソッドは通常、その this 値のコンストラクターを使用して派生オブジェクトを作成します。ただし、サブクラスコンストラクターは %Symbol.species% プロパティを再定義することによって、その既定の動作を上書きできます。

27.5.5 Promise Prototype オブジェクトのプロパティ

Promise prototype オブジェクトは:

%Promise.prototype% です。
値が %Object.prototype% である [[Prototype]] 内部スロットを持ちます。
通常オブジェクトです。
[[PromiseState]] 内部スロットまたは Promise インスタンスのその他の内部スロットを持ちません。

27.5.5.1 Promise.prototype.catch ( `onRejected` )

このメソッドは呼び出されたとき、次の手順を実行します。

promise を this 値とする。
? Invoke(promise, "then", « undefined, onRejected ») を返す。

27.5.5.2 Promise.prototype.constructor

Promise.prototype.constructor の初期値は %Promise% です。

27.5.5.3 Promise.prototype.finally ( `onFinally` )

このメソッドは呼び出されたとき、次の手順を実行します。

promise を this 値とする。
promise が Object でない場合、TypeError 例外をスローする。
ctor を ? SpeciesConstructor(promise, %Promise%) とする。
表明: IsConstructor(ctor) は true である。
IsCallable(onFinally) が false である場合、
1. thenFinally を onFinally とする。
2. catchFinally を onFinally とする。
そうでない場合、
1. thenFinallyClosure を、onFinally と ctor を捕捉し、パラメーター (value) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
  1. result を ? Call(onFinally, undefined) とする。
  2. p を ? PromiseResolve(ctor, result) とする。
  3. returnValue を、value を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
    1. NormalCompletion(value) を返す。
  4. valueThunk を CreateBuiltinFunction(returnValue, 0, "", « ») とする。
  5. ? Invoke(p, "then", « valueThunk ») を返す。
2. thenFinally を CreateBuiltinFunction(thenFinallyClosure, 1, "", « ») とする。
3. catchFinallyClosure を、onFinally と ctor を捕捉し、パラメーター (reason) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
  1. result を ? Call(onFinally, undefined) とする。
  2. p を ? PromiseResolve(ctor, result) とする。
  3. throwReason を、reason を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
    1. reason をスローする。
  4. thrower を CreateBuiltinFunction(throwReason, 0, "", « ») とする。
  5. ? Invoke(p, "then", « thrower ») を返す。
4. catchFinally を CreateBuiltinFunction(catchFinallyClosure, 1, "", « ») とする。
? Invoke(promise, "then", « thenFinally, catchFinally ») を返す。

27.5.5.4 Promise.prototype.then ( `onFulfilled`, `onRejected` )

このメソッドは呼び出されたとき、次の手順を実行します。

promise を this 値とする。
IsPromise(promise) が false である場合、TypeError 例外をスローする。
ctor を ? SpeciesConstructor(promise, %Promise%) とする。
resultCapability を ? NewPromiseCapability(ctor) とする。
PerformPromiseThen(promise, onFulfilled, onRejected, resultCapability) を返す。

27.5.5.4.1 PerformPromiseThen ( `promise`, `onFulfilled`, `onRejected` [ , `resultCapability` ] )

抽象操作 PerformPromiseThen。引数 promise (Promise)、onFulfilled (ECMAScript 言語値) および onRejected (ECMAScript 言語値)および省略可能な引数 resultCapability (PromiseCapabilityレコード)。戻り値：(Object または undefined)。 onFulfilled および onRejected を settlement action として使用し、promise に対する「then」操作を実行します。resultCapability が渡された場合、結果は resultCapability の promise を更新することで保存されます。渡されていない場合、PerformPromiseThen は結果が重要でない仕様内部の操作から呼び出されています。呼び出されると、次の手順を実行する。

表明: IsPromise(promise) は true である。
resultCapability が存在しない場合、
1. resultCapability を undefined に設定する。
IsCallable(onFulfilled) が false である場合、
1. onFulfilledJobCallback を empty とする。
そうでない場合、
1. onFulfilledJobCallback を HostMakeJobCallback(onFulfilled) とする。
IsCallable(onRejected) が false である場合、
1. onRejectedJobCallback を empty とする。
そうでない場合、
1. onRejectedJobCallback を HostMakeJobCallback(onRejected) とする。
fulfillReaction を PromiseReaction Record { [[Capability]]: resultCapability, [[Type]]: fulfill, [[Handler]]: onFulfilledJobCallback } とする。
rejectReaction を PromiseReaction Record { [[Capability]]: resultCapability, [[Type]]: reject, [[Handler]]: onRejectedJobCallback } とする。
promise.[[PromiseState]] が pending である場合、
1. fulfillReaction を promise.[[PromiseFulfillReactions]] に追加する。
2. rejectReaction を promise.[[PromiseRejectReactions]] に追加する。
そうでなく、promise.[[PromiseState]] が fulfilled である場合、
1. value を promise.[[PromiseResult]] とする。
2. fulfillJob を NewPromiseReactionJob(fulfillReaction, value) とする。
3. HostEnqueuePromiseJob(fulfillJob.[[Job]], fulfillJob.[[Realm]]) を実行する。
そうでない場合、
1. 表明: promise.[[PromiseState]] は rejected である。
2. reason を promise.[[PromiseResult]] とする。
3. promise.[[PromiseIsHandled]] が false である場合、HostPromiseRejectionTracker(promise, "handle") を実行する。
4. rejectJob を NewPromiseReactionJob(rejectReaction, reason) とする。
5. HostEnqueuePromiseJob(rejectJob.[[Job]], rejectJob.[[Realm]]) を実行する。
promise.[[PromiseIsHandled]] を true に設定する。
resultCapability が undefined である場合、undefined を返す。
resultCapability.[[Promise]] を返す。

27.5.5.5 Promise.prototype [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は String 値 "Promise" です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.5.6 Promise インスタンスのプロパティ

Promise インスタンスは Promise prototype オブジェクト（intrinsic %Promise.prototype%）からプロパティを継承する通常オブジェクトです。Promise インスタンスは、表 93 で説明される内部スロットを持つ状態で最初に作成されます。

表 93: Promise インスタンスの内部スロット

内部スロット	型	説明
`[[PromiseState]]`	pending, fulfilled, or rejected	promise がその `then` メソッドへの呼出しにどのように反応するかを制御します。
`[[PromiseResult]]`	an ECMAScript language value or empty	promise が fulfilled または rejected された値（存在する場合）。`[[PromiseState]]` が pending である場合に限り empty です。
`[[PromiseFulfillReactions]]`	a List of PromiseReaction Records	promise が pending 状態から fulfilled 状態へ遷移するとき／した場合に処理される Record。
`[[PromiseRejectReactions]]`	a List of PromiseReaction Records	promise が pending 状態から rejected 状態へ遷移するとき／した場合に処理される Record。
`[[PromiseIsHandled]]`	a Boolean	promise に fulfillment または rejection handler がこれまでに設定されたことがあるかどうかを示します。未処理の rejection の追跡に使用されます。

27.6 GeneratorFunction オブジェクト

GeneratorFunction は通常、GeneratorDeclaration、GeneratorExpression、および GeneratorMethod を評価することによって作成される関数です。%GeneratorFunction% intrinsic を呼び出すことによって作成することもできます。

驚くほど多様なボックスと矢印。 — 図 6 (参考): Generator オブジェクトの関係

27.6.1 GeneratorFunction コンストラクター

GeneratorFunction コンストラクターは:

%GeneratorFunction% です。
Function のサブクラスです。
コンストラクターとしてではなく関数として呼び出されたとき、新しい GeneratorFunction を作成して初期化します。したがって、関数呼出し GeneratorFunction (…) は、同じ引数を持つオブジェクト作成式 new GeneratorFunction (…) と等価です。
クラス定義の extends 節の値として使用できます。規定された GeneratorFunction の動作を継承しようとするサブクラスコンストラクターは、組込み GeneratorFunction の動作に必要な内部スロットを持つサブクラスインスタンスを作成して初期化するため、GeneratorFunction コンストラクターへの super 呼出しを含まなければなりません。generator function オブジェクトを定義するすべての ECMAScript 構文形式は GeneratorFunction の直接インスタンスを作成します。GeneratorFunction サブクラスのインスタンスを作成する構文上の手段はありません。

27.6.1.1 GeneratorFunction ( ...`paramArgs`, `bodyArg` )

最後の引数（存在する場合）は generator function の本体（実行可能コード）を指定し、それより前の引数は仮引数を指定します。

この関数は呼び出されたとき、次の手順を実行します。

activeFunc をアクティブな関数オブジェクトとする。
bodyArg が存在しない場合、bodyArg を空の String に設定する。
? CreateDynamicFunction(activeFunc, NewTarget, generator, paramArgs, bodyArg) を返す。

注

20.2.1.1 の注記を参照してください。

27.6.2 GeneratorFunction コンストラクターのプロパティ

GeneratorFunction コンストラクターは:

Function コンストラクターから継承する標準組込み関数オブジェクトです。
値が %Function% である [[Prototype]] 内部スロットを持ちます。
値が 1_𝔽 である "length" プロパティを持ちます。
値が "GeneratorFunction" である "name" プロパティを持ちます。
次のプロパティを持ちます。

27.6.2.1 GeneratorFunction.prototype

GeneratorFunction.prototype の初期値は GeneratorFunction prototype オブジェクトです。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false } を持ちます。

27.6.3 GeneratorFunction Prototype オブジェクトのプロパティ

GeneratorFunction prototype オブジェクトは:

%GeneratorFunction.prototype% です（図 6 を参照）。
通常オブジェクトです。
関数オブジェクトではなく、[[ECMAScriptCode]] 内部スロット、または表 26 もしくは表 94 に列挙されるその他の内部スロットを持ちません。
値が %Function.prototype% である [[Prototype]] 内部スロットを持ちます。

27.6.3.1 GeneratorFunction.prototype.constructor

GeneratorFunction.prototype.constructor の初期値は %GeneratorFunction% です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.6.3.2 GeneratorFunction.prototype.prototype

GeneratorFunction.prototype.prototype の初期値は %GeneratorPrototype% です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.6.3.3 GeneratorFunction.prototype [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は String 値 "GeneratorFunction" です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.6.4 GeneratorFunction インスタンス

すべての GeneratorFunction インスタンスは ECMAScript 関数オブジェクトであり、表 26 に列挙される内部スロットを持ちます。そのようなすべてのインスタンスについて、[[IsClassConstructor]] 内部スロットの値は false です。

各 GeneratorFunction インスタンスは次の own プロパティを持ちます。

27.6.4.1 length

20.2.4.1 で与えられる Function インスタンスの "length" プロパティの仕様は、GeneratorFunction インスタンスにも適用されます。

27.6.4.2 name

20.2.4.2 で与えられる Function インスタンスの "name" プロパティの仕様は、GeneratorFunction インスタンスにも適用されます。

27.6.4.3 prototype

GeneratorFunction インスタンスが作成されるたびに、別の通常オブジェクトも作成され、それが generator function の "prototype" プロパティの初期値になります。prototype プロパティの値は、generator function オブジェクトが [[Call]] を使用して呼び出されたとき、新しく作成される Generator の [[Prototype]] 内部スロットを初期化するために使用されます。

このプロパティは属性 { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false } を持ちます。

注

Function インスタンスとは異なり、GeneratorFunction の "prototype" プロパティの値であるオブジェクトは、その値が GeneratorFunction インスタンスである "constructor" プロパティを持ちません。

27.7 AsyncGeneratorFunction オブジェクト

AsyncGeneratorFunction は通常、AsyncGeneratorDeclaration、AsyncGeneratorExpression、および AsyncGeneratorMethod 構文生成規則を評価することによって作成される関数です。%AsyncGeneratorFunction% intrinsic を呼び出すことによって作成することもできます。

27.7.1 AsyncGeneratorFunction コンストラクター

AsyncGeneratorFunction コンストラクターは:

%AsyncGeneratorFunction% です。
Function のサブクラスです。
コンストラクターとしてではなく関数として呼び出されたとき、新しい AsyncGeneratorFunction を作成して初期化します。したがって、関数呼出し AsyncGeneratorFunction (...) は、同じ引数を持つオブジェクト作成式 new AsyncGeneratorFunction (...) と等価です。
クラス定義の extends 節の値として使用できます。規定された AsyncGeneratorFunction の動作を継承しようとするサブクラスコンストラクターは、組込み AsyncGeneratorFunction の動作に必要な内部スロットを持つサブクラスインスタンスを作成して初期化するため、AsyncGeneratorFunction コンストラクターへの super 呼出しを含まなければなりません。async generator function オブジェクトを定義するすべての ECMAScript 構文形式は AsyncGeneratorFunction の直接インスタンスを作成します。AsyncGeneratorFunction サブクラスのインスタンスを作成する構文上の手段はありません。

27.7.1.1 AsyncGeneratorFunction ( ...`paramArgs`, `bodyArg` )

最後の引数（存在する場合）は async generator function の本体（実行可能コード）を指定し、それより前の引数は仮引数を指定します。

この関数は呼び出されたとき、次の手順を実行します。

activeFunc をアクティブな関数オブジェクトとする。
bodyArg が存在しない場合、bodyArg を空の String に設定する。
? CreateDynamicFunction(activeFunc, NewTarget, async-generator, paramArgs, bodyArg) を返す。

注

20.2.1.1 の注記を参照してください。

27.7.2 AsyncGeneratorFunction コンストラクターのプロパティ

AsyncGeneratorFunction コンストラクターは:

Function コンストラクターから継承する標準組込み関数オブジェクトです。
値が %Function% である [[Prototype]] 内部スロットを持ちます。
値が 1_𝔽 である "length" プロパティを持ちます。
値が "AsyncGeneratorFunction" である "name" プロパティを持ちます。
次のプロパティを持ちます。

27.7.2.1 AsyncGeneratorFunction.prototype

AsyncGeneratorFunction.prototype の初期値は AsyncGeneratorFunction prototype オブジェクトです。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false } を持ちます。

27.7.3 AsyncGeneratorFunction Prototype オブジェクトのプロパティ

AsyncGeneratorFunction prototype オブジェクトは:

%AsyncGeneratorFunction.prototype% です。
通常オブジェクトです。
関数オブジェクトではなく、[[ECMAScriptCode]] 内部スロット、または表 26 もしくは表 95 に列挙されるその他の内部スロットを持ちません。
値が %Function.prototype% である [[Prototype]] 内部スロットを持ちます。

27.7.3.1 AsyncGeneratorFunction.prototype.constructor

AsyncGeneratorFunction.prototype.constructor の初期値は %AsyncGeneratorFunction% です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.7.3.2 AsyncGeneratorFunction.prototype.prototype

AsyncGeneratorFunction.prototype.prototype の初期値は %AsyncGeneratorPrototype% です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.7.3.3 AsyncGeneratorFunction.prototype [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は String 値 "AsyncGeneratorFunction" です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.7.4 AsyncGeneratorFunction インスタンス

すべての AsyncGeneratorFunction インスタンスは ECMAScript 関数オブジェクトであり、表 26 に列挙される内部スロットを持ちます。そのようなすべてのインスタンスについて、[[IsClassConstructor]] 内部スロットの値は false です。

各 AsyncGeneratorFunction インスタンスは次の own プロパティを持ちます。

27.7.4.1 length

"length" プロパティの値は、AsyncGeneratorFunction が通常期待する引数の数を示す整数 Number です。ただし、言語は異なる数の引数で関数を呼び出すことも許可します。"length" プロパティで指定された数以外の引数で呼び出されたときの AsyncGeneratorFunction の動作は、その関数に依存します。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.7.4.2 name

20.2.4.2 で与えられる Function インスタンスの "name" プロパティの仕様は、AsyncGeneratorFunction インスタンスにも適用されます。

27.7.4.3 prototype

AsyncGeneratorFunction インスタンスが作成されるたびに、別の通常オブジェクトも作成され、それが async generator function の "prototype" プロパティの初期値になります。prototype プロパティの値は、generator function オブジェクトが [[Call]] を使用して呼び出されたとき、新しく作成される AsyncGenerator の [[Prototype]] 内部スロットを初期化するために使用されます。

このプロパティは属性 { [[Writable]]: true, [[Enumerable]]: false, [[Configurable]]: false } を持ちます。

注

function インスタンスとは異なり、AsyncGeneratorFunction の "prototype" プロパティの値であるオブジェクトは、その値が AsyncGeneratorFunction インスタンスである "constructor" プロパティを持ちません。

27.8 Generator オブジェクト

Generator は generator function を呼び出すことによって作成され、iterator インターフェイスと iterable インターフェイスの両方に適合します。

Generator インスタンスは、そのインスタンスを作成した generator function の "prototype" プロパティの初期値から直接プロパティを継承します。Generator インスタンスは %GeneratorPrototype% から間接的にプロパティを継承します。

27.8.1 %GeneratorPrototype% オブジェクト

%GeneratorPrototype% オブジェクトは:

%GeneratorFunction.prototype.prototype% です。
通常オブジェクトです。
Generator インスタンスではなく、[[GeneratorState]] 内部スロットを持ちません。
値が %Iterator.prototype% である [[Prototype]] 内部スロットを持ちます。
すべての Generator インスタンスによって間接的に継承されるプロパティを持ちます。

27.8.1.1 %GeneratorPrototype%.constructor

%GeneratorPrototype%.constructor の初期値は %GeneratorFunction.prototype% です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.8.1.2 %GeneratorPrototype%.next ( `value` )

? GeneratorResume(this 値, value, empty) を返す。

27.8.1.3 %GeneratorPrototype%.return ( `value` )

このメソッドは呼び出されたとき、次の手順を実行します。

gen を this 値とする。
completion を ReturnCompletion(value) とする。
? GeneratorResumeAbrupt(gen, completion, empty) を返す。

27.8.1.4 %GeneratorPrototype%.throw ( `exception` )

このメソッドは呼び出されたとき、次の手順を実行します。

gen を this 値とする。
completion を ThrowCompletion(exception) とする。
? GeneratorResumeAbrupt(gen, completion, empty) を返す。

27.8.1.5 %GeneratorPrototype% [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は String 値 "Generator" です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.8.2 Generator インスタンスのプロパティ

Generator インスタンスは、表 94 で説明される内部スロットを持つ状態で最初に作成されます。

表 94: Generator インスタンスの内部スロット

内部スロット	型	説明
`[[GeneratorState]]`	suspended-start, suspended-yield, executing, or completed	generator の現在の実行状態。
`[[GeneratorContext]]`	an execution context	この generator のコードを実行するときに使用される実行コンテキスト。
`[[GeneratorBrand]]`	a String or empty	異なる種類の generator を区別するために使用される brand。ECMAScript ソーステキストによって宣言された generator の `[[GeneratorBrand]]` は常に empty です。

27.8.3 Generator の抽象操作

27.8.3.1 GeneratorStart ( `gen`, `genBody` )

抽象操作 GeneratorStart。引数 gen (Generator) および genBody ((a FunctionBody Parse Node またはパラメーターを持たない抽象クロージャ))。戻り値：unused。呼び出されると、次の手順を実行する。

表明: gen.[[GeneratorState]] は suspended-start である。
genContext を実行中の実行コンテキストとする。
genContext の Generator component を gen に設定する。
closure を、genBody を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. acGenContext を実行中の実行コンテキストとする。
2. acGen を acGenContext の Generator component とする。
3. genBody が Parse Node である場合、
  1. result を Completion(genBody の Evaluation) とする。
4. そうでない場合、
  1. 表明: genBody はパラメーターを持たない Abstract Closure である。
  2. result を Completion(genBody()) とする。
5. 表明: ここへ戻ってきた場合、generator は例外をスローしたか、暗黙または明示的な return のいずれかを実行した。
6. acGenContext を実行コンテキストスタックから削除し、実行コンテキストスタックの先頭にある実行コンテキストを実行中の実行コンテキストとして復元する。
7. acGen.[[GeneratorState]] を completed に設定する。
8. 注記: generator が completed 状態に入ると、その状態から離れることはなく、関連付けられた実行コンテキストが再開されることもない。この時点で acGen に関連付けられたすべての実行状態を破棄できる。
9. result がスロー完了である場合、
  1. resumption を result とする。
10. そうでない場合、
  1. result が正常完了である場合、
    1. resultValue を undefined とする。
  2. そうでなく、result が return 完了である場合、
    1. resultValue を result.[[Value]] とする。
  3. resumption を NormalCompletion(CreateIteratorResultObject(resultValue, true)) とする。
11. callerContext を実行中の実行コンテキストとする。
12. resumption を渡して callerContext を再開する。
13. 表明: この手順には決して到達しない。
genContext のコード評価状態を、この実行コンテキストについて評価が再開されたとき、closure が引数なしで呼び出されるように設定する。
gen.[[GeneratorContext]] を genContext に設定する。
unused を返す。

27.8.3.2 GeneratorValidate ( `gen`, `genBrand` )

抽象操作 GeneratorValidate。引数 gen (ECMAScript 言語値) および genBrand ((String または empty))。戻り値：(正常完了 (値：(suspended-start、suspended-yield または completed)) または throw 完了)。呼び出されると、次の手順を実行する。

? RequireInternalSlot(gen, [[GeneratorState]]) を実行する。
? RequireInternalSlot(gen, [[GeneratorBrand]]) を実行する。
gen.[[GeneratorBrand]] が genBrand でない場合、TypeError 例外をスローする。
表明: gen は [[GeneratorContext]] 内部スロットを持つ。
state を gen.[[GeneratorState]] とする。
state が executing である場合、TypeError 例外をスローする。
state を返す。

27.8.3.3 GeneratorResume ( `gen`, `value`, `genBrand` )

抽象操作 GeneratorResume。引数 gen (ECMAScript 言語値)、value ((ECMAScript 言語値または empty)) および genBrand ((String または empty))。戻り値：(正常完了 (値：ECMAScript 言語値) または throw 完了)。呼び出されると、次の手順を実行する。

state を ? GeneratorValidate(gen, genBrand) とする。
state が completed である場合、CreateIteratorResultObject(undefined, true) を返す。
表明: state は suspended-start または suspended-yield のいずれかである。
genContext を gen.[[GeneratorContext]] とする。
gen.[[GeneratorState]] を executing に設定する。
? RunSuspendedContext(genContext, NormalCompletion(value)) を返す。

27.8.3.4 GeneratorResumeAbrupt ( `gen`, `abruptCompletion`, `genBrand` )

抽象操作 GeneratorResumeAbrupt。引数 gen (ECMAScript 言語値)、abruptCompletion ((return 完了または throw 完了)) および genBrand ((String または empty))。戻り値：(正常完了 (値：ECMAScript 言語値) または throw 完了)。呼び出されると、次の手順を実行する。

state を ? GeneratorValidate(gen, genBrand) とする。
state が suspended-start である場合、
1. gen.[[GeneratorState]] を completed に設定する。
2. 注記: generator が completed 状態に入ると、その状態から離れることはなく、関連付けられた実行コンテキストが再開されることもない。この時点で gen に関連付けられたすべての実行状態を破棄できる。
3. state を completed に設定する。
state が completed である場合、
1. abruptCompletion が return 完了である場合、
  1. CreateIteratorResultObject(abruptCompletion.[[Value]], true) を返す。
2. ? abruptCompletion を返す。
表明: state は suspended-yield である。
genContext を gen.[[GeneratorContext]] とする。
gen.[[GeneratorState]] を executing に設定する。
? RunSuspendedContext(genContext, abruptCompletion) を返す。

27.8.3.5 GetGeneratorKind ( )

抽象操作 GetGeneratorKind。引数なし。戻り値：(non-generator、sync または async)。呼び出されると、次の手順を実行する。

genContext を実行中の実行コンテキストとする。
genContext が Generator component を持たない場合、non-generator を返す。
gen を genContext の Generator component とする。
gen が [[AsyncGeneratorState]] 内部スロットを持つ場合、async を返す。
sync を返す。

27.8.3.6 GeneratorYield ( `iteratorResult` )

抽象操作 GeneratorYield。引数 iteratorResult (an Object that conforms to the IteratorResult interface)。戻り値：(正常完了 (値：ECMAScript 言語値) または中途完了)。呼び出されると、次の手順を実行する。

genContext を実行中の実行コンテキストとする。
表明: genContext は generator の実行コンテキストである。
gen を genContext の Generator component の値とする。
表明: GetGeneratorKind() は sync である。
gen.[[GeneratorState]] を suspended-yield に設定する。
? RunCallerContext(iteratorResult) を返す。

27.8.3.7 Yield ( `arg` )

抽象操作 Yield。引数 arg (ECMAScript 言語値)。戻り値：(正常完了 (値：ECMAScript 言語値) または中途完了)。呼び出されると、次の手順を実行する。

genKind を GetGeneratorKind() とする。
genKind が async である場合、? AsyncGeneratorYield(? Await(arg)) を返す。
? GeneratorYield(CreateIteratorResultObject(arg, false)) を返す。

27.8.3.8 CreateIteratorFromClosure ( `closure`, `genBrand`, `genProto` [ , `extraSlots` ] )

抽象操作 CreateIteratorFromClosure。引数 closure (パラメーターを持たない抽象クロージャ)、genBrand ((String または empty)) および genProto (Object)および省略可能な引数 extraSlots (リスト (要素：内部スロット名))。戻り値：Generator。呼び出されると、次の手順を実行する。

注記: closure は IteratorResult オブジェクトを yield するための Yield 操作の使用を含むことができる。
extraSlots が存在しない場合、extraSlots を新しい空の List に設定する。
internalSlotsList を extraSlots と « [[GeneratorState]], [[GeneratorContext]], [[GeneratorBrand]] » のリスト連結とする。
gen を OrdinaryObjectCreate(genProto, internalSlotsList) とする。
gen.[[GeneratorBrand]] を genBrand に設定する。
gen.[[GeneratorState]] を suspended-start に設定する。
callerContext を実行中の実行コンテキストとする。
calleeContext を新しい実行コンテキストとする。
calleeContext の Function を null に設定する。
calleeContext の Realm を現在の Realm Record に設定する。
calleeContext の ScriptOrModule を callerContext の ScriptOrModule に設定する。
callerContext がまだ一時停止されていない場合、callerContext を一時停止する。
calleeContext を実行コンテキストスタックへ push する。calleeContext が実行中の実行コンテキストになる。
GeneratorStart(gen, closure) を実行する。
calleeContext を実行コンテキストスタックから削除し、callerContext を実行中の実行コンテキストとして復元する。
gen を返す。

27.9 AsyncGenerator オブジェクト

AsyncGenerator は async generator function を呼び出すことによって作成され、async iterator インターフェイスと async iterable インターフェイスの両方に適合します。

AsyncGenerator インスタンスは、そのインスタンスを作成した async generator function の "prototype" プロパティの初期値から直接プロパティを継承します。AsyncGenerator インスタンスは %AsyncGeneratorPrototype% から間接的にプロパティを継承します。

27.9.1 %AsyncGeneratorPrototype% オブジェクト

%AsyncGeneratorPrototype% オブジェクトは:

%AsyncGeneratorFunction.prototype.prototype% です。
通常オブジェクトです。
AsyncGenerator インスタンスではなく、[[AsyncGeneratorState]] 内部スロットを持ちません。
値が %AsyncIteratorPrototype% である [[Prototype]] 内部スロットを持ちます。
すべての AsyncGenerator インスタンスによって間接的に継承されるプロパティを持ちます。

27.9.1.1 %AsyncGeneratorPrototype%.constructor

%AsyncGeneratorPrototype%.constructor の初期値は %AsyncGeneratorFunction.prototype% です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.9.1.2 %AsyncGeneratorPrototype%.next ( `value` )

gen を this 値とする。
promiseCapability を ! NewPromiseCapability(%Promise%) とする。
result を Completion(AsyncGeneratorValidate(gen, empty)) とする。
IfAbruptRejectPromise(result, promiseCapability)。
state を gen.[[AsyncGeneratorState]] とする。
state が completed である場合、
1. iteratorResult を CreateIteratorResultObject(undefined, true) とする。
2. ! Call(promiseCapability.[[Resolve]], undefined, « iteratorResult ») を実行する。
3. promiseCapability.[[Promise]] を返す。
completion を NormalCompletion(value) とする。
AsyncGeneratorEnqueue(gen, completion, promiseCapability) を実行する。
state が suspended-start または suspended-yield のいずれかである場合、
1. AsyncGeneratorResume(gen, completion) を実行する。
そうでない場合、
1. 表明: state は executing または draining-queue のいずれかである。
promiseCapability.[[Promise]] を返す。

27.9.1.3 %AsyncGeneratorPrototype%.return ( `value` )

gen を this 値とする。
promiseCapability を ! NewPromiseCapability(%Promise%) とする。
result を Completion(AsyncGeneratorValidate(gen, empty)) とする。
IfAbruptRejectPromise(result, promiseCapability)。
completion を ReturnCompletion(value) とする。
AsyncGeneratorEnqueue(gen, completion, promiseCapability) を実行する。
state を gen.[[AsyncGeneratorState]] とする。
state が suspended-start または completed のいずれかである場合、
1. gen.[[AsyncGeneratorState]] を draining-queue に設定する。
2. AsyncGeneratorAwaitReturn(gen) を実行する。
そうでなく、state が suspended-yield である場合、
1. AsyncGeneratorResume(gen, completion) を実行する。
そうでない場合、
1. 表明: state は executing または draining-queue のいずれかである。
promiseCapability.[[Promise]] を返す。

27.9.1.4 %AsyncGeneratorPrototype%.throw ( `exception` )

gen を this 値とする。
promiseCapability を ! NewPromiseCapability(%Promise%) とする。
result を Completion(AsyncGeneratorValidate(gen, empty)) とする。
IfAbruptRejectPromise(result, promiseCapability)。
state を gen.[[AsyncGeneratorState]] とする。
state が suspended-start である場合、
1. gen.[[AsyncGeneratorState]] を completed に設定する。
2. state を completed に設定する。
state が completed である場合、
1. ! Call(promiseCapability.[[Reject]], undefined, « exception ») を実行する。
2. promiseCapability.[[Promise]] を返す。
completion を ThrowCompletion(exception) とする。
AsyncGeneratorEnqueue(gen, completion, promiseCapability) を実行する。
state が suspended-yield である場合、
1. AsyncGeneratorResume(gen, completion) を実行する。
そうでない場合、
1. 表明: state は executing または draining-queue のいずれかである。
promiseCapability.[[Promise]] を返す。

27.9.1.5 %AsyncGeneratorPrototype% [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は String 値 "AsyncGenerator" です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.9.2 AsyncGenerator インスタンスのプロパティ

AsyncGenerator インスタンスは、以下で説明される内部スロットを持つ状態で最初に作成されます。

表 95: AsyncGenerator インスタンスの内部スロット

内部スロット	型	説明
`[[AsyncGeneratorState]]`	suspended-start, suspended-yield, executing, draining-queue, or completed	async generator の現在の実行状態。
`[[AsyncGeneratorContext]]`	an execution context	この async generator のコードを実行するときに使用される実行コンテキスト。
`[[AsyncGeneratorQueue]]`	a List of AsyncGeneratorRequest Records	async generator を再開する要求を表す Record。状態遷移中を除き、`[[AsyncGeneratorState]]` が executing または draining-queue のいずれかである場合に限り空ではありません。
`[[GeneratorBrand]]`	a String or empty	異なる種類の async generator を区別するために使用される brand。ECMAScript ソーステキストによって宣言された async generator の `[[GeneratorBrand]]` は常に empty です。

27.9.3 AsyncGenerator の抽象操作

27.9.3.1 AsyncGeneratorRequest Record

AsyncGeneratorRequest は、async generator をどのように再開するべきかについての情報を保存するために使用され、対応する promise を fulfill または reject するための capability を含む Record です。

次のフィールドを持ちます。

表 96: AsyncGeneratorRequest Record のフィールド

フィールド名	値	意味
`[[Completion]]`	a Completion Record	async generator を再開するために使用されるべき Completion Record。
`[[Capability]]`	a PromiseCapability Record	この要求に関連付けられた promise capability。

27.9.3.2 AsyncGeneratorStart ( `gen`, `genBody` )

抽象操作 AsyncGeneratorStart。引数 gen (AsyncGenerator) および genBody ((a FunctionBody Parse Node またはパラメーターを持たない抽象クロージャ))。戻り値：unused。呼び出されると、次の手順を実行する。

表明: gen.[[AsyncGeneratorState]] は suspended-start である。
genContext を実行中の実行コンテキストとする。
genContext の Generator component を gen に設定する。
closure を、genBody を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. acGenContext を実行中の実行コンテキストとする。
2. acGen を acGenContext の Generator component とする。
3. genBody が Parse Node である場合、
  1. result を Completion(genBody の Evaluation) とする。
4. そうでない場合、
  1. 表明: genBody はパラメーターを持たない Abstract Closure である。
  2. result を Completion(genBody()) とする。
5. 表明: ここへ戻ってきた場合、async generator は例外をスローしたか、暗黙または明示的な return のいずれかを実行した。
6. acGenContext を実行コンテキストスタックから削除し、実行コンテキストスタックの先頭にある実行コンテキストを実行中の実行コンテキストとして復元する。
7. acGen.[[AsyncGeneratorState]] を draining-queue に設定する。
8. result が正常完了である場合、result を NormalCompletion(undefined) に設定する。
9. result が return 完了である場合、result を NormalCompletion(result.[[Value]]) に設定する。
10. AsyncGeneratorCompleteStep(acGen, result, true) を実行する。
11. AsyncGeneratorDrainQueue(acGen) を実行する。
12. callerContext を実行中の実行コンテキストとする。
13. NormalCompletion(undefined) を渡して callerContext を再開する。
14. 表明: この手順には決して到達しない。
genContext のコード評価状態を、この実行コンテキストについて評価が再開されたとき、closure が引数なしで呼び出されるように設定する。
gen.[[AsyncGeneratorContext]] を genContext に設定する。
gen.[[AsyncGeneratorQueue]] を新しい空の List に設定する。
unused を返す。

27.9.3.3 AsyncGeneratorValidate ( `gen`, `genBrand` )

抽象操作 AsyncGeneratorValidate。引数 gen (ECMAScript 言語値) および genBrand ((String または empty))。戻り値：(正常完了 (値：unused) または throw 完了)。呼び出されると、次の手順を実行する。

? RequireInternalSlot(gen, [[AsyncGeneratorContext]]) を実行する。
? RequireInternalSlot(gen, [[AsyncGeneratorState]]) を実行する。
? RequireInternalSlot(gen, [[AsyncGeneratorQueue]]) を実行する。
gen.[[GeneratorBrand]] が genBrand でない場合、TypeError 例外をスローする。
unused を返す。

27.9.3.4 AsyncGeneratorEnqueue ( `gen`, `completion`, `promiseCapability` )

抽象操作 AsyncGeneratorEnqueue。引数 gen (AsyncGenerator)、completion (完了レコード) および promiseCapability (PromiseCapabilityレコード)。戻り値：unused。呼び出されると、次の手順を実行する。

request を AsyncGeneratorRequest { [[Completion]]: completion, [[Capability]]: promiseCapability } とする。
request を gen.[[AsyncGeneratorQueue]] に追加する。
unused を返す。

27.9.3.5 AsyncGeneratorCompleteStep ( `gen`, `completion`, `done` [ , `realm` ] )

抽象操作 AsyncGeneratorCompleteStep。引数 gen (AsyncGenerator)、completion (完了レコード) および done (Boolean)および省略可能な引数 realm (Realmレコード)。戻り値：unused。呼び出されると、次の手順を実行する。

表明: gen.[[AsyncGeneratorQueue]] は空でない。
next を gen.[[AsyncGeneratorQueue]] の最初の要素とする。
gen.[[AsyncGeneratorQueue]] から最初の要素を削除する。
promiseCapability を next.[[Capability]] とする。
value を completion.[[Value]] とする。
completion がスロー完了である場合、
1. ! Call(promiseCapability.[[Reject]], undefined, « value ») を実行する。
そうでない場合、
1. 表明: completion は正常完了である。
2. realm が存在する場合、
  1. oldRealm を実行中の実行コンテキストの Realm とする。
  2. 実行中の実行コンテキストの Realm を realm に設定する。
  3. iteratorResult を CreateIteratorResultObject(value, done) とする。
  4. 実行中の実行コンテキストの Realm を oldRealm に設定する。
3. そうでない場合、
  1. iteratorResult を CreateIteratorResultObject(value, done) とする。
4. ! Call(promiseCapability.[[Resolve]], undefined, « iteratorResult ») を実行する。
unused を返す。

27.9.3.6 AsyncGeneratorResume ( `gen`, `completion` )

抽象操作 AsyncGeneratorResume。引数 gen (AsyncGenerator) および completion (完了レコード)。戻り値：unused。呼び出されると、次の手順を実行する。

表明: gen.[[AsyncGeneratorState]] は suspended-start または suspended-yield のいずれかである。
genContext を gen.[[AsyncGeneratorContext]] とする。
gen.[[AsyncGeneratorState]] を executing に設定する。
! RunSuspendedContext(genContext, completion) を実行する。
unused を返す。

27.9.3.7 AsyncGeneratorUnwrapYieldResumption ( `resumptionValue` )

抽象操作 AsyncGeneratorUnwrapYieldResumption。引数 resumptionValue (完了レコード)。戻り値：(正常完了 (値：ECMAScript 言語値) または中途完了)。呼び出されると、次の手順を実行する。

resumptionValue が return 完了でない場合、? resumptionValue を返す。
awaited を Completion(Await(resumptionValue.[[Value]])) とする。
awaited がスロー完了である場合、? awaited を返す。
表明: awaited は正常完了である。
ReturnCompletion(awaited.[[Value]]) を返す。

27.9.3.8 AsyncGeneratorYield ( `arg` )

抽象操作 AsyncGeneratorYield。引数 arg (ECMAScript 言語値)。戻り値：(正常完了 (値：ECMAScript 言語値) または中途完了)。呼び出されると、次の手順を実行する。

genContext を実行中の実行コンテキストとする。
表明: genContext は generator の実行コンテキストである。
gen を genContext の Generator component の値とする。
表明: GetGeneratorKind() は async である。
completion を NormalCompletion(arg) とする。
表明: 実行コンテキストスタックは少なくとも2つの要素を持つ。
previousContext を実行コンテキストスタックの上から2番目の要素とする。
previousRealm を previousContext の Realm とする。
AsyncGeneratorCompleteStep(gen, completion, false, previousRealm) を実行する。
queue を gen.[[AsyncGeneratorQueue]] とする。
queue が空でない場合、
1. 注記: 実行は generator を一時停止せずに継続する。
2. toYield を queue の最初の要素とする。
3. resumptionValue を Completion(toYield.[[Completion]]) とする。
4. ? AsyncGeneratorUnwrapYieldResumption(resumptionValue) を返す。
gen.[[AsyncGeneratorState]] を suspended-yield に設定する。
resumptionValue を Completion(RunCallerContext(undefined)) とする。
? AsyncGeneratorUnwrapYieldResumption(resumptionValue) を返す。

27.9.3.9 AsyncGeneratorAwaitReturn ( `gen` )

抽象操作 AsyncGeneratorAwaitReturn。引数 gen (AsyncGenerator)。戻り値：unused。呼び出されると、次の手順を実行する。

表明: gen.[[AsyncGeneratorState]] は draining-queue である。
queue を gen.[[AsyncGeneratorQueue]] とする。
表明: queue は空でない。
next を queue の最初の要素とする。
completion を Completion(next.[[Completion]]) とする。
表明: completion は return 完了である。
promiseCompletion を Completion(PromiseResolve(%Promise%, completion.[[Value]])) とする。
promiseCompletion が中断完了である場合、
1. AsyncGeneratorCompleteStep(gen, promiseCompletion, true) を実行する。
2. AsyncGeneratorDrainQueue(gen) を実行する。
3. unused を返す。
表明: promiseCompletion は正常完了である。
promise を promiseCompletion.[[Value]] とする。
fulfilledClosure を、gen を捕捉し、パラメーター (value) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. 表明: gen.[[AsyncGeneratorState]] は draining-queue である。
2. result を NormalCompletion(value) とする。
3. AsyncGeneratorCompleteStep(gen, result, true) を実行する。
4. AsyncGeneratorDrainQueue(gen) を実行する。
5. NormalCompletion(undefined) を返す。
onFulfilled を CreateBuiltinFunction(fulfilledClosure, 1, "", « ») とする。
rejectedClosure を、gen を捕捉し、パラメーター (reason) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. 表明: gen.[[AsyncGeneratorState]] は draining-queue である。
2. result を ThrowCompletion(reason) とする。
3. AsyncGeneratorCompleteStep(gen, result, true) を実行する。
4. AsyncGeneratorDrainQueue(gen) を実行する。
5. NormalCompletion(undefined) を返す。
onRejected を CreateBuiltinFunction(rejectedClosure, 1, "", « ») とする。
PerformPromiseThen(promise, onFulfilled, onRejected) を実行する。
unused を返す。

27.9.3.10 AsyncGeneratorDrainQueue ( `gen` )

抽象操作 AsyncGeneratorDrainQueue。引数 gen (AsyncGenerator)。戻り値：unused。 return 完了を保持する AsyncGeneratorRequest に遭遇するまで、generator の AsyncGeneratorQueue を空にしていきます。呼び出されると、次の手順を実行する。

表明: gen.[[AsyncGeneratorState]] は draining-queue である。
queue を gen.[[AsyncGeneratorQueue]] とする。
queue が空でない間、次を繰り返す。
1. next を queue の最初の要素とする。
2. completion を Completion(next.[[Completion]]) とする。
3. completion が return 完了である場合、
  1. AsyncGeneratorAwaitReturn(gen) を実行する。
  2. unused を返す。
4. completion が正常完了である場合、
  1. completion を NormalCompletion(undefined) に設定する。
5. AsyncGeneratorCompleteStep(gen, completion, true) を実行する。
gen.[[AsyncGeneratorState]] を completed に設定する。
unused を返す。

27.10 AsyncFunction オブジェクト

AsyncFunction は通常、AsyncFunctionDeclaration、AsyncFunctionExpression、AsyncMethod、および AsyncArrowFunction を評価することによって作成される関数です。%AsyncFunction% intrinsic を呼び出すことによって作成することもできます。

27.10.1 AsyncFunction コンストラクター

AsyncFunction コンストラクターは:

%AsyncFunction% です。
Function のサブクラスです。
コンストラクターとしてではなく関数として呼び出されたとき、新しい AsyncFunction を作成して初期化します。したがって、関数呼出し AsyncFunction(…) は、同じ引数を持つオブジェクト作成式 new AsyncFunction(…) と等価です。
クラス定義の extends 節の値として使用できます。規定された AsyncFunction の動作を継承しようとするサブクラスコンストラクターは、組込み async function の動作に必要な内部スロットを持つサブクラスインスタンスを作成して初期化するため、AsyncFunction コンストラクターへの super 呼出しを含まなければなりません。async function オブジェクトを定義するすべての ECMAScript 構文形式は AsyncFunction の直接インスタンスを作成します。AsyncFunction サブクラスのインスタンスを作成する構文上の手段はありません。

27.10.1.1 AsyncFunction ( ...`paramArgs`, `bodyArg` )

最後の引数（存在する場合）は async function の本体（実行可能コード）を指定します。それより前の引数は仮引数を指定します。

この関数は呼び出されたとき、次の手順を実行します。

activeFunc をアクティブな関数オブジェクトとする。
bodyArg が存在しない場合、bodyArg を空の String に設定する。
? CreateDynamicFunction(activeFunc, NewTarget, async, paramArgs, bodyArg) を返す。

注

20.2.1.1 の注記を参照してください。

27.10.2 AsyncFunction コンストラクターのプロパティ

AsyncFunction コンストラクターは:

Function コンストラクターから継承する標準組込み関数オブジェクトです。
値が %Function% である [[Prototype]] 内部スロットを持ちます。
値が 1_𝔽 である "length" プロパティを持ちます。
値が "AsyncFunction" である "name" プロパティを持ちます。
次のプロパティを持ちます。

27.10.2.1 AsyncFunction.prototype

AsyncFunction.prototype の初期値は AsyncFunction prototype オブジェクトです。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: false } を持ちます。

27.10.3 AsyncFunction Prototype オブジェクトのプロパティ

AsyncFunction prototype オブジェクトは:

%AsyncFunction.prototype% です。
通常オブジェクトです。
関数オブジェクトではなく、[[ECMAScriptCode]] 内部スロットまたは表 26 に列挙されるその他の内部スロットを持ちません。
値が %Function.prototype% である [[Prototype]] 内部スロットを持ちます。

27.10.3.1 AsyncFunction.prototype.constructor

AsyncFunction.prototype.constructor の初期値は %AsyncFunction% です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.10.3.2 AsyncFunction.prototype [ %Symbol.toStringTag% ]

%Symbol.toStringTag% プロパティの初期値は String 値 "AsyncFunction" です。

このプロパティは属性 { [[Writable]]: false, [[Enumerable]]: false, [[Configurable]]: true } を持ちます。

27.10.4 AsyncFunction インスタンス

すべての AsyncFunction インスタンスは ECMAScript 関数オブジェクトであり、表 26 に列挙される内部スロットを持ちます。そのようなすべてのインスタンスについて、[[IsClassConstructor]] 内部スロットの値は false です。AsyncFunction インスタンスはコンストラクターではなく、[[Construct]] 内部メソッドを持ちません。AsyncFunction インスタンスは constructable ではないため、prototype プロパティを持ちません。

各 AsyncFunction インスタンスは次の own プロパティを持ちます。

27.10.4.1 length

20.2.4.1 で与えられる Function インスタンスの "length" プロパティの仕様は、AsyncFunction インスタンスにも適用されます。

27.10.4.2 name

20.2.4.2 で与えられる Function インスタンスの "name" プロパティの仕様は、AsyncFunction インスタンスにも適用されます。

27.10.5 Async Function の抽象操作

27.10.5.1 AsyncFunctionStart ( `promiseCapability`, `asyncFuncBody` )

抽象操作 AsyncFunctionStart。引数 promiseCapability (PromiseCapabilityレコード) および asyncFuncBody ((a FunctionBody Parse Node、an ExpressionBody Parse Node またはパラメーターを持たない抽象クロージャ))。戻り値：unused。呼び出されると、次の手順を実行する。

runningContext を実行中の実行コンテキストとする。
asyncContext を runningContext のコピーとする。
注記: 実行状態をコピーすることは、AsyncBlockStart がその実行を再開するために必要である。現在実行中のコンテキストを再開することは定義不十分である。
AsyncBlockStart(promiseCapability, asyncFuncBody, asyncContext) を実行する。
unused を返す。

27.10.5.2 AsyncBlockStart ( `promiseCapability`, `asyncBody`, `asyncContext` )

抽象操作 AsyncBlockStart。引数 promiseCapability (PromiseCapabilityレコード)、asyncBody ((構文解析ノードまたはパラメーターを持たない抽象クロージャ)) および asyncContext (実行コンテキスト)。戻り値：unused。呼び出されると、次の手順を実行する。

closure を、promiseCapability と asyncBody を捕捉し、パラメーターを持たず、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. acAsyncContext を実行中の実行コンテキストとする。
2. asyncBody が Parse Node である場合、
  1. result を Completion(asyncBody の Evaluation) とする。
3. そうでない場合、
  1. 表明: asyncBody はパラメーターを持たない Abstract Closure である。
  2. result を Completion(asyncBody()) とする。
4. 表明: ここへ戻ってきた場合、async function は例外をスローしたか、暗黙または明示的な return を実行した。すべての await は完了している。
5. acAsyncContext を実行コンテキストスタックから削除し、実行コンテキストスタックの先頭にある実行コンテキストを実行中の実行コンテキストとして復元する。
6. result が正常完了である場合、
  1. ! Call(promiseCapability.[[Resolve]], undefined, « undefined ») を実行する。
7. そうでなく、result が return 完了である場合、
  1. ! Call(promiseCapability.[[Resolve]], undefined, « result.[[Value]] ») を実行する。
8. そうでない場合、
  1. 表明: result はスロー完了である。
  2. ! Call(promiseCapability.[[Reject]], undefined, « result.[[Value]] ») を実行する。
9. callerContext を実行中の実行コンテキストとする。
10. NormalCompletion(unused) を渡して callerContext を再開する。
11. 表明: この手順には決して到達しない。
asyncContext のコード評価状態を、この実行コンテキストについて評価が再開されたとき、closure が引数なしで呼び出されるように設定する。
result を ! RunSuspendedContext(asyncContext, NormalCompletion(empty)) とする。
表明: result は unused である。
注記: result 値の可能な発生源は Await、または async function が何も await しない場合は上記の手順 1.j である。
unused を返す。

27.10.5.3 Await ( `arg` )

抽象操作 Await。引数 arg (ECMAScript 言語値)。戻り値：(正常完了 (値：(ECMAScript 言語値または empty)) または throw 完了)。呼び出されると、次の手順を実行する。

asyncContext を実行中の実行コンテキストとする。
promise を ? PromiseResolve(%Promise%, arg) とする。
fulfilledClosure を、asyncContext を捕捉し、パラメーター (value) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. Completion(RunSuspendedContext(asyncContext, NormalCompletion(value))) を実行する。
2. 注記: RunSuspendedContext が返す Completion Record は意図的に無視される。
3. NormalCompletion(undefined) を返す。
onFulfilled を CreateBuiltinFunction(fulfilledClosure, 1, "", « ») とする。
rejectedClosure を、asyncContext を捕捉し、パラメーター (reason) を持ち、呼び出されたときに次の手順を実行する新しい Abstract Closure とする。
1. Completion(RunSuspendedContext(asyncContext, ThrowCompletion(reason))) を実行する。
2. 注記: RunSuspendedContext が返す Completion Record は意図的に無視される。
3. NormalCompletion(undefined) を返す。
onRejected を CreateBuiltinFunction(rejectedClosure, 1, "", « ») とする。
PerformPromiseThen(promise, onFulfilled, onRejected) を実行する。
? RunCallerContext(empty) を返す。

27 制御抽象化オブジェクト

27.1 反復

27.1.1 共通反復インターフェイス

27.1.1.1 Iterable インターフェイス

27.1.1.2 Iterator インターフェイス

27.1.1.3 Async Iterable インターフェイス

27.1.1.4 Async Iterator インターフェイス

27.1.1.5 IteratorResult インターフェイス

27.1.2 Iterator Helper オブジェクト

27.1.2.1 %IteratorHelperPrototype% オブジェクト

27.1.2.1.1 %IteratorHelperPrototype%.next ( )

27.1.2.1.2 %IteratorHelperPrototype%.return ( )

27.1.2.1.3 %IteratorHelperPrototype% [ %Symbol.toStringTag% ]

27.1.3 Iterator オブジェクト

27.1.3.1 Iterator コンストラクター

27.1.3.1.1 Iterator ( )

27.1.3.2 Iterator コンストラクターのプロパティ

27.1.3.2.1 Iterator.concat ( ...items )

27.1.3.2.2 Iterator.from ( obj )

27.1.3.2.2.1 %WrapForValidIteratorPrototype% オブジェクト

27.1.3.2.2.1.1 %WrapForValidIteratorPrototype%.next ( )

27.1.3.2.2.1.2 %WrapForValidIteratorPrototype%.return ( )

27.1.3.2.3 Iterator.prototype

27.1.3.2.4 Iterator.zip ( iterables [ , options ] )

27.1.3.2.5 Iterator.zipKeyed ( iterables [ , options ] )

27.1.3.3 Iterator Prototype オブジェクトのプロパティ

27.1.3.3.1 Iterator.prototype.constructor

27.1.3.3.1.1 get Iterator.prototype.constructor

27.1.3.3.1.2 set Iterator.prototype.constructor

27.1.3.3.2 Iterator.prototype.drop ( limit )

27.1.3.3.3 Iterator.prototype.every ( predicate )

27.1.3.3.4 Iterator.prototype.filter ( predicate )

27.1.3.3.5 Iterator.prototype.find ( predicate )

27.1.3.3.6 Iterator.prototype.flatMap ( mapper )

27.1.3.3.7 Iterator.prototype.forEach ( procedure )

27.1.3.3.8 Iterator.prototype.map ( mapper )

27.1.3.3.9 Iterator.prototype.reduce ( reducer [ , initialValue ] )

27.1.3.3.10 Iterator.prototype.some ( predicate )

27.1.3.3.11 Iterator.prototype.take ( limit )

27.1.3.3.12 Iterator.prototype.toArray ( )

27.1.3.3.13 Iterator.prototype [ %Symbol.dispose% ] ( )

27.1.3.3.14 Iterator.prototype [ %Symbol.iterator% ] ( )

27.1.3.3.15 Iterator.prototype [ %Symbol.toStringTag% ]

27.1.3.3.15.1 get Iterator.prototype [ %Symbol.toStringTag% ]

27.1.3.3.15.2 set Iterator.prototype [ %Symbol.toStringTag% ]

27.1.3.4 Iterator のための抽象操作

27.1.3.4.1 IteratorZip ( iters, mode, padding, finishResults )

27.1.4 %AsyncIteratorPrototype% オブジェクト

27.1.4.1 %AsyncIteratorPrototype% [ %Symbol.asyncDispose% ] ( )

27.1.4.2 %AsyncIteratorPrototype% [ %Symbol.asyncIterator% ] ( )

27.1.5 Async-from-Sync Iterator オブジェクト

27.1.5.1 CreateAsyncFromSyncIterator ( syncIteratorRecord )

27.1.5.2 %AsyncFromSyncIteratorPrototype% オブジェクト

27.1.5.2.1 %AsyncFromSyncIteratorPrototype%.next ( [ value ] )

27.1.5.2.2 %AsyncFromSyncIteratorPrototype%.return ( [ value ] )

27.1.5.2.3 %AsyncFromSyncIteratorPrototype%.throw ( [ value ] )

27.1.5.3 Async-from-Sync Iterator インスタンスのプロパティ

27.1.5.4 AsyncFromSyncIteratorContinuation ( result, promiseCapability, syncIteratorRecord, closeOnRejection )

27.2 リソース管理

27.2.1 共通リソース管理インターフェイス

27.2.1.1 Disposable インターフェイス

27.2.1.2 AsyncDisposable インターフェイス

27.3 DisposableStack オブジェクト

27.3.1 DisposableStack コンストラクター

27.3.1.1 DisposableStack ( )

27.3.2 DisposableStack コンストラクターのプロパティ

27.3.2.1 DisposableStack.prototype

27.3.3 DisposableStack Prototype オブジェクトのプロパティ

27.3.3.1 DisposableStack.prototype.adopt ( value, onDispose )

27.3.3.2 DisposableStack.prototype.constructor

27.3.3.3 DisposableStack.prototype.defer ( onDispose )

27.3.3.4 DisposableStack.prototype.dispose ( )

27.3.3.5 get DisposableStack.prototype.disposed

27.3.3.6 DisposableStack.prototype.move ( )

27.3.3.7 DisposableStack.prototype.use ( value )

27.3.3.8 DisposableStack.prototype [ %Symbol.dispose% ] ( )

27.3.3.9 DisposableStack.prototype [ %Symbol.toStringTag% ]

27.3.4 DisposableStack インスタンスのプロパティ

27.4 AsyncDisposableStack オブジェクト

27.4.1 AsyncDisposableStack コンストラクター

27.1.3.2.1 Iterator.concat ( ...`items` )

27.1.3.2.2 Iterator.from ( `obj` )

27.1.3.2.4 Iterator.zip ( `iterables` [ , `options` ] )

27.1.3.2.5 Iterator.zipKeyed ( `iterables` [ , `options` ] )

27.1.3.3.2 Iterator.prototype.drop ( `limit` )

27.1.3.3.3 Iterator.prototype.every ( `predicate` )

27.1.3.3.4 Iterator.prototype.filter ( `predicate` )

27.1.3.3.5 Iterator.prototype.find ( `predicate` )

27.1.3.3.6 Iterator.prototype.flatMap ( `mapper` )

27.1.3.3.7 Iterator.prototype.forEach ( `procedure` )

27.1.3.3.8 Iterator.prototype.map ( `mapper` )

27.1.3.3.9 Iterator.prototype.reduce ( `reducer` [ , `initialValue` ] )

27.1.3.3.10 Iterator.prototype.some ( `predicate` )

27.1.3.3.11 Iterator.prototype.take ( `limit` )

27.1.3.4.1 IteratorZip ( `iters`, `mode`, `padding`, `finishResults` )

27.1.5.1 CreateAsyncFromSyncIterator ( `syncIteratorRecord` )

27.1.5.2.1 %AsyncFromSyncIteratorPrototype%.next ( [ `value` ] )

27.1.5.2.2 %AsyncFromSyncIteratorPrototype%.return ( [ `value` ] )

27.1.5.2.3 %AsyncFromSyncIteratorPrototype%.throw ( [ `value` ] )

27.1.5.4 AsyncFromSyncIteratorContinuation ( `result`, `promiseCapability`, `syncIteratorRecord`, `closeOnRejection` )

27.3.3.1 DisposableStack.prototype.adopt ( `value`, `onDispose` )

27.3.3.3 DisposableStack.prototype.defer ( `onDispose` )

27.3.3.7 DisposableStack.prototype.use ( `value` )

27.4.3.1 AsyncDisposableStack.prototype.adopt ( `value`, `onDisposeAsync` )

27.4.3.3 AsyncDisposableStack.prototype.defer ( `onDisposeAsync` )

27.4.3.7 AsyncDisposableStack.prototype.use ( `value` )

27.5.1.1.1 IfAbruptRejectPromise ( `value`, `capability` )

27.5.1.3 CreateResolvingFunctions ( `toResolve` )

27.5.1.4 FulfillPromise ( `promise`, `value` )

27.5.1.5 NewPromiseCapability ( `ctor` )

27.5.1.6 IsPromise ( `arg` )

27.5.1.7 RejectPromise ( `promise`, `reason` )

27.5.1.8 TriggerPromiseReactions ( `reactions`, `arg` )

27.5.1.9 HostPromiseRejectionTracker ( `promise`, `operation` )

27.5.2.1 NewPromiseReactionJob ( `reaction`, `arg` )

27.5.2.2 NewPromiseResolveThenableJob ( `promiseToResolve`, `thenable`, `then` )

27.5.3.1 Promise ( `executor` )

27.5.4.1 Promise.all ( `iterable` )

27.5.4.1.1 GetPromiseResolve ( `promiseCtor` )

27.5.4.1.2 PerformPromiseAll ( `iteratorRecord`, `ctor`, `resultCapability`, `promiseResolve` )

27.5.4.2 Promise.allSettled ( `iterable` )

27.5.4.2.1 PerformPromiseAllSettled ( `iteratorRecord`, `ctor`, `resultCapability`, `promiseResolve` )

27.5.4.3 Promise.any ( `iterable` )

27.5.4.3.1 PerformPromiseAny ( `iteratorRecord`, `ctor`, `resultCapability`, `promiseResolve` )

27.5.4.5 Promise.race ( `iterable` )

27.5.4.5.1 PerformPromiseRace ( `iteratorRecord`, `ctor`, `resultCapability`, `promiseResolve` )

27.5.4.6 Promise.reject ( `reason` )

27.5.4.7 Promise.resolve ( `resolution` )

27.5.4.7.1 PromiseResolve ( `ctor`, `resolution` )

27.5.4.8 Promise.try ( `callback`, ...`args` )

27.5.5.1 Promise.prototype.catch ( `onRejected` )

27.5.5.3 Promise.prototype.finally ( `onFinally` )

27.5.5.4 Promise.prototype.then ( `onFulfilled`, `onRejected` )

27.5.5.4.1 PerformPromiseThen ( `promise`, `onFulfilled`, `onRejected` [ , `resultCapability` ] )

27.6.1.1 GeneratorFunction ( ...`paramArgs`, `bodyArg` )