8 構文指向操作

Identifier

Identifier の StringValue を唯一の要素とする List を返す。

yield

« "yield" » を返す。

await

« "await" » を返す。

;

BindingList の BoundNames を返す。

using

;

;

BindingList の BoundNames を返す。

LexicalBinding

names1 を BindingList の BoundNames とする。
names2 を LexicalBinding の BoundNames とする。
names1 と names2 のリスト連結を返す。

LexicalBinding

opt

BindingIdentifier の BoundNames を返す。

LexicalBinding

BindingPattern の BoundNames を返す。

names1 を VariableDeclarationList の BoundNames とする。
names2 を VariableDeclaration の BoundNames とする。
names1 と names2 のリスト連結を返す。

opt

BindingIdentifier の BoundNames を返す。

BindingPattern の BoundNames を返す。

{

}

新しい空の List を返す。

{

BindingRestProperty

}

names1 を BindingPropertyList の BoundNames とする。
names2 を BindingRestProperty の BoundNames とする。
names1 と names2 のリスト連結を返す。

[

opt

]

新しい空の List を返す。

[

opt

]

BindingRestElement の BoundNames を返す。

[

opt

]

BindingElementList の BoundNames を返す。

[

opt

]

names1 を BindingElementList の BoundNames とする。
names2 を BindingRestElement の BoundNames とする。
names1 と names2 のリスト連結を返す。

BindingProperty

names1 を BindingPropertyList の BoundNames とする。
names2 を BindingProperty の BoundNames とする。
names1 と names2 のリスト連結を返す。

names1 を BindingElementList の BoundNames とする。
names2 を BindingElisionElement の BoundNames とする。
names1 と names2 のリスト連結を返す。

opt

BindingElement の BoundNames を返す。

BindingProperty

PropertyName

BindingElement の BoundNames を返す。

SingleNameBinding

opt

BindingIdentifier の BoundNames を返す。

opt

BindingPattern の BoundNames を返す。

ForBinding の BoundNames を返す。

function

(

)

{

}

BindingIdentifier の BoundNames を返す。

function

(

)

{

}

« "*default*" » を返す。

[empty]

新しい空の List を返す。

FunctionRestParameter

names1 を FormalParameterList の BoundNames とする。
names2 を FunctionRestParameter の BoundNames とする。
names1 と names2 のリスト連結を返す。

FormalParameter

names1 を FormalParameterList の BoundNames とする。
names2 を FormalParameter の BoundNames とする。
names1 と names2 のリスト連結を返す。

formals を CoverParenthesizedExpressionAndArrowParameterList によって被覆される ArrowFormalParameters とする。
formals の BoundNames を返す。

function

(

)

{

}

BindingIdentifier の BoundNames を返す。

function

(

)

{

}

« "*default*" » を返す。

async

function

(

)

{

}

BindingIdentifier の BoundNames を返す。

async

function

(

)

{

}

« "*default*" » を返す。

class

BindingIdentifier の BoundNames を返す。

class

« "*default*" » を返す。

async

function

(

)

{

}

BindingIdentifier の BoundNames を返す。

async

function

(

)

{

}

« "*default*" » を返す。

MemberExpression

Arguments

head を CoverCallExpressionAndAsyncArrowHead によって被覆される AsyncArrowHead とする。
head の BoundNames を返す。

import

opt

;

ImportClause の BoundNames を返す。

import

ModuleSpecifier

WithClause

opt

;

新しい空の List を返す。

ImportClause

ImportedDefaultBinding

NameSpaceImport

names1 を ImportedDefaultBinding の BoundNames とする。
names2 を NameSpaceImport の BoundNames とする。
names1 と names2 のリスト連結を返す。

ImportClause

ImportedDefaultBinding

NamedImports

names1 を ImportedDefaultBinding の BoundNames とする。
names2 を NamedImports の BoundNames とする。
names1 と names2 のリスト連結を返す。

NamedImports

{

}

新しい空の List を返す。

ImportsList

ImportSpecifier

names1 を ImportsList の BoundNames とする。
names2 を ImportSpecifier の BoundNames とする。
names1 と names2 のリスト連結を返す。

ImportSpecifier

ModuleExportName

ImportedBinding

ImportedBinding の BoundNames を返す。

export

opt

;

export

NamedExports

;

新しい空の List を返す。

export

VariableStatement

VariableStatement の BoundNames を返す。

export

Declaration の BoundNames を返す。

export

default

declNames を HoistableDeclaration の BoundNames とする。
declNames が要素 "*default*" を含まない場合、"*default*" を declNames に追加する。
declNames を返す。

export

default

declNames を ClassDeclaration の BoundNames とする。
declNames が要素 "*default*" を含まない場合、"*default*" を declNames に追加する。
declNames を返す。

export

default

;

« "*default*" » を返す。

8.2.2 Static Semantics: DeclarationPart

構文指向操作 DeclarationPart。引数なし。戻り値：構文解析ノード。次の生成規則ごとに定義される。

FunctionDeclaration を返す。

GeneratorDeclaration を返す。

AsyncFunctionDeclaration を返す。

AsyncGeneratorDeclaration を返す。

ClassDeclaration を返す。

LexicalDeclaration を返す。

8.2.3 Static Semantics: IsConstantDeclaration

構文指向操作 IsConstantDeclaration。引数なし。戻り値：Boolean。次の生成規則ごとに定義される。

;

LetOrConst の IsConstantDeclaration を返す。

let

false を返す。

const

true を返す。

using

;

;

true を返す。

function

(

)

{

}

function

(

)

{

}

function

(

)

{

}

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

false を返す。

class

class

false を返す。

export

ExportFromClause

FromClause

;

export

NamedExports

;

export

default

;

false を返す。

注

export default AssignmentExpression を定数宣言として扱う必要はありません。これは、モジュールのデフォルトオブジェクトを参照するために使用される内部束縛名への代入を許可する構文が存在しないためです。

8.2.4 Static Semantics: IsUsingDeclaration

構文指向操作 IsUsingDeclaration。引数なし。戻り値：Boolean。次の生成規則ごとに定義される。

;

false を返す。

using

;

true を返す。

;

false を返す。

false を返す。

using

true を返す。

await

using

false を返す。

function

(

)

{

}

function

(

)

{

}

function

(

)

{

}

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

false を返す。

class

class

false を返す。

8.2.5 Static Semantics: IsAwaitUsingDeclaration

構文指向操作 IsAwaitUsingDeclaration。引数なし。戻り値：Boolean。次の生成規則ごとに定義される。

;

false を返す。

using

;

false を返す。

;

true を返す。

false を返す。

using

false を返す。

await

using

true を返す。

function

(

)

{

}

function

(

)

{

}

function

(

)

{

}

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

false を返す。

class

class

false を返す。

8.2.6 Static Semantics: LexicallyDeclaredNames

構文指向操作 LexicallyDeclaredNames。引数なし。戻り値：リスト (要素：String)。次の生成規則ごとに定義される。

{

}

新しい空の List を返す。

names1 を StatementList の LexicallyDeclaredNames とする。
names2 を StatementListItem の LexicallyDeclaredNames とする。
names1 と names2 のリスト連結を返す。

Statement が Statement : LabelledStatement である場合、LabelledStatement の LexicallyDeclaredNames を返す。
新しい空の List を返す。

Declaration の BoundNames を返す。

{

}

新しい空の List を返す。

{

opt

opt

}

最初の CaseClauses が存在する場合、names1 を最初の CaseClauses の LexicallyDeclaredNames とする。
そうでない場合、names1 を新しい空の List とする。
names2 を DefaultClause の LexicallyDeclaredNames とする。
2番目の CaseClauses が存在する場合、names3 を2番目の CaseClauses の LexicallyDeclaredNames とする。
そうでない場合、names3 を新しい空の List とする。
names1、names2、および names3 のリスト連結を返す。

names1 を CaseClauses の LexicallyDeclaredNames とする。
names2 を CaseClause の LexicallyDeclaredNames とする。
names1 と names2 のリスト連結を返す。

case

opt

StatementList が存在する場合、StatementList の LexicallyDeclaredNames を返す。
新しい空の List を返す。

default

opt

StatementList が存在する場合、StatementList の LexicallyDeclaredNames を返す。
新しい空の List を返す。

LabelledItem の LexicallyDeclaredNames を返す。

新しい空の List を返す。

FunctionDeclaration の BoundNames を返す。

[empty]

新しい空の List を返す。

StatementList の TopLevelLexicallyDeclaredNames を返す。

[empty]

新しい空の List を返す。

StatementList の TopLevelLexicallyDeclaredNames を返す。

新しい空の List を返す。

新しい空の List を返す。

[empty]

新しい空の List を返す。

StatementList の TopLevelLexicallyDeclaredNames を返す。

注 1

Script のトップレベルでは、関数宣言はレキシカル宣言ではなく var 宣言のように扱われます。

注 2

Module の LexicallyDeclaredNames には、インポートされたすべての束縛の名前が含まれます。

names1 を ModuleItemList の LexicallyDeclaredNames とする。
names2 を ModuleItem の LexicallyDeclaredNames とする。
names1 と names2 のリスト連結を返す。

ImportDeclaration の BoundNames を返す。

ExportDeclaration が export VariableStatement である場合、新しい空の List を返す。
ExportDeclaration の BoundNames を返す。

StatementListItem の LexicallyDeclaredNames を返す。

注 3

Module のトップレベルでは、関数宣言は var 宣言ではなくレキシカル宣言のように扱われます。

8.2.7 Static Semantics: LexicallyScopedDeclarations

構文指向操作 LexicallyScopedDeclarations。引数なし。戻り値：リスト (要素：構文解析ノード)。次の生成規則ごとに定義される。

decls1 を StatementList の LexicallyScopedDeclarations とする。
decls2 を StatementListItem の LexicallyScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

Statement が Statement : LabelledStatement である場合、LabelledStatement の LexicallyScopedDeclarations を返す。
新しい空の List を返す。

Declaration の DeclarationPart を唯一の要素とする List を返す。

{

}

新しい空の List を返す。

{

opt

opt

}

最初の CaseClauses が存在する場合、decls1 を最初の CaseClauses の LexicallyScopedDeclarations とする。
そうでない場合、decls1 を新しい空の List とする。
decls2 を DefaultClause の LexicallyScopedDeclarations とする。
2番目の CaseClauses が存在する場合、decls3 を2番目の CaseClauses の LexicallyScopedDeclarations とする。
そうでない場合、decls3 を新しい空の List とする。
decls1、decls2、および decls3 のリスト連結を返す。

decls1 を CaseClauses の LexicallyScopedDeclarations とする。
decls2 を CaseClause の LexicallyScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

case

opt

StatementList が存在する場合、StatementList の LexicallyScopedDeclarations を返す。
新しい空の List を返す。

default

opt

StatementList が存在する場合、StatementList の LexicallyScopedDeclarations を返す。
新しい空の List を返す。

LabelledItem の LexicallyScopedDeclarations を返す。

新しい空の List を返す。

« FunctionDeclaration » を返す。

[empty]

新しい空の List を返す。

StatementList の TopLevelLexicallyScopedDeclarations を返す。

[empty]

新しい空の List を返す。

StatementList の TopLevelLexicallyScopedDeclarations を返す。

新しい空の List を返す。

新しい空の List を返す。

[empty]

新しい空の List を返す。

StatementList の TopLevelLexicallyScopedDeclarations を返す。

Module

[empty]

新しい空の List を返す。

decls1 を ModuleItemList の LexicallyScopedDeclarations とする。
decls2 を ModuleItem の LexicallyScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

新しい空の List を返す。

export

opt

;

export

NamedExports

;

export

VariableStatement

新しい空の List を返す。

export

Declaration の DeclarationPart を唯一の要素とする List を返す。

export

default

HoistableDeclaration の DeclarationPart を唯一の要素とする List を返す。

export

default

ClassDeclaration を唯一の要素とする List を返す。

export

default

;

この ExportDeclaration を唯一の要素とする List を返す。

8.2.8 Static Semantics: VarDeclaredNames

構文指向操作 VarDeclaredNames。引数なし。戻り値：リスト (要素：String)。次の生成規則ごとに定義される。

新しい空の List を返す。

{

}

新しい空の List を返す。

names1 を StatementList の VarDeclaredNames とする。
names2 を StatementListItem の VarDeclaredNames とする。
names1 と names2 のリスト連結を返す。

新しい空の List を返す。

VariableStatement

var

;

VariableDeclarationList の BoundNames を返す。

(

)

else

names1 を最初の Statement の VarDeclaredNames とする。
names2 を2番目の Statement の VarDeclaredNames とする。
names1 と names2 のリスト連結を返す。

(

)

Statement の VarDeclaredNames を返す。

while

(

)

;

Statement の VarDeclaredNames を返す。

while

(

)

Statement の VarDeclaredNames を返す。

for

(

opt

;

opt

;

opt

)

Statement の VarDeclaredNames を返す。

for

(

var

;

opt

;

opt

)

names1 を VariableDeclarationList の BoundNames とする。
names2 を Statement の VarDeclaredNames とする。
names1 と names2 のリスト連結を返す。

for

(

opt

;

opt

)

Statement の VarDeclaredNames を返す。

for

(

)

for

(

)

for

(

)

for

(

)

for

await

(

)

for

await

(

)

Statement の VarDeclaredNames を返す。

for

(

var

)

for

(

var

)

for

await

(

var

)

names1 を ForBinding の BoundNames とする。
names2 を Statement の VarDeclaredNames とする。
names1 と names2 のリスト連結を返す。

注

この節は、附属書 B.3.5 によって拡張されます。

with

(

)

Statement の VarDeclaredNames を返す。

switch

(

)

CaseBlock の VarDeclaredNames を返す。

{

}

新しい空の List を返す。

{

opt

opt

}

最初の CaseClauses が存在する場合、names1 を最初の CaseClauses の VarDeclaredNames とする。
そうでない場合、names1 を新しい空の List とする。
names2 を DefaultClause の VarDeclaredNames とする。
2番目の CaseClauses が存在する場合、names3 を2番目の CaseClauses の VarDeclaredNames とする。
そうでない場合、names3 を新しい空の List とする。
names1、names2、および names3 のリスト連結を返す。

names1 を CaseClauses の VarDeclaredNames とする。
names2 を CaseClause の VarDeclaredNames とする。
names1 と names2 のリスト連結を返す。

case

opt

StatementList が存在する場合、StatementList の VarDeclaredNames を返す。
新しい空の List を返す。

default

opt

StatementList が存在する場合、StatementList の VarDeclaredNames を返す。
新しい空の List を返す。

LabelledItem の VarDeclaredNames を返す。

新しい空の List を返す。

try

names1 を Block の VarDeclaredNames とする。
names2 を Catch の VarDeclaredNames とする。
names1 と names2 のリスト連結を返す。

try

names1 を Block の VarDeclaredNames とする。
names2 を Finally の VarDeclaredNames とする。
names1 と names2 のリスト連結を返す。

try

names1 を Block の VarDeclaredNames とする。
names2 を Catch の VarDeclaredNames とする。
names3 を Finally の VarDeclaredNames とする。
names1、names2、および names3 のリスト連結を返す。

catch

(

)

Block の VarDeclaredNames を返す。

[empty]

新しい空の List を返す。

StatementList の TopLevelVarDeclaredNames を返す。

[empty]

新しい空の List を返す。

StatementList の TopLevelVarDeclaredNames を返す。

新しい空の List を返す。

新しい空の List を返す。

[empty]

新しい空の List を返す。

StatementList の TopLevelVarDeclaredNames を返す。

names1 を ModuleItemList の VarDeclaredNames とする。
names2 を ModuleItem の VarDeclaredNames とする。
names1 と names2 のリスト連結を返す。

新しい空の List を返す。

ExportDeclaration が export VariableStatement である場合、ExportDeclaration の BoundNames を返す。
新しい空の List を返す。

8.2.9 Static Semantics: VarScopedDeclarations

構文指向操作 VarScopedDeclarations。引数なし。戻り値：リスト (要素：構文解析ノード)。次の生成規則ごとに定義される。

新しい空の List を返す。

{

}

新しい空の List を返す。

decls1 を StatementList の VarScopedDeclarations とする。
decls2 を StatementListItem の VarScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

新しい空の List を返す。

« VariableDeclaration » を返す。

decls1 を VariableDeclarationList の VarScopedDeclarations とする。
decls1 と « VariableDeclaration » のリスト連結を返す。

(

)

else

decls1 を最初の Statement の VarScopedDeclarations とする。
decls2 を2番目の Statement の VarScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

(

)

Statement の VarScopedDeclarations を返す。

while

(

)

;

Statement の VarScopedDeclarations を返す。

while

(

)

Statement の VarScopedDeclarations を返す。

for

(

opt

;

opt

;

opt

)

Statement の VarScopedDeclarations を返す。

for

(

var

;

opt

;

opt

)

decls1 を VariableDeclarationList の VarScopedDeclarations とする。
decls2 を Statement の VarScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

for

(

opt

;

opt

)

Statement の VarScopedDeclarations を返す。

for

(

)

for

(

)

for

(

)

for

(

)

for

await

(

)

for

await

(

)

Statement の VarScopedDeclarations を返す。

for

(

var

)

for

(

var

)

for

await

(

var

)

decls1 を « ForBinding » とする。
decls2 を Statement の VarScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

注

この節は、附属書 B.3.5 によって拡張されます。

with

(

)

Statement の VarScopedDeclarations を返す。

switch

(

)

CaseBlock の VarScopedDeclarations を返す。

{

}

新しい空の List を返す。

{

opt

opt

}

最初の CaseClauses が存在する場合、decls1 を最初の CaseClauses の VarScopedDeclarations とする。
そうでない場合、decls1 を新しい空の List とする。
decls2 を DefaultClause の VarScopedDeclarations とする。
2番目の CaseClauses が存在する場合、decls3 を2番目の CaseClauses の VarScopedDeclarations とする。
そうでない場合、decls3 を新しい空の List とする。
decls1、decls2、および decls3 のリスト連結を返す。

decls1 を CaseClauses の VarScopedDeclarations とする。
decls2 を CaseClause の VarScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

case

opt

StatementList が存在する場合、StatementList の VarScopedDeclarations を返す。
新しい空の List を返す。

default

opt

StatementList が存在する場合、StatementList の VarScopedDeclarations を返す。
新しい空の List を返す。

LabelledItem の VarScopedDeclarations を返す。

新しい空の List を返す。

try

decls1 を Block の VarScopedDeclarations とする。
decls2 を Catch の VarScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

try

decls1 を Block の VarScopedDeclarations とする。
decls2 を Finally の VarScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

try

decls1 を Block の VarScopedDeclarations とする。
decls2 を Catch の VarScopedDeclarations とする。
decls3 を Finally の VarScopedDeclarations とする。
decls1、decls2、および decls3 のリスト連結を返す。

catch

(

)

Block の VarScopedDeclarations を返す。

[empty]

新しい空の List を返す。

StatementList の TopLevelVarScopedDeclarations を返す。

[empty]

新しい空の List を返す。

StatementList の TopLevelVarScopedDeclarations を返す。

新しい空の List を返す。

新しい空の List を返す。

[empty]

新しい空の List を返す。

StatementList の TopLevelVarScopedDeclarations を返す。

Module

[empty]

新しい空の List を返す。

decls1 を ModuleItemList の VarScopedDeclarations とする。
decls2 を ModuleItem の VarScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

新しい空の List を返す。

ExportDeclaration が export VariableStatement である場合、VariableStatement の VarScopedDeclarations を返す。
新しい空の List を返す。

8.2.10 Static Semantics: TopLevelLexicallyDeclaredNames

構文指向操作 TopLevelLexicallyDeclaredNames。引数なし。戻り値：リスト (要素：String)。次の生成規則ごとに定義される。

names1 を StatementList の TopLevelLexicallyDeclaredNames とする。
names2 を StatementListItem の TopLevelLexicallyDeclaredNames とする。
names1 と names2 のリスト連結を返す。

新しい空の List を返す。

Declaration が Declaration : HoistableDeclaration である場合、
1. 新しい空の List を返す。
Declaration の BoundNames を返す。

注

関数またはスクリプトのトップレベルでは、関数宣言はレキシカル宣言ではなく var 宣言のように扱われます。

8.2.11 Static Semantics: TopLevelLexicallyScopedDeclarations

構文指向操作 TopLevelLexicallyScopedDeclarations。引数なし。戻り値：リスト (要素：構文解析ノード)。次の生成規則ごとに定義される。

decls1 を StatementList の TopLevelLexicallyScopedDeclarations とする。
decls2 を StatementListItem の TopLevelLexicallyScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

新しい空の List を返す。

Declaration が Declaration : HoistableDeclaration である場合、
1. 新しい空の List を返す。
« Declaration » を返す。

8.2.12 Static Semantics: TopLevelVarDeclaredNames

構文指向操作 TopLevelVarDeclaredNames。引数なし。戻り値：リスト (要素：String)。次の生成規則ごとに定義される。

names1 を StatementList の TopLevelVarDeclaredNames とする。
names2 を StatementListItem の TopLevelVarDeclaredNames とする。
names1 と names2 のリスト連結を返す。

Declaration が Declaration : HoistableDeclaration である場合、
1. HoistableDeclaration の BoundNames を返す。
新しい空の List を返す。

Statement が Statement : LabelledStatement である場合、Statement の TopLevelVarDeclaredNames を返す。
Statement の VarDeclaredNames を返す。

注

関数またはスクリプトのトップレベルでは、内部の関数宣言は var 宣言のように扱われます。

LabelledItem の TopLevelVarDeclaredNames を返す。

Statement が Statement : LabelledStatement である場合、Statement の TopLevelVarDeclaredNames を返す。
Statement の VarDeclaredNames を返す。

FunctionDeclaration の BoundNames を返す。

8.2.13 Static Semantics: TopLevelVarScopedDeclarations

構文指向操作 TopLevelVarScopedDeclarations。引数なし。戻り値：リスト (要素：構文解析ノード)。次の生成規則ごとに定義される。

decls1 を StatementList の TopLevelVarScopedDeclarations とする。
decls2 を StatementListItem の TopLevelVarScopedDeclarations とする。
decls1 と decls2 のリスト連結を返す。

Statement が Statement : LabelledStatement である場合、Statement の TopLevelVarScopedDeclarations を返す。
Statement の VarScopedDeclarations を返す。

Declaration が Declaration : HoistableDeclaration である場合、
1. decl を HoistableDeclaration の DeclarationPart とする。
2. « decl » を返す。
新しい空の List を返す。

LabelledItem の TopLevelVarScopedDeclarations を返す。

Statement が Statement : LabelledStatement である場合、Statement の TopLevelVarScopedDeclarations を返す。
Statement の VarScopedDeclarations を返す。

« FunctionDeclaration » を返す。

8.3 ラベル

8.3.1 Static Semantics: ContainsDuplicateLabels

構文指向操作 ContainsDuplicateLabels。引数 labelSet (リスト (要素：String))。戻り値：Boolean。次の生成規則ごとに定義される。

{

}

false を返す。

hasDuplicates を、引数 labelSet を指定した StatementList の ContainsDuplicateLabels とする。
hasDuplicates が true である場合、true を返す。
引数 labelSet を指定した StatementListItem の ContainsDuplicateLabels を返す。

(

)

else

hasDuplicate を、引数 labelSet を指定した最初の Statement の ContainsDuplicateLabels とする。
hasDuplicate が true である場合、true を返す。
引数 labelSet を指定した2番目の Statement の ContainsDuplicateLabels を返す。

(

)

引数 labelSet を指定した Statement の ContainsDuplicateLabels を返す。

while

(

)

;

引数 labelSet を指定した Statement の ContainsDuplicateLabels を返す。

while

(

)

引数 labelSet を指定した Statement の ContainsDuplicateLabels を返す。

for

(

opt

;

opt

;

opt

)

for

(

var

;

opt

;

opt

)

for

(

opt

;

opt

)

引数 labelSet を指定した Statement の ContainsDuplicateLabels を返す。

for

(

)

for

(

var

)

for

(

)

for

(

)

for

(

var

)

for

(

)

for

await

(

)

for

await

(

var

)

for

await

(

)

引数 labelSet を指定した Statement の ContainsDuplicateLabels を返す。

注

この節は、附属書 B.3.5 によって拡張されます。

with

(

)

引数 labelSet を指定した Statement の ContainsDuplicateLabels を返す。

switch

(

)

引数 labelSet を指定した CaseBlock の ContainsDuplicateLabels を返す。

{

}

false を返す。

{

opt

opt

}

最初の CaseClauses が存在する場合、
1. 引数 labelSet を指定した最初の CaseClauses の ContainsDuplicateLabels が true である場合、true を返す。
引数 labelSet を指定した DefaultClause の ContainsDuplicateLabels が true である場合、true を返す。
2番目の CaseClauses が存在しない場合、false を返す。
引数 labelSet を指定した2番目の CaseClauses の ContainsDuplicateLabels を返す。

hasDuplicates を、引数 labelSet を指定した CaseClauses の ContainsDuplicateLabels とする。
hasDuplicates が true である場合、true を返す。
引数 labelSet を指定した CaseClause の ContainsDuplicateLabels を返す。

case

opt

StatementList が存在する場合、引数 labelSet を指定した StatementList の ContainsDuplicateLabels を返す。
false を返す。

default

opt

StatementList が存在する場合、引数 labelSet を指定した StatementList の ContainsDuplicateLabels を返す。
false を返す。

label を LabelIdentifier の StringValue とする。
labelSet が label を含む場合、true を返す。
newLabelSet を labelSet と « label » のリスト連結とする。
引数 newLabelSet を指定した LabelledItem の ContainsDuplicateLabels を返す。

false を返す。

try

hasDuplicates を、引数 labelSet を指定した Block の ContainsDuplicateLabels とする。
hasDuplicates が true である場合、true を返す。
引数 labelSet を指定した Catch の ContainsDuplicateLabels を返す。

try

hasDuplicates を、引数 labelSet を指定した Block の ContainsDuplicateLabels とする。
hasDuplicates が true である場合、true を返す。
引数 labelSet を指定した Finally の ContainsDuplicateLabels を返す。

try

引数 labelSet を指定した Block の ContainsDuplicateLabels が true である場合、true を返す。
引数 labelSet を指定した Catch の ContainsDuplicateLabels が true である場合、true を返す。
引数 labelSet を指定した Finally の ContainsDuplicateLabels を返す。

catch

(

)

引数 labelSet を指定した Block の ContainsDuplicateLabels を返す。

[empty]

false を返す。

[empty]

false を返す。

hasDuplicates を、引数 labelSet を指定した ModuleItemList の ContainsDuplicateLabels とする。
hasDuplicates が true である場合、true を返す。
引数 labelSet を指定した ModuleItem の ContainsDuplicateLabels を返す。

false を返す。

8.3.2 Static Semantics: ContainsUndefinedBreakTarget

構文指向操作 ContainsUndefinedBreakTarget。引数 labelSet (リスト (要素：String))。戻り値：Boolean。次の生成規則ごとに定義される。

{

}

false を返す。

hasUndefinedLabels を、引数 labelSet を指定した StatementList の ContainsUndefinedBreakTarget とする。
hasUndefinedLabels が true である場合、true を返す。
引数 labelSet を指定した StatementListItem の ContainsUndefinedBreakTarget を返す。

(

)

else

hasUndefinedLabels を、引数 labelSet を指定した最初の Statement の ContainsUndefinedBreakTarget とする。
hasUndefinedLabels が true である場合、true を返す。
引数 labelSet を指定した2番目の Statement の ContainsUndefinedBreakTarget を返す。

(

)

引数 labelSet を指定した Statement の ContainsUndefinedBreakTarget を返す。

while

(

)

;

引数 labelSet を指定した Statement の ContainsUndefinedBreakTarget を返す。

while

(

)

引数 labelSet を指定した Statement の ContainsUndefinedBreakTarget を返す。

for

(

opt

;

opt

;

opt

)

for

(

var

;

opt

;

opt

)

for

(

opt

;

opt

)

引数 labelSet を指定した Statement の ContainsUndefinedBreakTarget を返す。

for

(

)

for

(

var

)

for

(

)

for

(

)

for

(

var

)

for

(

)

for

await

(

)

for

await

(

var

)

for

await

(

)

引数 labelSet を指定した Statement の ContainsUndefinedBreakTarget を返す。

注

この節は、附属書 B.3.5 によって拡張されます。

BreakStatement

break

;

false を返す。

BreakStatement

break

;

labelSet が LabelIdentifier の StringValue を含む場合、false を返す。
true を返す。

with

(

)

引数 labelSet を指定した Statement の ContainsUndefinedBreakTarget を返す。

switch

(

)

引数 labelSet を指定した CaseBlock の ContainsUndefinedBreakTarget を返す。

{

}

false を返す。

{

opt

opt

}

最初の CaseClauses が存在する場合、
1. 引数 labelSet を指定した最初の CaseClauses の ContainsUndefinedBreakTarget が true である場合、true を返す。
引数 labelSet を指定した DefaultClause の ContainsUndefinedBreakTarget が true である場合、true を返す。
2番目の CaseClauses が存在しない場合、false を返す。
引数 labelSet を指定した2番目の CaseClauses の ContainsUndefinedBreakTarget を返す。

hasUndefinedLabels を、引数 labelSet を指定した CaseClauses の ContainsUndefinedBreakTarget とする。
hasUndefinedLabels が true である場合、true を返す。
引数 labelSet を指定した CaseClause の ContainsUndefinedBreakTarget を返す。

case

opt

StatementList が存在する場合、引数 labelSet を指定した StatementList の ContainsUndefinedBreakTarget を返す。
false を返す。

default

opt

StatementList が存在する場合、引数 labelSet を指定した StatementList の ContainsUndefinedBreakTarget を返す。
false を返す。

label を LabelIdentifier の StringValue とする。
newLabelSet を labelSet と « label » のリスト連結とする。
引数 newLabelSet を指定した LabelledItem の ContainsUndefinedBreakTarget を返す。

false を返す。

try

hasUndefinedLabels を、引数 labelSet を指定した Block の ContainsUndefinedBreakTarget とする。
hasUndefinedLabels が true である場合、true を返す。
引数 labelSet を指定した Catch の ContainsUndefinedBreakTarget を返す。

try

hasUndefinedLabels を、引数 labelSet を指定した Block の ContainsUndefinedBreakTarget とする。
hasUndefinedLabels が true である場合、true を返す。
引数 labelSet を指定した Finally の ContainsUndefinedBreakTarget を返す。

try

引数 labelSet を指定した Block の ContainsUndefinedBreakTarget が true である場合、true を返す。
引数 labelSet を指定した Catch の ContainsUndefinedBreakTarget が true である場合、true を返す。
引数 labelSet を指定した Finally の ContainsUndefinedBreakTarget を返す。

catch

(

)

引数 labelSet を指定した Block の ContainsUndefinedBreakTarget を返す。

[empty]

false を返す。

[empty]

false を返す。

hasUndefinedLabels を、引数 labelSet を指定した ModuleItemList の ContainsUndefinedBreakTarget とする。
hasUndefinedLabels が true である場合、true を返す。
引数 labelSet を指定した ModuleItem の ContainsUndefinedBreakTarget を返す。

false を返す。

8.3.3 Static Semantics: ContainsUndefinedContinueTarget

構文指向操作 ContainsUndefinedContinueTarget。引数 iterationSet (リスト (要素：String)) および labelSet (リスト (要素：String))。戻り値：Boolean。次の生成規則ごとに定義される。

{

}

false を返す。

BlockStatement

引数 iterationSet および « » を指定した BlockStatement の ContainsUndefinedContinueTarget を返す。

BreakableStatement

IterationStatement

newIterationSet を iterationSet と labelSet のリスト連結とする。
引数 newIterationSet および « » を指定した IterationStatement の ContainsUndefinedContinueTarget を返す。

hasUndefinedLabels を、引数 iterationSet および « » を指定した StatementList の ContainsUndefinedContinueTarget とする。
hasUndefinedLabels が true である場合、true を返す。
引数 iterationSet および « » を指定した StatementListItem の ContainsUndefinedContinueTarget を返す。

(

)

else

hasUndefinedLabels を、引数 iterationSet および « » を指定した最初の Statement の ContainsUndefinedContinueTarget とする。
hasUndefinedLabels が true である場合、true を返す。
引数 iterationSet および « » を指定した2番目の Statement の ContainsUndefinedContinueTarget を返す。

(

)

引数 iterationSet および « » を指定した Statement の ContainsUndefinedContinueTarget を返す。

while

(

)

;

引数 iterationSet および « » を指定した Statement の ContainsUndefinedContinueTarget を返す。

while

(

)

引数 iterationSet および « » を指定した Statement の ContainsUndefinedContinueTarget を返す。

for

(

opt

;

opt

;

opt

)

for

(

var

;

opt

;

opt

)

for

(

opt

;

opt

)

引数 iterationSet および « » を指定した Statement の ContainsUndefinedContinueTarget を返す。

for

(

)

for

(

var

)

for

(

)

for

(

)

for

(

var

)

for

(

)

for

await

(

)

for

await

(

var

)

for

await

(

)

引数 iterationSet および « » を指定した Statement の ContainsUndefinedContinueTarget を返す。

注

この節は、附属書 B.3.5 によって拡張されます。

ContinueStatement

continue

;

false を返す。

ContinueStatement

continue

;

iterationSet が LabelIdentifier の StringValue を含む場合、false を返す。
true を返す。

with

(

)

引数 iterationSet および « » を指定した Statement の ContainsUndefinedContinueTarget を返す。

switch

(

)

引数 iterationSet および « » を指定した CaseBlock の ContainsUndefinedContinueTarget を返す。

{

}

false を返す。

{

opt

opt

}

最初の CaseClauses が存在する場合、
1. 引数 iterationSet および « » を指定した最初の CaseClauses の ContainsUndefinedContinueTarget が true である場合、true を返す。
引数 iterationSet および « » を指定した DefaultClause の ContainsUndefinedContinueTarget が true である場合、true を返す。
2番目の CaseClauses が存在しない場合、false を返す。
引数 iterationSet および « » を指定した2番目の CaseClauses の ContainsUndefinedContinueTarget を返す。

hasUndefinedLabels を、引数 iterationSet および « » を指定した CaseClauses の ContainsUndefinedContinueTarget とする。
hasUndefinedLabels が true である場合、true を返す。
引数 iterationSet および « » を指定した CaseClause の ContainsUndefinedContinueTarget を返す。

case

opt

StatementList が存在する場合、引数 iterationSet および « » を指定した StatementList の ContainsUndefinedContinueTarget を返す。
false を返す。

default

opt

StatementList が存在する場合、引数 iterationSet および « » を指定した StatementList の ContainsUndefinedContinueTarget を返す。
false を返す。

label を LabelIdentifier の StringValue とする。
newLabelSet を labelSet と « label » のリスト連結とする。
引数 iterationSet および newLabelSet を指定した LabelledItem の ContainsUndefinedContinueTarget を返す。

false を返す。

try

hasUndefinedLabels を、引数 iterationSet および « » を指定した Block の ContainsUndefinedContinueTarget とする。
hasUndefinedLabels が true である場合、true を返す。
引数 iterationSet および « » を指定した Catch の ContainsUndefinedContinueTarget を返す。

try

hasUndefinedLabels を、引数 iterationSet および « » を指定した Block の ContainsUndefinedContinueTarget とする。
hasUndefinedLabels が true である場合、true を返す。
引数 iterationSet および « » を指定した Finally の ContainsUndefinedContinueTarget を返す。

try

引数 iterationSet および « » を指定した Block の ContainsUndefinedContinueTarget が true である場合、true を返す。
引数 iterationSet および « » を指定した Catch の ContainsUndefinedContinueTarget が true である場合、true を返す。
引数 iterationSet および « » を指定した Finally の ContainsUndefinedContinueTarget を返す。

catch

(

)

引数 iterationSet および « » を指定した Block の ContainsUndefinedContinueTarget を返す。

[empty]

false を返す。

[empty]

false を返す。

hasUndefinedLabels を、引数 iterationSet および « » を指定した ModuleItemList の ContainsUndefinedContinueTarget とする。
hasUndefinedLabels が true である場合、true を返す。
引数 iterationSet および « » を指定した ModuleItem の ContainsUndefinedContinueTarget を返す。

false を返す。

8.4 関数名の推論

8.4.1 Static Semantics: HasName

構文指向操作 HasName。引数なし。戻り値：Boolean。次の生成規則ごとに定義される。

expr を CoverParenthesizedExpressionAndArrowParameterList によって被覆される ParenthesizedExpression とする。
expr の IsFunctionDefinition が false である場合、false を返す。
expr の HasName を返す。

function

(

)

{

}

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

ClassExpression

class

false を返す。

function

(

)

{

}

function

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

class

true を返す。

8.4.2 Static Semantics: IsFunctionDefinition

構文指向操作 IsFunctionDefinition。引数なし。戻り値：Boolean。次の生成規則ごとに定義される。

expr を CoverParenthesizedExpressionAndArrowParameterList によって被覆される ParenthesizedExpression とする。
expr の IsFunctionDefinition を返す。

this

RegularExpressionLiteral

[

]

new

new

CallExpression

OptionalExpression

UpdateExpression

delete

void

typeof

ExponentiationExpression

UpdateExpression

ExponentiationExpression

MultiplicativeExpression

MultiplicativeOperator

ExponentiationExpression

AdditiveExpression

MultiplicativeExpression

AdditiveExpression

MultiplicativeExpression

>>>

instanceof

===

!==

CoalesceExpressionHead

BitwiseORExpression

ConditionalExpression

ShortCircuitExpression

YieldExpression

AssignmentOperator

&&=

||=

??=

false を返す。

function

opt

(

)

{

}

function

opt

(

)

{

}

async

function

opt

(

)

{

}

async

function

opt

(

)

{

}

class

opt

true を返す。

8.4.3 Static Semantics: IsAnonymousFunctionDefinition ( `expr` )

抽象操作 IsAnonymousFunctionDefinition。引数 expr ((an AssignmentExpression Parse Node、an Initializer Parse Node または an Expression Parse Node))。戻り値：Boolean。引数が、名前を束縛しない関数定義であるかどうかを判定します。呼び出されると、次の手順を実行する。

expr の IsFunctionDefinition が false である場合、false を返す。
hasName を expr の HasName とする。
hasName が true である場合、false を返す。
true を返す。

8.4.4 Static Semantics: IsIdentifierRef

構文指向操作 IsIdentifierRef。引数なし。戻り値：Boolean。次の生成規則ごとに定義される。

IdentifierReference

true を返す。

this

RegularExpressionLiteral

TemplateLiteral

[

]

new

new

CallExpression

OptionalExpression

false を返す。

8.4.5 Runtime Semantics: NamedEvaluation

構文指向操作 NamedEvaluation。引数 name ((プロパティキーまたはプライベート名))。戻り値：(正常完了 (値：関数オブジェクト) または中途完了)。次の生成規則ごとに定義される。

expr を CoverParenthesizedExpressionAndArrowParameterList によって被覆される ParenthesizedExpression とする。
引数 name を指定した expr の ? NamedEvaluation を返す。

ParenthesizedExpression

(

)

表明: IsAnonymousFunctionDefinition(Expression) は true である。
引数 name を指定した Expression の ? NamedEvaluation を返す。

function

(

)

{

}

引数 name を指定した FunctionExpression の InstantiateOrdinaryFunctionExpression を返す。

function

(

)

{

}

引数 name を指定した GeneratorExpression の InstantiateGeneratorFunctionExpression を返す。

async

function

(

)

{

}

引数 name を指定した AsyncGeneratorExpression の InstantiateAsyncGeneratorFunctionExpression を返す。

async

function

(

)

{

}

引数 name を指定した AsyncFunctionExpression の InstantiateAsyncFunctionExpression を返す。

ArrowFunction

引数 name を指定した ArrowFunction の InstantiateArrowFunctionExpression を返す。

AsyncArrowFunction

async

引数 name を指定した AsyncArrowFunction の InstantiateAsyncArrowFunctionExpression を返す。

ClassExpression

class

sourceText を ClassExpression に一致するソーステキストとする。
引数 undefined、name、および sourceText を指定した ClassTail の ? ClassDefinitionEvaluation を返す。

8.5 Contains

8.5.1 Static Semantics: Contains

構文指向操作 Contains。引数 symbol (文法記号)。戻り値：Boolean。

以下に列挙されていない、この仕様内のすべての文法生成規則の選択肢には、Contains の次の既定の定義が暗黙にあります。

この Parse Node の各子ノード child について、次を行う。
1. child が symbol のインスタンスである場合、true を返す。
2. child が非終端記号のインスタンスである場合、
  1. contained を child Contains symbol の結果とする。
  2. contained が true である場合、true を返す。
false を返す。

function

(

)

{

}

function

(

)

{

}

function

opt

(

)

{

}

function

(

)

{

}

function

(

)

{

}

function

opt

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

opt

(

)

{

}

async

function

(

)

{

}

async

function

(

)

{

}

async

function

opt

(

)

{

}

false を返す。

注 1

下位構造に依存する静的意味論規則は、一般に関数定義の内部を調べません。

ClassHeritage

opt

{

ClassBody

}

symbol が ClassBody である場合、true を返す。
symbol が ClassHeritage である場合、
1. ClassHeritage が存在する場合、true を返す。
2. false を返す。
ClassHeritage が存在する場合、
1. ClassHeritage Contains symbol が true である場合、true を返す。
引数 symbol を指定した ClassBody の ComputedPropertyContains の結果を返す。

注 2

下位構造に依存する静的意味論規則は、一般に PropertyName を除いてクラス本体の内部を調べません。

ClassStaticBlock

static

{

ClassStaticBlockBody

}

false を返す。

注 3

下位構造に依存する静的意味論規則は、一般に static 初期化ブロックの内部を調べません。

ArrowFunction

symbol が NewTarget、SuperProperty、SuperCall、super、または this のいずれでもない場合、false を返す。
ArrowParameters Contains symbol が true である場合、true を返す。
ConciseBody Contains symbol を返す。

formals を CoverParenthesizedExpressionAndArrowParameterList によって被覆される ArrowFormalParameters とする。
formals Contains symbol を返す。

AsyncArrowFunction

async

symbol が NewTarget、SuperProperty、SuperCall、super、または this のいずれでもない場合、false を返す。
AsyncConciseBody Contains symbol を返す。

AsyncArrowFunction

symbol が NewTarget、SuperProperty、SuperCall、super、または this のいずれでもない場合、false を返す。
head を CoverCallExpressionAndAsyncArrowHead によって被覆される AsyncArrowHead とする。
head Contains symbol が true である場合、true を返す。
AsyncConciseBody Contains symbol を返す。

注 4

Contains は、ArrowFunction または AsyncArrowFunction 内での new.target、this、および super の使用を検出するために使用されます。

PropertyDefinition

MethodDefinition

symbol が MethodDefinition である場合、true を返す。
引数 symbol を指定した MethodDefinition の ComputedPropertyContains の結果を返す。

LiteralPropertyName

false を返す。

MemberExpression

MemberExpression Contains symbol が true である場合、true を返す。
false を返す。

SuperProperty

super

symbol が ReservedWord super である場合、true を返す。
false を返す。

CallExpression

CallExpression Contains symbol が true である場合、true を返す。
false を返す。

OptionalChain

false を返す。

OptionalChain

OptionalChain Contains symbol が true である場合、true を返す。
false を返す。

8.5.2 Static Semantics: ComputedPropertyContains

構文指向操作 ComputedPropertyContains。引数 symbol (文法記号)。戻り値：Boolean。次の生成規則ごとに定義される。

false を返す。

PropertyName

ComputedPropertyName

ComputedPropertyName Contains symbol の結果を返す。

MethodDefinition

(

)

{

}

get

(

)

{

}

set

(

PropertySetParameterList

)

{

}

引数 symbol を指定した ClassElementName の ComputedPropertyContains の結果を返す。

GeneratorMethod

(

)

{

}

引数 symbol を指定した ClassElementName の ComputedPropertyContains の結果を返す。

AsyncGeneratorMethod

async

(

)

{

}

引数 symbol を指定した ClassElementName の ComputedPropertyContains の結果を返す。

ClassElementList

ClassElement

inList を、引数 symbol を指定した ClassElementList の ComputedPropertyContains とする。
inList が true である場合、true を返す。
引数 symbol を指定した ClassElement の ComputedPropertyContains の結果を返す。

ClassElement

ClassStaticBlock

false を返す。

ClassElement

;

false を返す。

AsyncMethod

async

(

)

{

}

引数 symbol を指定した ClassElementName の ComputedPropertyContains の結果を返す。

FieldDefinition

opt

引数 symbol を指定した ClassElementName の ComputedPropertyContains の結果を返す。

8.6 その他

これらの操作は、この仕様全体の複数の箇所で使用されます。

8.6.1 Runtime Semantics: InstantiateFunctionObject

構文指向操作 InstantiateFunctionObject。引数 envRecord (Environmentレコード) および privateEnv ((PrivateEnvironmentレコードまたは null))。戻り値：ECMAScript 関数オブジェクト。次の生成規則ごとに定義される。

function

(

)

{

}

function

(

)

{

}

引数 envRecord および privateEnv を指定した FunctionDeclaration の InstantiateOrdinaryFunctionObject を返す。

function

(

)

{

}

function

(

)

{

}

引数 envRecord および privateEnv を指定した GeneratorDeclaration の InstantiateGeneratorFunctionObject を返す。

async

function

(

)

{

}

async

function

(

)

{

}

引数 envRecord および privateEnv を指定した AsyncGeneratorDeclaration の InstantiateAsyncGeneratorFunctionObject を返す。

async

function

(

)

{

}

async

function

(

)

{

}

引数 envRecord および privateEnv を指定した AsyncFunctionDeclaration の InstantiateAsyncFunctionObject を返す。

8.6.2 Runtime Semantics: BindingInitialization

構文指向操作 BindingInitialization。引数 value (ECMAScript 言語値) および envRecord ((Environmentレコードまたは undefined))。戻り値：(正常完了 (値：unused) または中途完了)。

注

初期化値を代入するために PutValue 操作を使用するべきことを示すため、envRecord に undefined が渡されます。これは var 文、および一部の非 strict 関数の仮引数リストの場合です（10.2.11 を参照）。これらの場合、レキシカル束縛は、その初期化子を評価する前に巻き上げられ、事前に初期化されます。

次の生成規則ごとに定義される。

Identifier

name を Identifier の StringValue とする。
? InitializeBoundName(name, value, envRecord) を返す。

yield

? InitializeBoundName("yield", value, envRecord) を返す。

await

? InitializeBoundName("await", value, envRecord) を返す。

? RequireObjectCoercible(value) を実行する。
引数 value および envRecord を指定した ObjectBindingPattern の ? BindingInitialization を返す。

iteratorRecord を ? GetIterator(value, sync) とする。
result を、引数 iteratorRecord および envRecord を指定した ArrayBindingPattern の Completion(IteratorBindingInitialization) とする。
iteratorRecord.[[Done]] が false である場合、? IteratorClose(iteratorRecord, result) を返す。
? result を返す。

{

}

unused を返す。

{

opt

}

引数 value および envRecord を指定した BindingPropertyList の ? PropertyBindingInitialization を実行する。
unused を返す。

{

BindingRestProperty

}

excludedNames を新しい空の List とする。
引数 value、envRecord、および excludedNames を指定した BindingRestProperty の ? RestBindingInitialization を返す。

{

BindingRestProperty

}

excludedNames を、引数 value および envRecord を指定した BindingPropertyList の ? PropertyBindingInitialization とする。
引数 value、envRecord、および excludedNames を指定した BindingRestProperty の ? RestBindingInitialization を返す。

8.6.2.1 InitializeBoundName ( `name`, `value`, `envRecord` )

抽象操作 InitializeBoundName。引数 name (String)、value (ECMAScript 言語値) および envRecord ((Environmentレコードまたは undefined))。戻り値：(正常完了 (値：unused) または中途完了)。呼び出されると、次の手順を実行する。

envRecord が undefined でない場合、
1. ! envRecord.InitializeBinding(name, value) を実行する。
2. unused を返す。
lhs を ? ResolveBinding(name) とする。
? PutValue(lhs, value) を返す。

8.6.3 Runtime Semantics: IteratorBindingInitialization

構文指向操作 IteratorBindingInitialization。引数 iteratorRecord (Iteratorレコード) および envRecord ((Environmentレコードまたは undefined))。戻り値：(正常完了 (値：unused) または中途完了)。

注

envRecord に undefined が渡される場合、初期化値を代入するために PutValue 操作を使用するべきことを示します。これは非 strict 関数の仮引数リストの場合です。この場合、同じ名前を持つ複数の仮引数が存在する可能性に対処するため、仮引数の束縛が事前に初期化されます。

次の生成規則ごとに定義される。

[

]

unused を返す。

[

]

引数 iteratorRecord を指定した Elision の ? IteratorDestructuringAssignmentEvaluation を返す。

[

opt

]

Elision が存在する場合、
1. 引数 iteratorRecord を指定した Elision の ? IteratorDestructuringAssignmentEvaluation を実行する。
引数 iteratorRecord および envRecord を指定した BindingRestElement の ? IteratorBindingInitialization を返す。

[

]

引数 iteratorRecord および envRecord を指定した BindingElementList の ? IteratorBindingInitialization を実行する。
引数 iteratorRecord を指定した Elision の ? IteratorDestructuringAssignmentEvaluation を返す。

[

opt

]

引数 iteratorRecord および envRecord を指定した BindingElementList の ? IteratorBindingInitialization を実行する。
Elision が存在する場合、
1. 引数 iteratorRecord を指定した Elision の ? IteratorDestructuringAssignmentEvaluation を実行する。
引数 iteratorRecord および envRecord を指定した BindingRestElement の ? IteratorBindingInitialization を返す。

引数 iteratorRecord および envRecord を指定した BindingElementList の ? IteratorBindingInitialization を実行する。
引数 iteratorRecord および envRecord を指定した BindingElisionElement の ? IteratorBindingInitialization を返す。

引数 iteratorRecord を指定した Elision の ? IteratorDestructuringAssignmentEvaluation を実行する。
引数 iteratorRecord および envRecord を指定した BindingElement の ? IteratorBindingInitialization を返す。

SingleNameBinding

opt

name を BindingIdentifier の StringValue とする。
lhs を ? ResolveBinding(name, envRecord) とする。
value を undefined とする。
iteratorRecord.[[Done]] が false である場合、
1. next を ? IteratorStepValue(iteratorRecord) とする。
2. next が done でない場合、
  1. value を next に設定する。
Initializer が存在し、value が undefined である場合、
1. IsAnonymousFunctionDefinition(Initializer) が true である場合、
  1. value を、引数 name を指定した Initializer の ? NamedEvaluation に設定する。
2. そうでない場合、
  1. defaultValue を Initializer の ? Evaluation とする。
  2. value を ? GetValue(defaultValue) に設定する。
envRecord が undefined である場合、? PutValue(lhs, value) を返す。
? InitializeReferencedBinding(lhs, value) を返す。

opt

value を undefined とする。
iteratorRecord.[[Done]] が false である場合、
1. next を ? IteratorStepValue(iteratorRecord) とする。
2. next が done でない場合、
  1. value を next に設定する。
Initializer が存在し、value が undefined である場合、
1. defaultValue を Initializer の ? Evaluation とする。
2. value を ? GetValue(defaultValue) に設定する。
引数 value および envRecord を指定した BindingPattern の ? BindingInitialization を返す。

...

lhs を ? ResolveBinding(BindingIdentifier の StringValue, envRecord) とする。
array を ! ArrayCreate(0) とする。
n を 0 とする。
次を繰り返す。
1. next を done とする。
2. iteratorRecord.[[Done]] が false である場合、
  1. next を ? IteratorStepValue(iteratorRecord) に設定する。
3. next が done である場合、
  1. envRecord が undefined である場合、? PutValue(lhs, array) を返す。
  2. ? InitializeReferencedBinding(lhs, array) を返す。
4. ! CreateDataPropertyOrThrow(array, ! ToString(𝔽(n)), next) を実行する。
5. n を n + 1 に設定する。

...

array を ! ArrayCreate(0) とする。
n を 0 とする。
次を繰り返す。
1. next を done とする。
2. iteratorRecord.[[Done]] が false である場合、
  1. next を ? IteratorStepValue(iteratorRecord) に設定する。
3. next が done である場合、
  1. 引数 array および envRecord を指定した BindingPattern の ? BindingInitialization を返す。
4. ! CreateDataPropertyOrThrow(array, ! ToString(𝔽(n)), next) を実行する。
5. n を n + 1 に設定する。

[empty]

unused を返す。

FunctionRestParameter

引数 iteratorRecord および envRecord を指定した FormalParameterList の ? IteratorBindingInitialization を実行する。
引数 iteratorRecord および envRecord を指定した FunctionRestParameter の ? IteratorBindingInitialization を返す。

FormalParameter

引数 iteratorRecord および envRecord を指定した FormalParameterList の ? IteratorBindingInitialization を実行する。
引数 iteratorRecord および envRecord を指定した FormalParameter の ? IteratorBindingInitialization を返す。

value を undefined とする。
表明: iteratorRecord.[[Done]] は false である。
next を ? IteratorStepValue(iteratorRecord) とする。
next が done でない場合、
1. value を next に設定する。
引数 value および envRecord を指定した BindingIdentifier の ? BindingInitialization を返す。

formals を CoverParenthesizedExpressionAndArrowParameterList によって被覆される ArrowFormalParameters とする。
引数 iteratorRecord および envRecord を指定した formals の ? IteratorBindingInitialization を返す。