8 语法制导操作

Identifier

返回一个 List，其唯一元素为 Identifier 的 StringValue。

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。
如果存在第二个 CaseClauses，则令 names3 为第二个 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。

返回一个 List，其唯一元素为 Declaration 的 DeclarationPart。

{

}

返回新的空 List。

{

opt

opt

}

如果存在第一个 CaseClauses，则令 decls1 为第一个 CaseClauses 的 LexicallyScopedDeclarations。
否则，令 decls1 为新的空 List。
令 decls2 为 DefaultClause 的 LexicallyScopedDeclarations。
如果存在第二个 CaseClauses，则令 decls3 为第二个 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

返回一个 List，其唯一元素为 Declaration 的 DeclarationPart。

export

default

返回一个 List，其唯一元素为 HoistableDeclaration 的 DeclarationPart。

export

default

返回一个 List，其唯一元素为 ClassDeclaration。

export

default

;

返回一个 List，其唯一元素为此 ExportDeclaration。

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 为第二个 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。
如果存在第二个 CaseClauses，则令 names3 为第二个 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 为第二个 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。
如果存在第二个 CaseClauses，则令 decls3 为第二个 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 为参数对第二个 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。
如果不存在第二个 CaseClauses，则返回 false。
返回以 labelSet 为参数对第二个 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 为参数对第二个 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。
如果不存在第二个 CaseClauses，则返回 false。
返回以 labelSet 为参数对第二个 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 和 « » 为参数对第二个 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。
如果不存在第二个 CaseClauses，则返回 false。
返回以 iterationSet 和 « » 为参数对第二个 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) 或突兀完成)。

注

为 envRecord 传递 undefined 表示应使用 PutValue 操作来赋予初始化值。对于 var 语句和某些非严格函数的形式参数列表就是这种情况（参见 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 为 Completion(以 iteratorRecord 和 envRecord 为参数对 ArrayBindingPattern 执行 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 操作来赋予初始化值。非严格函数的形式参数列表就是这种情况。在这种情况下，会预先初始化形式参数绑定，以处理存在多个同名参数的可能性。

它按以下产生式分别定义：

[

]

返回 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 的结果。