8 構文指向操作

この節で定義されるものに加えて、特殊化された構文指向操作がこの仕様全体を通じて定義される。

8.1 Runtime Semantics: Evaluation

The syntax-directed operation Evaluation takes no arguments and returns a Completion Record.

Note
この操作の定義は、この仕様の「ECMAScript Language」の各節に分散している。各定義は、関連する生成規則の定義出現の後に現れる。

8.2 スコープ解析

8.2.1 Static Semantics: BoundNames

The syntax-directed operation BoundNames takes no arguments and returns a List of Strings.

Note

"*default*" は、この仕様の中では、他の名前を持たないモジュールのデフォルトエクスポートに対する合成名として使われる。モジュールの [[Environment]] 内にはその名前でエントリが作成され、対応する値を保持する。そして、モジュールに対して ResolveExport ( exportName [ , resolveSet ] ) を呼び出して "default" という名前のエクスポートを解決すると、[[BindingName]] が "*default*" である ResolvedBinding Record が返され、その後それはモジュールの [[Environment]] 内で上記の値に解決される。これは匿名のデフォルトエクスポートを他の任意のエクスポートと同様に解決できるようにするための、仕様記述上の便宜のためだけに行われる。この "*default*" という文字列は、ECMAScript コードからもモジュールリンクアルゴリズムからも決してアクセス不能である。

It is defined piecewise over the following productions:

BindingIdentifier : Identifier
  1. 唯一の要素として Identifier の StringValue を持つ List を返す。
 BindingIdentifier : yield
  1. « "yield" » を返す。
 BindingIdentifier : await
  1. « "await" » を返す。
 LexicalDeclaration : LetOrConst BindingList ;
  1. BindingList の BoundNames を返す。
 BindingList : BindingList , LexicalBinding
  1. names1 を BindingList の BoundNames とする。
  2. names2 を LexicalBinding の BoundNames とする。
  3. names1 と names2 の list-concatenation を返す。
 LexicalBinding : BindingIdentifier Initializeropt
  1. BindingIdentifier の BoundNames を返す。
 LexicalBinding : BindingPattern Initializer
  1. BindingPattern の BoundNames を返す。
 VariableDeclarationList : VariableDeclarationList , VariableDeclaration
  1. names1 を VariableDeclarationList の BoundNames とする。
  2. names2 を VariableDeclaration の BoundNames とする。
  3. names1 と names2 の list-concatenation を返す。
 VariableDeclaration : BindingIdentifier Initializeropt
  1. BindingIdentifier の BoundNames を返す。
 VariableDeclaration : BindingPattern Initializer
  1. BindingPattern の BoundNames を返す。
 ObjectBindingPattern : { }
  1. 新しい空の List を返す。
 ObjectBindingPattern : { BindingPropertyList , BindingRestProperty }
  1. names1 を BindingPropertyList の BoundNames とする。
  2. names2 を BindingRestProperty の BoundNames とする。
  3. names1 と names2 の list-concatenation を返す。
 ArrayBindingPattern : [ Elisionopt ]
  1. 新しい空の List を返す。
 ArrayBindingPattern : [ Elisionopt BindingRestElement ]
  1. BindingRestElement の BoundNames を返す。
 ArrayBindingPattern : [ BindingElementList , Elisionopt ]
  1. BindingElementList の BoundNames を返す。
 ArrayBindingPattern : [ BindingElementList , Elisionopt BindingRestElement ]
  1. names1 を BindingElementList の BoundNames とする。
  2. names2 を BindingRestElement の BoundNames とする。
  3. names1 と names2 の list-concatenation を返す。
 BindingPropertyList : BindingPropertyList , BindingProperty
  1. names1 を BindingPropertyList の BoundNames とする。
  2. names2 を BindingProperty の BoundNames とする。
  3. names1 と names2 の list-concatenation を返す。
 BindingElementList : BindingElementList , BindingElisionElement
  1. names1 を BindingElementList の BoundNames とする。
  2. names2 を BindingElisionElement の BoundNames とする。
  3. names1 と names2 の list-concatenation を返す。
 BindingElisionElement : Elisionopt BindingElement
  1. BindingElement の BoundNames を返す。
 BindingProperty : PropertyName : BindingElement
  1. BindingElement の BoundNames を返す。
 SingleNameBinding : BindingIdentifier Initializeropt
  1. BindingIdentifier の BoundNames を返す。
 BindingElement : BindingPattern Initializeropt
  1. BindingPattern の BoundNames を返す。
 ForDeclaration : LetOrConst ForBinding
  1. ForBinding の BoundNames を返す。
 FunctionDeclaration : function BindingIdentifier ( FormalParameters ) { FunctionBody }
  1. BindingIdentifier の BoundNames を返す。
 FunctionDeclaration : function ( FormalParameters ) { FunctionBody }
  1. « "*default*" » を返す。
 FormalParameters : [empty]
  1. 新しい空の List を返す。
 FormalParameters : FormalParameterList , FunctionRestParameter
  1. names1 を FormalParameterList の BoundNames とする。
  2. names2 を FunctionRestParameter の BoundNames とする。
  3. names1 と names2 の list-concatenation を返す。
 FormalParameterList : FormalParameterList , FormalParameter
  1. names1 を FormalParameterList の BoundNames とする。
  2. names2 を FormalParameter の BoundNames とする。
  3. names1 と names2 の list-concatenation を返す。
 ArrowParameters : CoverParenthesizedExpressionAndArrowParameterList
  1. formals を、CoverParenthesizedExpressionAndArrowParameterList によって包摂される ArrowFormalParameters とする。
  2. formals の BoundNames を返す。
 GeneratorDeclaration : function * BindingIdentifier ( FormalParameters ) { GeneratorBody }
  1. BindingIdentifier の BoundNames を返す。
 GeneratorDeclaration : function * ( FormalParameters ) { GeneratorBody }
  1. « "*default*" » を返す。
 AsyncGeneratorDeclaration : async function * BindingIdentifier ( FormalParameters ) { AsyncGeneratorBody }
  1. BindingIdentifier の BoundNames を返す。
 AsyncGeneratorDeclaration : async function * ( FormalParameters ) { AsyncGeneratorBody }
  1. « "*default*" » を返す。
 ClassDeclaration : class BindingIdentifier ClassTail
  1. BindingIdentifier の BoundNames を返す。
 ClassDeclaration : class ClassTail
  1. « "*default*" » を返す。
 AsyncFunctionDeclaration : async function BindingIdentifier ( FormalParameters ) { AsyncFunctionBody }
  1. BindingIdentifier の BoundNames を返す。
 AsyncFunctionDeclaration : async function ( FormalParameters ) { AsyncFunctionBody }
  1. « "*default*" » を返す。
 CoverCallExpressionAndAsyncArrowHead : MemberExpression Arguments
  1. head を、CoverCallExpressionAndAsyncArrowHead によって包摂される AsyncArrowHead とする。
  2. head の BoundNames を返す。
 ImportDeclaration : import ImportClause FromClause WithClauseopt ;
  1. ImportClause の BoundNames を返す。
 ImportDeclaration : import ModuleSpecifier WithClauseopt ;
  1. 新しい空の List を返す。
 ImportClause : ImportedDefaultBinding , NameSpaceImport
  1. names1 を ImportedDefaultBinding の BoundNames とする。
  2. names2 を NameSpaceImport の BoundNames とする。
  3. names1 と names2 の list-concatenation を返す。
 ImportClause : ImportedDefaultBinding , NamedImports
  1. names1 を ImportedDefaultBinding の BoundNames とする。
  2. names2 を NamedImports の BoundNames とする。
  3. names1 と names2 の list-concatenation を返す。
 NamedImports : { }
  1. 新しい空の List を返す。
 ImportsList : ImportsList , ImportSpecifier
  1. names1 を ImportsList の BoundNames とする。
  2. names2 を ImportSpecifier の BoundNames とする。
  3. names1 と names2 の list-concatenation を返す。
 ImportSpecifier : ModuleExportName as ImportedBinding
  1. ImportedBinding の BoundNames を返す。
 ExportDeclaration : export ExportFromClause FromClause WithClauseopt ; export NamedExports ;
  1. 新しい空の List を返す。
 ExportDeclaration : export VariableStatement
  1. VariableStatement の BoundNames を返す。
 ExportDeclaration : export Declaration
  1. Declaration の BoundNames を返す。
 ExportDeclaration : export default HoistableDeclaration
  1. declarationNames を HoistableDeclaration の BoundNames とする。
  2. declarationNames が "*default*" という要素を含まない場合、"*default*" を declarationNames に追加する。
  3. declarationNames を返す。
 ExportDeclaration : export default ClassDeclaration
  1. declarationNames を ClassDeclaration の BoundNames とする。
  2. declarationNames が "*default*" という要素を含まない場合、"*default*" を declarationNames に追加する。
  3. declarationNames を返す。
 ExportDeclaration : export default AssignmentExpression ;
  1. « "*default*" » を返す。

8.2.2 Static Semantics: DeclarationPart

The syntax-directed operation DeclarationPart takes no arguments and returns a Parse Node. It is defined piecewise over the following productions:

HoistableDeclaration : FunctionDeclaration
  1. FunctionDeclaration を返す。
 HoistableDeclaration : GeneratorDeclaration
  1. GeneratorDeclaration を返す。
 HoistableDeclaration : AsyncFunctionDeclaration
  1. AsyncFunctionDeclaration を返す。
 HoistableDeclaration : AsyncGeneratorDeclaration
  1. AsyncGeneratorDeclaration を返す。
 Declaration : ClassDeclaration
  1. ClassDeclaration を返す。
 Declaration : LexicalDeclaration
  1. LexicalDeclaration を返す。

8.2.3 Static Semantics: IsConstantDeclaration

The syntax-directed operation IsConstantDeclaration takes no arguments and returns a Boolean. It is defined piecewise over the following productions:

LexicalDeclaration : LetOrConst BindingList ;
  1. LetOrConst の IsConstantDeclaration を返す。
 LetOrConst : let
  1. false を返す。
 LetOrConst : const
  1. true を返す。
 FunctionDeclaration : function BindingIdentifier ( FormalParameters ) { FunctionBody } function ( FormalParameters ) { FunctionBody } GeneratorDeclaration : function * BindingIdentifier ( FormalParameters ) { GeneratorBody } function * ( FormalParameters ) { GeneratorBody } AsyncGeneratorDeclaration : async function * BindingIdentifier ( FormalParameters ) { AsyncGeneratorBody } async function * ( FormalParameters ) { AsyncGeneratorBody } AsyncFunctionDeclaration : async function BindingIdentifier ( FormalParameters ) { AsyncFunctionBody } async function ( FormalParameters ) { AsyncFunctionBody }
  1. false を返す。
 ClassDeclaration : class BindingIdentifier ClassTail class ClassTail
  1. false を返す。
 ExportDeclaration : export ExportFromClause FromClause ; export NamedExports ; export default AssignmentExpression ;
  1. false を返す。
 Note

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

8.2.4 Static Semantics: LexicallyDeclaredNames

The syntax-directed operation LexicallyDeclaredNames takes no arguments and returns a List of Strings. It is defined piecewise over the following productions:

Block : { }
  1. 新しい空の List を返す。
 StatementList : StatementList StatementListItem
  1. names1 を StatementList の LexicallyDeclaredNames とする。
  2. names2 を StatementListItem の LexicallyDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 StatementListItem : Statement
  1. Statement が Statement : LabelledStatement であるなら、LabelledStatement の LexicallyDeclaredNames を返す。
  2. 新しい空の List を返す。
 StatementListItem : Declaration
  1. Declaration の BoundNames を返す。
 CaseBlock : { }
  1. 新しい空の List を返す。
 CaseBlock : { CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、names1 を最初の CaseClauses の LexicallyDeclaredNames とする。
  2. Else, names1 を新しい空の List とする。
  3. names2 を DefaultClause の LexicallyDeclaredNames とする。
  4. 2 番目の CaseClauses が存在するなら、names3 を 2 番目の CaseClauses の LexicallyDeclaredNames とする。
  5. Else, names3 を新しい空の List とする。
  6. names1, names2, および names3 の list-concatenation を返す。
 CaseClauses : CaseClauses CaseClause
  1. names1 を CaseClauses の LexicallyDeclaredNames とする。
  2. names2 を CaseClause の LexicallyDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 CaseClause : case Expression : StatementListopt
  1. StatementList が存在するなら、StatementList の LexicallyDeclaredNames を返す。
  2. 新しい空の List を返す。
 DefaultClause : default : StatementListopt
  1. StatementList が存在するなら、StatementList の LexicallyDeclaredNames を返す。
  2. 新しい空の List を返す。
 LabelledStatement : LabelIdentifier : LabelledItem
  1. LabelledItem の LexicallyDeclaredNames を返す。
 LabelledItem : Statement
  1. 新しい空の List を返す。
 LabelledItem : FunctionDeclaration
  1. FunctionDeclaration の BoundNames を返す。
 FunctionStatementList : [empty]
  1. 新しい空の List を返す。
 FunctionStatementList : StatementList
  1. StatementList の TopLevelLexicallyDeclaredNames を返す。
 ClassStaticBlockStatementList : [empty]
  1. 新しい空の List を返す。
 ClassStaticBlockStatementList : StatementList
  1. StatementList の TopLevelLexicallyDeclaredNames を返す。
 ConciseBody : ExpressionBody
  1. 新しい空の List を返す。
 AsyncConciseBody : ExpressionBody
  1. 新しい空の List を返す。
 Script : [empty]
  1. 新しい空の List を返す。
 ScriptBody : StatementList
  1. StatementList の TopLevelLexicallyDeclaredNames を返す。
 Note 1

Script のトップレベルでは、function 宣言は lexical 宣言ではなく var 宣言のように扱われる。

 Note 2

Module の LexicallyDeclaredNames には、その import 束縛のすべての名前が含まれる。

 ModuleItemList : ModuleItemList ModuleItem
  1. names1 を ModuleItemList の LexicallyDeclaredNames とする。
  2. names2 を ModuleItem の LexicallyDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 ModuleItem : ImportDeclaration
  1. ImportDeclaration の BoundNames を返す。
 ModuleItem : ExportDeclaration
  1. ExportDeclaration が export VariableStatement であるなら、新しい空の List を返す。
  2. ExportDeclaration の BoundNames を返す。
 ModuleItem : StatementListItem
  1. StatementListItem の LexicallyDeclaredNames を返す。
 Note 3

Module のトップレベルでは、function 宣言は var 宣言ではなく lexical 宣言のように扱われる。

8.2.5 Static Semantics: LexicallyScopedDeclarations

The syntax-directed operation LexicallyScopedDeclarations takes no arguments and returns a List of Parse Nodes. It is defined piecewise over the following productions:

StatementList : StatementList StatementListItem
  1. declarations1 を StatementList の LexicallyScopedDeclarations とする。
  2. declarations2 を StatementListItem の LexicallyScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 StatementListItem : Statement
  1. Statement が Statement : LabelledStatement であるなら、LabelledStatement の LexicallyScopedDeclarations を返す。
  2. 新しい空の List を返す。
 StatementListItem : Declaration
  1. 唯一の要素として Declaration の DeclarationPart を持つ List を返す。
 CaseBlock : { }
  1. 新しい空の List を返す。
 CaseBlock : { CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、declarations1 を最初の CaseClauses の LexicallyScopedDeclarations とする。
  2. Else, declarations1 を新しい空の List とする。
  3. declarations2 を DefaultClause の LexicallyScopedDeclarations とする。
  4. 2 番目の CaseClauses が存在するなら、declarations3 を 2 番目の CaseClauses の LexicallyScopedDeclarations とする。
  5. Else, declarations3 を新しい空の List とする。
  6. declarations1, declarations2, および declarations3 の list-concatenation を返す。
 CaseClauses : CaseClauses CaseClause
  1. declarations1 を CaseClauses の LexicallyScopedDeclarations とする。
  2. declarations2 を CaseClause の LexicallyScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 CaseClause : case Expression : StatementListopt
  1. StatementList が存在するなら、StatementList の LexicallyScopedDeclarations を返す。
  2. 新しい空の List を返す。
 DefaultClause : default : StatementListopt
  1. StatementList が存在するなら、StatementList の LexicallyScopedDeclarations を返す。
  2. 新しい空の List を返す。
 LabelledStatement : LabelIdentifier : LabelledItem
  1. LabelledItem の LexicallyScopedDeclarations を返す。
 LabelledItem : Statement
  1. 新しい空の List を返す。
 LabelledItem : FunctionDeclaration
  1. « FunctionDeclaration » を返す。
 FunctionStatementList : [empty]
  1. 新しい空の List を返す。
 FunctionStatementList : StatementList
  1. StatementList の TopLevelLexicallyScopedDeclarations を返す。
 ClassStaticBlockStatementList : [empty]
  1. 新しい空の List を返す。
 ClassStaticBlockStatementList : StatementList
  1. StatementList の TopLevelLexicallyScopedDeclarations を返す。
 ConciseBody : ExpressionBody
  1. 新しい空の List を返す。
 AsyncConciseBody : ExpressionBody
  1. 新しい空の List を返す。
 Script : [empty]
  1. 新しい空の List を返す。
 ScriptBody : StatementList
  1. StatementList の TopLevelLexicallyScopedDeclarations を返す。
 Module : [empty]
  1. 新しい空の List を返す。
 ModuleItemList : ModuleItemList ModuleItem
  1. declarations1 を ModuleItemList の LexicallyScopedDeclarations とする。
  2. declarations2 を ModuleItem の LexicallyScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 ModuleItem : ImportDeclaration
  1. 新しい空の List を返す。
 ExportDeclaration : export ExportFromClause FromClause WithClauseopt ; export NamedExports ; export VariableStatement
  1. 新しい空の List を返す。
 ExportDeclaration : export Declaration
  1. 唯一の要素として Declaration の DeclarationPart を持つ List を返す。
 ExportDeclaration : export default HoistableDeclaration
  1. 唯一の要素として HoistableDeclaration の DeclarationPart を持つ List を返す。
 ExportDeclaration : export default ClassDeclaration
  1. 唯一の要素として ClassDeclaration を持つ List を返す。
 ExportDeclaration : export default AssignmentExpression ;
  1. 唯一の要素としてこの ExportDeclaration を持つ List を返す。

8.2.6 Static Semantics: VarDeclaredNames

The syntax-directed operation VarDeclaredNames takes no arguments and returns a List of Strings. It is defined piecewise over the following productions:

Statement : EmptyStatement ExpressionStatement ContinueStatement BreakStatement ReturnStatement ThrowStatement DebuggerStatement
  1. 新しい空の List を返す。
 Block : { }
  1. 新しい空の List を返す。
 StatementList : StatementList StatementListItem
  1. names1 を StatementList の VarDeclaredNames とする。
  2. names2 を StatementListItem の VarDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 StatementListItem : Declaration
  1. 新しい空の List を返す。
 VariableStatement : var VariableDeclarationList ;
  1. VariableDeclarationList の BoundNames を返す。
 IfStatement : if ( Expression ) Statement else Statement
  1. names1 を最初の Statement の VarDeclaredNames とする。
  2. names2 を 2 番目の Statement の VarDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 IfStatement : if ( Expression ) Statement
  1. Statement の VarDeclaredNames を返す。
 DoWhileStatement : do Statement while ( Expression ) ;
  1. Statement の VarDeclaredNames を返す。
 WhileStatement : while ( Expression ) Statement
  1. Statement の VarDeclaredNames を返す。
 ForStatement : for ( Expressionopt ; Expressionopt ; Expressionopt ) Statement
  1. Statement の VarDeclaredNames を返す。
 ForStatement : for ( var VariableDeclarationList ; Expressionopt ; Expressionopt ) Statement
  1. names1 を VariableDeclarationList の BoundNames とする。
  2. names2 を Statement の VarDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 ForStatement : for ( LexicalDeclaration Expressionopt ; Expressionopt ) Statement
  1. Statement の VarDeclaredNames を返す。
 ForInOfStatement : for ( LeftHandSideExpression in Expression ) Statement for ( ForDeclaration in Expression ) Statement for ( LeftHandSideExpression of AssignmentExpression ) Statement for ( ForDeclaration of AssignmentExpression ) Statement for await ( LeftHandSideExpression of AssignmentExpression ) Statement for await ( ForDeclaration of AssignmentExpression ) Statement
  1. Statement の VarDeclaredNames を返す。
 ForInOfStatement : for ( var ForBinding in Expression ) Statement for ( var ForBinding of AssignmentExpression ) Statement for await ( var ForBinding of AssignmentExpression ) Statement
  1. names1 を ForBinding の BoundNames とする。
  2. names2 を Statement の VarDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 Note

この節は Annex B.3.5 によって拡張される。

 WithStatement : with ( Expression ) Statement
  1. Statement の VarDeclaredNames を返す。
 SwitchStatement : switch ( Expression ) CaseBlock
  1. CaseBlock の VarDeclaredNames を返す。
 CaseBlock : { }
  1. 新しい空の List を返す。
 CaseBlock : { CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、names1 を最初の CaseClauses の VarDeclaredNames とする。
  2. Else, names1 を新しい空の List とする。
  3. names2 を DefaultClause の VarDeclaredNames とする。
  4. 2 番目の CaseClauses が存在するなら、names3 を 2 番目の CaseClauses の VarDeclaredNames とする。
  5. Else, names3 を新しい空の List とする。
  6. names1, names2, および names3 の list-concatenation を返す。
 CaseClauses : CaseClauses CaseClause
  1. names1 を CaseClauses の VarDeclaredNames とする。
  2. names2 を CaseClause の VarDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 CaseClause : case Expression : StatementListopt
  1. StatementList が存在するなら、StatementList の VarDeclaredNames を返す。
  2. 新しい空の List を返す。
 DefaultClause : default : StatementListopt
  1. StatementList が存在するなら、StatementList の VarDeclaredNames を返す。
  2. 新しい空の List を返す。
 LabelledStatement : LabelIdentifier : LabelledItem
  1. LabelledItem の VarDeclaredNames を返す。
 LabelledItem : FunctionDeclaration
  1. 新しい空の List を返す。
 TryStatement : try Block Catch
  1. names1 を Block の VarDeclaredNames とする。
  2. names2 を Catch の VarDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 TryStatement : try Block Finally
  1. names1 を Block の VarDeclaredNames とする。
  2. names2 を Finally の VarDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 TryStatement : try Block Catch Finally
  1. names1 を Block の VarDeclaredNames とする。
  2. names2 を Catch の VarDeclaredNames とする。
  3. names3 を Finally の VarDeclaredNames とする。
  4. names1, names2, および names3 の list-concatenation を返す。
 Catch : catch ( CatchParameter ) Block
  1. Block の VarDeclaredNames を返す。
 FunctionStatementList : [empty]
  1. 新しい空の List を返す。
 FunctionStatementList : StatementList
  1. StatementList の TopLevelVarDeclaredNames を返す。
 ClassStaticBlockStatementList : [empty]
  1. 新しい空の List を返す。
 ClassStaticBlockStatementList : StatementList
  1. StatementList の TopLevelVarDeclaredNames を返す。
 ConciseBody : ExpressionBody
  1. 新しい空の List を返す。
 AsyncConciseBody : ExpressionBody
  1. 新しい空の List を返す。
 Script : [empty]
  1. 新しい空の List を返す。
 ScriptBody : StatementList
  1. StatementList の TopLevelVarDeclaredNames を返す。
 ModuleItemList : ModuleItemList ModuleItem
  1. names1 を ModuleItemList の VarDeclaredNames とする。
  2. names2 を ModuleItem の VarDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 ModuleItem : ImportDeclaration
  1. 新しい空の List を返す。
 ModuleItem : ExportDeclaration
  1. ExportDeclaration が export VariableStatement であるなら、ExportDeclaration の BoundNames を返す。
  2. 新しい空の List を返す。

8.2.7 Static Semantics: VarScopedDeclarations

The syntax-directed operation VarScopedDeclarations takes no arguments and returns a List of Parse Nodes. It is defined piecewise over the following productions:

Statement : EmptyStatement ExpressionStatement ContinueStatement BreakStatement ReturnStatement ThrowStatement DebuggerStatement
  1. 新しい空の List を返す。
 Block : { }
  1. 新しい空の List を返す。
 StatementList : StatementList StatementListItem
  1. declarations1 を StatementList の VarScopedDeclarations とする。
  2. declarations2 を StatementListItem の VarScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 StatementListItem : Declaration
  1. 新しい空の List を返す。
 VariableDeclarationList : VariableDeclaration
  1. « VariableDeclaration » を返す。
 VariableDeclarationList : VariableDeclarationList , VariableDeclaration
  1. declarations1 を VariableDeclarationList の VarScopedDeclarations とする。
  2. declarations1 と « VariableDeclaration » の list-concatenation を返す。
 IfStatement : if ( Expression ) Statement else Statement
  1. declarations1 を最初の Statement の VarScopedDeclarations とする。
  2. declarations2 を 2 番目の Statement の VarScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 IfStatement : if ( Expression ) Statement
  1. Statement の VarScopedDeclarations を返す。
 DoWhileStatement : do Statement while ( Expression ) ;
  1. Statement の VarScopedDeclarations を返す。
 WhileStatement : while ( Expression ) Statement
  1. Statement の VarScopedDeclarations を返す。
 ForStatement : for ( Expressionopt ; Expressionopt ; Expressionopt ) Statement
  1. Statement の VarScopedDeclarations を返す。
 ForStatement : for ( var VariableDeclarationList ; Expressionopt ; Expressionopt ) Statement
  1. declarations1 を VariableDeclarationList の VarScopedDeclarations とする。
  2. declarations2 を Statement の VarScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 ForStatement : for ( LexicalDeclaration Expressionopt ; Expressionopt ) Statement
  1. Statement の VarScopedDeclarations を返す。
 ForInOfStatement : for ( LeftHandSideExpression in Expression ) Statement for ( ForDeclaration in Expression ) Statement for ( LeftHandSideExpression of AssignmentExpression ) Statement for ( ForDeclaration of AssignmentExpression ) Statement for await ( LeftHandSideExpression of AssignmentExpression ) Statement for await ( ForDeclaration of AssignmentExpression ) Statement
  1. Statement の VarScopedDeclarations を返す。
 ForInOfStatement : for ( var ForBinding in Expression ) Statement for ( var ForBinding of AssignmentExpression ) Statement for await ( var ForBinding of AssignmentExpression ) Statement
  1. declarations1 を « ForBinding » とする。
  2. declarations2 を Statement の VarScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 Note

この節は Annex B.3.5 によって拡張される。

 WithStatement : with ( Expression ) Statement
  1. Statement の VarScopedDeclarations を返す。
 SwitchStatement : switch ( Expression ) CaseBlock
  1. CaseBlock の VarScopedDeclarations を返す。
 CaseBlock : { }
  1. 新しい空の List を返す。
 CaseBlock : { CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、declarations1 を最初の CaseClauses の VarScopedDeclarations とする。
  2. Else, declarations1 を新しい空の List とする。
  3. declarations2 を DefaultClause の VarScopedDeclarations とする。
  4. 2 番目の CaseClauses が存在するなら、declarations3 を 2 番目の CaseClauses の VarScopedDeclarations とする。
  5. Else, declarations3 を新しい空の List とする。
  6. declarations1, declarations2, および declarations3 の list-concatenation を返す。
 CaseClauses : CaseClauses CaseClause
  1. declarations1 を CaseClauses の VarScopedDeclarations とする。
  2. declarations2 を CaseClause の VarScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 CaseClause : case Expression : StatementListopt
  1. StatementList が存在するなら、StatementList の VarScopedDeclarations を返す。
  2. 新しい空の List を返す。
 DefaultClause : default : StatementListopt
  1. StatementList が存在するなら、StatementList の VarScopedDeclarations を返す。
  2. 新しい空の List を返す。
 LabelledStatement : LabelIdentifier : LabelledItem
  1. LabelledItem の VarScopedDeclarations を返す。
 LabelledItem : FunctionDeclaration
  1. 新しい空の List を返す。
 TryStatement : try Block Catch
  1. declarations1 を Block の VarScopedDeclarations とする。
  2. declarations2 を Catch の VarScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 TryStatement : try Block Finally
  1. declarations1 を Block の VarScopedDeclarations とする。
  2. declarations2 を Finally の VarScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 TryStatement : try Block Catch Finally
  1. declarations1 を Block の VarScopedDeclarations とする。
  2. declarations2 を Catch の VarScopedDeclarations とする。
  3. declarations3 を Finally の VarScopedDeclarations とする。
  4. declarations1, declarations2, および declarations3 の list-concatenation を返す。
 Catch : catch ( CatchParameter ) Block
  1. Block の VarScopedDeclarations を返す。
 FunctionStatementList : [empty]
  1. 新しい空の List を返す。
 FunctionStatementList : StatementList
  1. StatementList の TopLevelVarScopedDeclarations を返す。
 ClassStaticBlockStatementList : [empty]
  1. 新しい空の List を返す。
 ClassStaticBlockStatementList : StatementList
  1. StatementList の TopLevelVarScopedDeclarations を返す。
 ConciseBody : ExpressionBody
  1. 新しい空の List を返す。
 AsyncConciseBody : ExpressionBody
  1. 新しい空の List を返す。
 Script : [empty]
  1. 新しい空の List を返す。
 ScriptBody : StatementList
  1. StatementList の TopLevelVarScopedDeclarations を返す。
 Module : [empty]
  1. 新しい空の List を返す。
 ModuleItemList : ModuleItemList ModuleItem
  1. declarations1 を ModuleItemList の VarScopedDeclarations とする。
  2. declarations2 を ModuleItem の VarScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 ModuleItem : ImportDeclaration
  1. 新しい空の List を返す。
 ModuleItem : ExportDeclaration
  1. ExportDeclaration が export VariableStatement であるなら、VariableStatement の VarScopedDeclarations を返す。
  2. 新しい空の List を返す。

8.2.8 Static Semantics: TopLevelLexicallyDeclaredNames

The syntax-directed operation TopLevelLexicallyDeclaredNames takes no arguments and returns a List of Strings. It is defined piecewise over the following productions:

StatementList : StatementList StatementListItem
  1. names1 を StatementList の TopLevelLexicallyDeclaredNames とする。
  2. names2 を StatementListItem の TopLevelLexicallyDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 StatementListItem : Statement
  1. 新しい空の List を返す。
 StatementListItem : Declaration
  1. Declaration が Declaration : HoistableDeclaration であるなら、
    1. 新しい空の List を返す。
  2. Declaration の BoundNames を返す。
 Note

function または script のトップレベルでは、function 宣言は lexical 宣言ではなく var 宣言のように扱われる。

8.2.9 Static Semantics: TopLevelLexicallyScopedDeclarations

The syntax-directed operation TopLevelLexicallyScopedDeclarations takes no arguments and returns a List of Parse Nodes. It is defined piecewise over the following productions:

StatementList : StatementList StatementListItem
  1. declarations1 を StatementList の TopLevelLexicallyScopedDeclarations とする。
  2. declarations2 を StatementListItem の TopLevelLexicallyScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 StatementListItem : Statement
  1. 新しい空の List を返す。
 StatementListItem : Declaration
  1. Declaration が Declaration : HoistableDeclaration であるなら、
    1. 新しい空の List を返す。
  2. « Declaration » を返す。

8.2.10 Static Semantics: TopLevelVarDeclaredNames

The syntax-directed operation TopLevelVarDeclaredNames takes no arguments and returns a List of Strings. It is defined piecewise over the following productions:

StatementList : StatementList StatementListItem
  1. names1 を StatementList の TopLevelVarDeclaredNames とする。
  2. names2 を StatementListItem の TopLevelVarDeclaredNames とする。
  3. names1 と names2 の list-concatenation を返す。
 StatementListItem : Declaration
  1. Declaration が Declaration : HoistableDeclaration であるなら、
    1. HoistableDeclaration の BoundNames を返す。
  2. 新しい空の List を返す。
 StatementListItem : Statement
  1. Statement が Statement : LabelledStatement であるなら、Statement の TopLevelVarDeclaredNames を返す。
  2. Statement の VarDeclaredNames を返す。
 Note

function または script のトップレベルでは、内側の function 宣言は var 宣言のように扱われる。

 LabelledStatement : LabelIdentifier : LabelledItem
  1. LabelledItem の TopLevelVarDeclaredNames を返す。
 LabelledItem : Statement
  1. Statement が Statement : LabelledStatement であるなら、Statement の TopLevelVarDeclaredNames を返す。
  2. Statement の VarDeclaredNames を返す。
 LabelledItem : FunctionDeclaration
  1. FunctionDeclaration の BoundNames を返す。

8.2.11 Static Semantics: TopLevelVarScopedDeclarations

The syntax-directed operation TopLevelVarScopedDeclarations takes no arguments and returns a List of Parse Nodes. It is defined piecewise over the following productions:

StatementList : StatementList StatementListItem
  1. declarations1 を StatementList の TopLevelVarScopedDeclarations とする。
  2. declarations2 を StatementListItem の TopLevelVarScopedDeclarations とする。
  3. declarations1 と declarations2 の list-concatenation を返す。
 StatementListItem : Statement
  1. Statement が Statement : LabelledStatement であるなら、Statement の TopLevelVarScopedDeclarations を返す。
  2. Statement の VarScopedDeclarations を返す。
 StatementListItem : Declaration
  1. Declaration が Declaration : HoistableDeclaration であるなら、
    1. declaration を HoistableDeclaration の DeclarationPart とする。
    2. « declaration » を返す。
  2. 新しい空の List を返す。
 LabelledStatement : LabelIdentifier : LabelledItem
  1. LabelledItem の TopLevelVarScopedDeclarations を返す。
 LabelledItem : Statement
  1. Statement が Statement : LabelledStatement であるなら、Statement の TopLevelVarScopedDeclarations を返す。
  2. Statement の VarScopedDeclarations を返す。
 LabelledItem : FunctionDeclaration
  1. « FunctionDeclaration » を返す。

8.3 ラベル

8.3.1 Static Semantics: ContainsDuplicateLabels

The syntax-directed operation ContainsDuplicateLabels takes argument labelSet (a List of Strings) and returns a Boolean. It is defined piecewise over the following productions:

Statement : VariableStatement EmptyStatement ExpressionStatement ContinueStatement BreakStatement ReturnStatement ThrowStatement DebuggerStatement Block : { } StatementListItem : Declaration
  1. false を返す。
 StatementList : StatementList StatementListItem
  1. hasDuplicates を、引数 labelSet を伴う StatementList の ContainsDuplicateLabels とする。
  2. hasDuplicates が true なら、true を返す。
  3. 引数 labelSet を伴う StatementListItem の ContainsDuplicateLabels を返す。
 IfStatement : if ( Expression ) Statement else Statement
  1. hasDuplicate を、引数 labelSet を伴う最初の Statement の ContainsDuplicateLabels とする。
  2. hasDuplicate が true なら、true を返す。
  3. 引数 labelSet を伴う 2 番目の Statement の ContainsDuplicateLabels を返す。
 IfStatement : if ( Expression ) Statement
  1. 引数 labelSet を伴う Statement の ContainsDuplicateLabels を返す。
 DoWhileStatement : do Statement while ( Expression ) ;
  1. 引数 labelSet を伴う Statement の ContainsDuplicateLabels を返す。
 WhileStatement : while ( Expression ) Statement
  1. 引数 labelSet を伴う Statement の ContainsDuplicateLabels を返す。
 ForStatement : for ( Expressionopt ; Expressionopt ; Expressionopt ) Statement for ( var VariableDeclarationList ; Expressionopt ; Expressionopt ) Statement for ( LexicalDeclaration Expressionopt ; Expressionopt ) Statement
  1. 引数 labelSet を伴う Statement の ContainsDuplicateLabels を返す。
 ForInOfStatement : for ( LeftHandSideExpression in Expression ) Statement for ( var ForBinding in Expression ) Statement for ( ForDeclaration in Expression ) Statement for ( LeftHandSideExpression of AssignmentExpression ) Statement for ( var ForBinding of AssignmentExpression ) Statement for ( ForDeclaration of AssignmentExpression ) Statement for await ( LeftHandSideExpression of AssignmentExpression ) Statement for await ( var ForBinding of AssignmentExpression ) Statement for await ( ForDeclaration of AssignmentExpression ) Statement
  1. 引数 labelSet を伴う Statement の ContainsDuplicateLabels を返す。
 Note

この節は Annex B.3.5 によって拡張される。

 WithStatement : with ( Expression ) Statement
  1. 引数 labelSet を伴う Statement の ContainsDuplicateLabels を返す。
 SwitchStatement : switch ( Expression ) CaseBlock
  1. 引数 labelSet を伴う CaseBlock の ContainsDuplicateLabels を返す。
 CaseBlock : { }
  1. false を返す。
 CaseBlock : { CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、
    1. 引数 labelSet を伴う最初の CaseClauses の ContainsDuplicateLabels が true なら、true を返す。
  2. 引数 labelSet を伴う DefaultClause の ContainsDuplicateLabels が true なら、true を返す。
  3. 2 番目の CaseClauses が存在しないなら、false を返す。
  4. 引数 labelSet を伴う 2 番目の CaseClauses の ContainsDuplicateLabels を返す。
 CaseClauses : CaseClauses CaseClause
  1. hasDuplicates を、引数 labelSet を伴う CaseClauses の ContainsDuplicateLabels とする。
  2. hasDuplicates が true なら、true を返す。
  3. 引数 labelSet を伴う CaseClause の ContainsDuplicateLabels を返す。
 CaseClause : case Expression : StatementListopt
  1. StatementList が存在するなら、引数 labelSet を伴う StatementList の ContainsDuplicateLabels を返す。
  2. false を返す。
 DefaultClause : default : StatementListopt
  1. StatementList が存在するなら、引数 labelSet を伴う StatementList の ContainsDuplicateLabels を返す。
  2. false を返す。
 LabelledStatement : LabelIdentifier : LabelledItem
  1. label を LabelIdentifier の StringValue とする。
  2. labelSet が label を含むなら、true を返す。
  3. newLabelSet を labelSet と « label » の list-concatenation とする。
  4. 引数 newLabelSet を伴う LabelledItem の ContainsDuplicateLabels を返す。
 LabelledItem : FunctionDeclaration
  1. false を返す。
 TryStatement : try Block Catch
  1. hasDuplicates を、引数 labelSet を伴う Block の ContainsDuplicateLabels とする。
  2. hasDuplicates が true なら、true を返す。
  3. 引数 labelSet を伴う Catch の ContainsDuplicateLabels を返す。
 TryStatement : try Block Finally
  1. hasDuplicates を、引数 labelSet を伴う Block の ContainsDuplicateLabels とする。
  2. hasDuplicates が true なら、true を返す。
  3. 引数 labelSet を伴う Finally の ContainsDuplicateLabels を返す。
 TryStatement : try Block Catch Finally
  1. 引数 labelSet を伴う Block の ContainsDuplicateLabels が true なら、true を返す。
  2. 引数 labelSet を伴う Catch の ContainsDuplicateLabels が true なら、true を返す。
  3. 引数 labelSet を伴う Finally の ContainsDuplicateLabels を返す。
 Catch : catch ( CatchParameter ) Block
  1. 引数 labelSet を伴う Block の ContainsDuplicateLabels を返す。
 FunctionStatementList : [empty]
  1. false を返す。
 ClassStaticBlockStatementList : [empty]
  1. false を返す。
 ModuleItemList : ModuleItemList ModuleItem
  1. hasDuplicates を、引数 labelSet を伴う ModuleItemList の ContainsDuplicateLabels とする。
  2. hasDuplicates が true なら、true を返す。
  3. 引数 labelSet を伴う ModuleItem の ContainsDuplicateLabels を返す。
 ModuleItem : ImportDeclaration ExportDeclaration
  1. false を返す。

8.3.2 Static Semantics: ContainsUndefinedBreakTarget

The syntax-directed operation ContainsUndefinedBreakTarget takes argument labelSet (a List of Strings) and returns a Boolean. It is defined piecewise over the following productions:

Statement : VariableStatement EmptyStatement ExpressionStatement ContinueStatement ReturnStatement ThrowStatement DebuggerStatement Block : { } StatementListItem : Declaration
  1. false を返す。
 StatementList : StatementList StatementListItem
  1. hasUndefinedLabels を、引数 labelSet を伴う StatementList の ContainsUndefinedBreakTarget とする。
  2. hasUndefinedLabels が true なら、true を返す。
  3. 引数 labelSet を伴う StatementListItem の ContainsUndefinedBreakTarget を返す。
 IfStatement : if ( Expression ) Statement else Statement
  1. hasUndefinedLabels を、引数 labelSet を伴う最初の Statement の ContainsUndefinedBreakTarget とする。
  2. hasUndefinedLabels が true なら、true を返す。
  3. 引数 labelSet を伴う 2 番目の Statement の ContainsUndefinedBreakTarget を返す。
 IfStatement : if ( Expression ) Statement
  1. 引数 labelSet を伴う Statement の ContainsUndefinedBreakTarget を返す。
 DoWhileStatement : do Statement while ( Expression ) ;
  1. 引数 labelSet を伴う Statement の ContainsUndefinedBreakTarget を返す。
 WhileStatement : while ( Expression ) Statement
  1. 引数 labelSet を伴う Statement の ContainsUndefinedBreakTarget を返す。
 ForStatement : for ( Expressionopt ; Expressionopt ; Expressionopt ) Statement for ( var VariableDeclarationList ; Expressionopt ; Expressionopt ) Statement for ( LexicalDeclaration Expressionopt ; Expressionopt ) Statement
  1. 引数 labelSet を伴う Statement の ContainsUndefinedBreakTarget を返す。
 ForInOfStatement : for ( LeftHandSideExpression in Expression ) Statement for ( var ForBinding in Expression ) Statement for ( ForDeclaration in Expression ) Statement for ( LeftHandSideExpression of AssignmentExpression ) Statement for ( var ForBinding of AssignmentExpression ) Statement for ( ForDeclaration of AssignmentExpression ) Statement for await ( LeftHandSideExpression of AssignmentExpression ) Statement for await ( var ForBinding of AssignmentExpression ) Statement for await ( ForDeclaration of AssignmentExpression ) Statement
  1. 引数 labelSet を伴う Statement の ContainsUndefinedBreakTarget を返す。
 Note

この節は Annex B.3.5 によって拡張される。

 BreakStatement : break ;
  1. false を返す。
 BreakStatement : break LabelIdentifier ;
  1. labelSet が LabelIdentifier の StringValue を含むなら、false を返す。
  2. true を返す。
 WithStatement : with ( Expression ) Statement
  1. 引数 labelSet を伴う Statement の ContainsUndefinedBreakTarget を返す。
 SwitchStatement : switch ( Expression ) CaseBlock
  1. 引数 labelSet を伴う CaseBlock の ContainsUndefinedBreakTarget を返す。
 CaseBlock : { }
  1. false を返す。
 CaseBlock : { CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、
    1. 引数 labelSet を伴う最初の CaseClauses の ContainsUndefinedBreakTarget が true なら、true を返す。
  2. 引数 labelSet を伴う DefaultClause の ContainsUndefinedBreakTarget が true なら、true を返す。
  3. 2 番目の CaseClauses が存在しないなら、false を返す。
  4. 引数 labelSet を伴う 2 番目の CaseClauses の ContainsUndefinedBreakTarget を返す。
 CaseClauses : CaseClauses CaseClause
  1. hasUndefinedLabels を、引数 labelSet を伴う CaseClauses の ContainsUndefinedBreakTarget とする。
  2. hasUndefinedLabels が true なら、true を返す。
  3. 引数 labelSet を伴う CaseClause の ContainsUndefinedBreakTarget を返す。
 CaseClause : case Expression : StatementListopt
  1. StatementList が存在するなら、引数 labelSet を伴う StatementList の ContainsUndefinedBreakTarget を返す。
  2. false を返す。
 DefaultClause : default : StatementListopt
  1. StatementList が存在するなら、引数 labelSet を伴う StatementList の ContainsUndefinedBreakTarget を返す。
  2. false を返す。
 LabelledStatement : LabelIdentifier : LabelledItem
  1. label を LabelIdentifier の StringValue とする。
  2. newLabelSet を labelSet と « label » の list-concatenation とする。
  3. 引数 newLabelSet を伴う LabelledItem の ContainsUndefinedBreakTarget を返す。
 LabelledItem : FunctionDeclaration
  1. false を返す。
 TryStatement : try Block Catch
  1. hasUndefinedLabels を、引数 labelSet を伴う Block の ContainsUndefinedBreakTarget とする。
  2. hasUndefinedLabels が true なら、true を返す。
  3. 引数 labelSet を伴う Catch の ContainsUndefinedBreakTarget を返す。
 TryStatement : try Block Finally
  1. hasUndefinedLabels を、引数 labelSet を伴う Block の ContainsUndefinedBreakTarget とする。
  2. hasUndefinedLabels が true なら、true を返す。
  3. 引数 labelSet を伴う Finally の ContainsUndefinedBreakTarget を返す。
 TryStatement : try Block Catch Finally
  1. 引数 labelSet を伴う Block の ContainsUndefinedBreakTarget が true なら、true を返す。
  2. 引数 labelSet を伴う Catch の ContainsUndefinedBreakTarget が true なら、true を返す。
  3. 引数 labelSet を伴う Finally の ContainsUndefinedBreakTarget を返す。
 Catch : catch ( CatchParameter ) Block
  1. 引数 labelSet を伴う Block の ContainsUndefinedBreakTarget を返す。
 FunctionStatementList : [empty]
  1. false を返す。
 ClassStaticBlockStatementList : [empty]
  1. false を返す。
 ModuleItemList : ModuleItemList ModuleItem
  1. hasUndefinedLabels を、引数 labelSet を伴う ModuleItemList の ContainsUndefinedBreakTarget とする。
  2. hasUndefinedLabels が true なら、true を返す。
  3. 引数 labelSet を伴う ModuleItem の ContainsUndefinedBreakTarget を返す。
 ModuleItem : ImportDeclaration ExportDeclaration
  1. false を返す。

8.3.3 Static Semantics: ContainsUndefinedContinueTarget

The syntax-directed operation ContainsUndefinedContinueTarget takes arguments iterationSet (a List of Strings) and labelSet (a List of Strings) and returns a Boolean. It is defined piecewise over the following productions:

Statement : VariableStatement EmptyStatement ExpressionStatement BreakStatement ReturnStatement ThrowStatement DebuggerStatement Block : { } StatementListItem : Declaration
  1. false を返す。
 Statement : BlockStatement
  1. 引数 iterationSet および « » を伴う BlockStatement の ContainsUndefinedContinueTarget を返す。
 BreakableStatement : IterationStatement
  1. newIterationSet を iterationSet と labelSet の list-concatenation とする。
  2. 引数 newIterationSet および « » を伴う IterationStatement の ContainsUndefinedContinueTarget を返す。
 StatementList : StatementList StatementListItem
  1. hasUndefinedLabels を、引数 iterationSet および « » を伴う StatementList の ContainsUndefinedContinueTarget とする。
  2. hasUndefinedLabels が true なら、true を返す。
  3. 引数 iterationSet および « » を伴う StatementListItem の ContainsUndefinedContinueTarget を返す。
 IfStatement : if ( Expression ) Statement else Statement
  1. hasUndefinedLabels を、引数 iterationSet および « » を伴う最初の Statement の ContainsUndefinedContinueTarget とする。
  2. hasUndefinedLabels が true なら、true を返す。
  3. 引数 iterationSet および « » を伴う 2 番目の Statement の ContainsUndefinedContinueTarget を返す。
 IfStatement : if ( Expression ) Statement
  1. 引数 iterationSet および « » を伴う Statement の ContainsUndefinedContinueTarget を返す。
 DoWhileStatement : do Statement while ( Expression ) ;
  1. 引数 iterationSet および « » を伴う Statement の ContainsUndefinedContinueTarget を返す。
 WhileStatement : while ( Expression ) Statement
  1. 引数 iterationSet および « » を伴う Statement の ContainsUndefinedContinueTarget を返す。
 ForStatement : for ( Expressionopt ; Expressionopt ; Expressionopt ) Statement for ( var VariableDeclarationList ; Expressionopt ; Expressionopt ) Statement for ( LexicalDeclaration Expressionopt ; Expressionopt ) Statement
  1. 引数 iterationSet および « » を伴う Statement の ContainsUndefinedContinueTarget を返す。
 ForInOfStatement : for ( LeftHandSideExpression in Expression ) Statement for ( var ForBinding in Expression ) Statement for ( ForDeclaration in Expression ) Statement for ( LeftHandSideExpression of AssignmentExpression ) Statement for ( var ForBinding of AssignmentExpression ) Statement for ( ForDeclaration of AssignmentExpression ) Statement for await ( LeftHandSideExpression of AssignmentExpression ) Statement for await ( var ForBinding of AssignmentExpression ) Statement for await ( ForDeclaration of AssignmentExpression ) Statement
  1. 引数 iterationSet および « » を伴う Statement の ContainsUndefinedContinueTarget を返す。
 Note

この節は Annex B.3.5 によって拡張される。

 ContinueStatement : continue ;
  1. false を返す。
 ContinueStatement : continue LabelIdentifier ;
  1. iterationSet が LabelIdentifier の StringValue を含むなら、false を返す。
  2. true を返す。
 WithStatement : with ( Expression ) Statement
  1. 引数 iterationSet および « » を伴う Statement の ContainsUndefinedContinueTarget を返す。
 SwitchStatement : switch ( Expression ) CaseBlock
  1. 引数 iterationSet および « » を伴う CaseBlock の ContainsUndefinedContinueTarget を返す。
 CaseBlock : { }
  1. false を返す。
 CaseBlock : { CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、
    1. 引数 iterationSet および « » を伴う最初の CaseClauses の ContainsUndefinedContinueTarget が true なら、true を返す。
  2. 引数 iterationSet および « » を伴う DefaultClause の ContainsUndefinedContinueTarget が true なら、true を返す。
  3. 2 番目の CaseClauses が存在しないなら、false を返す。
  4. 引数 iterationSet および « » を伴う 2 番目の CaseClauses の ContainsUndefinedContinueTarget を返す。
 CaseClauses : CaseClauses CaseClause
  1. hasUndefinedLabels を、引数 iterationSet および « » を伴う CaseClauses の ContainsUndefinedContinueTarget とする。
  2. hasUndefinedLabels が true なら、true を返す。
  3. 引数 iterationSet および « » を伴う CaseClause の ContainsUndefinedContinueTarget を返す。
 CaseClause : case Expression : StatementListopt
  1. StatementList が存在するなら、引数 iterationSet および « » を伴う StatementList の ContainsUndefinedContinueTarget を返す。
  2. false を返す。
 DefaultClause : default : StatementListopt
  1. StatementList が存在するなら、引数 iterationSet および « » を伴う StatementList の ContainsUndefinedContinueTarget を返す。
  2. false を返す。
 LabelledStatement : LabelIdentifier : LabelledItem
  1. label を LabelIdentifier の StringValue とする。
  2. newLabelSet を labelSet と « label » の list-concatenation とする。
  3. 引数 iterationSet および newLabelSet を伴う LabelledItem の ContainsUndefinedContinueTarget を返す。
 LabelledItem : FunctionDeclaration
  1. false を返す。
 TryStatement : try Block Catch
  1. hasUndefinedLabels を、引数 iterationSet および « » を伴う Block の ContainsUndefinedContinueTarget とする。
  2. hasUndefinedLabels が true なら、true を返す。
  3. 引数 iterationSet および « » を伴う Catch の ContainsUndefinedContinueTarget を返す。
 TryStatement : try Block Finally
  1. hasUndefinedLabels を、引数 iterationSet および « » を伴う Block の ContainsUndefinedContinueTarget とする。
  2. hasUndefinedLabels が true なら、true を返す。
  3. 引数 iterationSet および « » を伴う Finally の ContainsUndefinedContinueTarget を返す。
 TryStatement : try Block Catch Finally
  1. 引数 iterationSet および « » を伴う Block の ContainsUndefinedContinueTarget が true なら、true を返す。
  2. 引数 iterationSet および « » を伴う Catch の ContainsUndefinedContinueTarget が true なら、true を返す。
  3. 引数 iterationSet および « » を伴う Finally の ContainsUndefinedContinueTarget を返す。
 Catch : catch ( CatchParameter ) Block
  1. 引数 iterationSet および « » を伴う Block の ContainsUndefinedContinueTarget を返す。
 FunctionStatementList : [empty]
  1. false を返す。
 ClassStaticBlockStatementList : [empty]
  1. false を返す。
 ModuleItemList : ModuleItemList ModuleItem
  1. hasUndefinedLabels を、引数 iterationSet および « » を伴う ModuleItemList の ContainsUndefinedContinueTarget とする。
  2. hasUndefinedLabels が true なら、true を返す。
  3. 引数 iterationSet および « » を伴う ModuleItem の ContainsUndefinedContinueTarget を返す。
 ModuleItem : ImportDeclaration ExportDeclaration
  1. false を返す。

8.4 関数名推論

8.4.1 Static Semantics: HasName

The syntax-directed operation HasName takes no arguments and returns a Boolean. It is defined piecewise over the following productions:

PrimaryExpression : CoverParenthesizedExpressionAndArrowParameterList
  1. expr を、CoverParenthesizedExpressionAndArrowParameterList によって包摂される ParenthesizedExpression とする。
  2. expr の IsFunctionDefinition が false なら、false を返す。
  3. expr の HasName を返す。
 FunctionExpression : function ( FormalParameters ) { FunctionBody } GeneratorExpression : function * ( FormalParameters ) { GeneratorBody } AsyncGeneratorExpression : async function * ( FormalParameters ) { AsyncGeneratorBody } AsyncFunctionExpression : async function ( FormalParameters ) { AsyncFunctionBody } ArrowFunction : ArrowParameters => ConciseBody AsyncArrowFunction : async AsyncArrowBindingIdentifier => AsyncConciseBody CoverCallExpressionAndAsyncArrowHead => AsyncConciseBody ClassExpression : class ClassTail
  1. false を返す。
 FunctionExpression : function BindingIdentifier ( FormalParameters ) { FunctionBody } GeneratorExpression : function * BindingIdentifier ( FormalParameters ) { GeneratorBody } AsyncGeneratorExpression : async function * BindingIdentifier ( FormalParameters ) { AsyncGeneratorBody } AsyncFunctionExpression : async function BindingIdentifier ( FormalParameters ) { AsyncFunctionBody } ClassExpression : class BindingIdentifier ClassTail
  1. true を返す。

8.4.2 Static Semantics: IsFunctionDefinition

The syntax-directed operation IsFunctionDefinition takes no arguments and returns a Boolean. It is defined piecewise over the following productions:

PrimaryExpression : CoverParenthesizedExpressionAndArrowParameterList
  1. expr を、CoverParenthesizedExpressionAndArrowParameterList によって包摂される ParenthesizedExpression とする。
  2. expr の IsFunctionDefinition を返す。
 PrimaryExpression : this IdentifierReference Literal ArrayLiteral ObjectLiteral RegularExpressionLiteral TemplateLiteral MemberExpression : MemberExpression [ Expression ] MemberExpression . IdentifierName MemberExpression TemplateLiteral SuperProperty MetaProperty new MemberExpression Arguments MemberExpression . PrivateIdentifier NewExpression : new NewExpression LeftHandSideExpression : CallExpression OptionalExpression UpdateExpression : LeftHandSideExpression ++ LeftHandSideExpression -- ++ UnaryExpression -- UnaryExpression UnaryExpression : delete UnaryExpression void UnaryExpression typeof UnaryExpression + UnaryExpression - UnaryExpression ~ UnaryExpression ! UnaryExpression AwaitExpression ExponentiationExpression : UpdateExpression ** ExponentiationExpression MultiplicativeExpression : MultiplicativeExpression MultiplicativeOperator ExponentiationExpression AdditiveExpression : AdditiveExpression + MultiplicativeExpression AdditiveExpression - MultiplicativeExpression ShiftExpression : ShiftExpression << AdditiveExpression ShiftExpression >> AdditiveExpression ShiftExpression >>> AdditiveExpression RelationalExpression : RelationalExpression < ShiftExpression RelationalExpression > ShiftExpression RelationalExpression <= ShiftExpression RelationalExpression >= ShiftExpression RelationalExpression instanceof ShiftExpression RelationalExpression in ShiftExpression PrivateIdentifier in ShiftExpression EqualityExpression : EqualityExpression == RelationalExpression EqualityExpression != RelationalExpression EqualityExpression === RelationalExpression EqualityExpression !== RelationalExpression BitwiseANDExpression : BitwiseANDExpression & EqualityExpression BitwiseXORExpression : BitwiseXORExpression ^ BitwiseANDExpression BitwiseORExpression : BitwiseORExpression | BitwiseXORExpression LogicalANDExpression : LogicalANDExpression && BitwiseORExpression LogicalORExpression : LogicalORExpression || LogicalANDExpression CoalesceExpression : CoalesceExpressionHead ?? BitwiseORExpression ConditionalExpression : ShortCircuitExpression ? AssignmentExpression : AssignmentExpression AssignmentExpression : YieldExpression LeftHandSideExpression = AssignmentExpression LeftHandSideExpression AssignmentOperator AssignmentExpression LeftHandSideExpression &&= AssignmentExpression LeftHandSideExpression ||= AssignmentExpression LeftHandSideExpression ??= AssignmentExpression Expression : Expression , AssignmentExpression
  1. false を返す。
 AssignmentExpression : ArrowFunction AsyncArrowFunction FunctionExpression : function BindingIdentifieropt ( FormalParameters ) { FunctionBody } GeneratorExpression : function * BindingIdentifieropt ( FormalParameters ) { GeneratorBody } AsyncGeneratorExpression : async function * BindingIdentifieropt ( FormalParameters ) { AsyncGeneratorBody } AsyncFunctionExpression : async function BindingIdentifieropt ( FormalParameters ) { AsyncFunctionBody } ClassExpression : class BindingIdentifieropt ClassTail
  1. true を返す。

8.4.3 Static Semantics: IsAnonymousFunctionDefinition ( expr )

The abstract operation IsAnonymousFunctionDefinition takes argument expr (an AssignmentExpression Parse Node, an Initializer Parse Node, or an Expression Parse Node) and returns a Boolean. これは、その引数が名前を束縛しない関数定義であるかどうかを判定する。 It performs the following steps when called:

  1. expr の IsFunctionDefinition が false なら、false を返す。
  2. hasName を expr の HasName とする。
  3. hasName が true なら、false を返す。
  4. true を返す。

8.4.4 Static Semantics: IsIdentifierRef

The syntax-directed operation IsIdentifierRef takes no arguments and returns a Boolean. It is defined piecewise over the following productions:

PrimaryExpression : IdentifierReference
  1. true を返す。
 PrimaryExpression : this Literal ArrayLiteral ObjectLiteral FunctionExpression ClassExpression GeneratorExpression AsyncFunctionExpression AsyncGeneratorExpression RegularExpressionLiteral TemplateLiteral CoverParenthesizedExpressionAndArrowParameterList MemberExpression : MemberExpression [ Expression ] MemberExpression . IdentifierName MemberExpression TemplateLiteral SuperProperty MetaProperty new MemberExpression Arguments MemberExpression . PrivateIdentifier NewExpression : new NewExpression LeftHandSideExpression : CallExpression OptionalExpression
  1. false を返す。

8.4.5 Runtime Semantics: NamedEvaluation

The syntax-directed operation NamedEvaluation takes argument name (a property key or a Private Name) and returns either a normal completion containing a function object or an abrupt completion. It is defined piecewise over the following productions:

PrimaryExpression : CoverParenthesizedExpressionAndArrowParameterList
  1. expr を、CoverParenthesizedExpressionAndArrowParameterList によって包摂される ParenthesizedExpression とする。
  2. 引数 name を伴う expr の NamedEvaluation を ? 返す。
 ParenthesizedExpression : ( Expression )
  1. Assert: IsAnonymousFunctionDefinition(Expression) is true.
  2. 引数 name を伴う Expression の NamedEvaluation を ? 返す。
 FunctionExpression : function ( FormalParameters ) { FunctionBody }
  1. 引数 name を伴う FunctionExpression の InstantiateOrdinaryFunctionExpression を返す。
 GeneratorExpression : function * ( FormalParameters ) { GeneratorBody }
  1. 引数 name を伴う GeneratorExpression の InstantiateGeneratorFunctionExpression を返す。
 AsyncGeneratorExpression : async function * ( FormalParameters ) { AsyncGeneratorBody }
  1. 引数 name を伴う AsyncGeneratorExpression の InstantiateAsyncGeneratorFunctionExpression を返す。
 AsyncFunctionExpression : async function ( FormalParameters ) { AsyncFunctionBody }
  1. 引数 name を伴う AsyncFunctionExpression の InstantiateAsyncFunctionExpression を返す。
 ArrowFunction : ArrowParameters => ConciseBody
  1. 引数 name を伴う ArrowFunction の InstantiateArrowFunctionExpression を返す。
 AsyncArrowFunction : async AsyncArrowBindingIdentifier => AsyncConciseBody CoverCallExpressionAndAsyncArrowHead => AsyncConciseBody
  1. 引数 name を伴う AsyncArrowFunction の InstantiateAsyncArrowFunctionExpression を返す。
 ClassExpression : class ClassTail
  1. sourceText を ClassExpression に一致したソーステキストとする。
  2. 引数 undefined, name, および sourceText を伴う ClassTail の ClassDefinitionEvaluation を ? 返す。

8.5 Contains

8.5.1 Static Semantics: Contains

The syntax-directed operation Contains takes argument symbol (a grammar symbol) and returns a Boolean.

この仕様において、以下に列挙されていないすべての文法生成規則の選択肢は、暗黙に次の既定の Contains 定義を持つ:

  1. この Parse Node の各子ノード child について、次を行う
    1. child が symbol のインスタンスであるなら、true を返す。
    2. child が非終端記号のインスタンスであるなら、
      1. contained を child Contains symbol の結果とする。
      2. contained が true なら、true を返す。
  2. false を返す。
 FunctionDeclaration : function BindingIdentifier ( FormalParameters ) { FunctionBody } function ( FormalParameters ) { FunctionBody } FunctionExpression : function BindingIdentifieropt ( FormalParameters ) { FunctionBody } GeneratorDeclaration : function * BindingIdentifier ( FormalParameters ) { GeneratorBody } function * ( FormalParameters ) { GeneratorBody } GeneratorExpression : function * BindingIdentifieropt ( FormalParameters ) { GeneratorBody } AsyncGeneratorDeclaration : async function * BindingIdentifier ( FormalParameters ) { AsyncGeneratorBody } async function * ( FormalParameters ) { AsyncGeneratorBody } AsyncGeneratorExpression : async function * BindingIdentifieropt ( FormalParameters ) { AsyncGeneratorBody } AsyncFunctionDeclaration : async function BindingIdentifier ( FormalParameters ) { AsyncFunctionBody } async function ( FormalParameters ) { AsyncFunctionBody } AsyncFunctionExpression : async function BindingIdentifieropt ( FormalParameters ) { AsyncFunctionBody }
  1. false を返す。
 Note 1

部分構造に依存する静的意味規則は、一般に関数定義の内部を見ない。

 ClassTail : ClassHeritageopt { ClassBody }
  1. symbol が ClassBody なら、true を返す。
  2. symbol が ClassHeritage なら、
    1. ClassHeritage が存在するなら、true を返す。
    2. false を返す。
  3. ClassHeritage が存在するなら、
    1. ClassHeritage Contains symbol が true なら、true を返す。
  4. 引数 symbol を伴う ClassBody の ComputedPropertyContains の結果を返す。
 Note 2

部分構造に依存する静的意味規則は、一般に PropertyName を除いて class body の内部を見ない。

 ClassStaticBlock : static { ClassStaticBlockBody }
  1. false を返す。
 Note 3

部分構造に依存する静的意味規則は、一般に static 初期化ブロックの内部を見ない。

 ArrowFunction : ArrowParameters => ConciseBody
  1. symbol が NewTarget, SuperProperty, SuperCall, super, または this のいずれでもないなら、false を返す。
  2. ArrowParameters Contains symbol が true なら、true を返す。
  3. ConciseBody Contains symbol を返す。
 ArrowParameters : CoverParenthesizedExpressionAndArrowParameterList
  1. formals を、CoverParenthesizedExpressionAndArrowParameterList によって包摂される ArrowFormalParameters とする。
  2. formals Contains symbol を返す。
 AsyncArrowFunction : async AsyncArrowBindingIdentifier => AsyncConciseBody
  1. symbol が NewTarget, SuperProperty, SuperCall, super, または this のいずれでもないなら、false を返す。
  2. AsyncConciseBody Contains symbol を返す。
 AsyncArrowFunction : CoverCallExpressionAndAsyncArrowHead => AsyncConciseBody
  1. symbol が NewTarget, SuperProperty, SuperCall, super, または this のいずれでもないなら、false を返す。
  2. head を、CoverCallExpressionAndAsyncArrowHead によって包摂される AsyncArrowHead とする。
  3. head Contains symbol が true なら、true を返す。
  4. AsyncConciseBody Contains symbol を返す。
 Note 4

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

 PropertyDefinition : MethodDefinition
  1. symbol が MethodDefinition なら、true を返す。
  2. 引数 symbol を伴う MethodDefinition の ComputedPropertyContains の結果を返す。
 LiteralPropertyName : IdentifierName
  1. false を返す。
 MemberExpression : MemberExpression . IdentifierName
  1. MemberExpression Contains symbol が true なら、true を返す。
  2. false を返す。
 SuperProperty : super . IdentifierName
  1. symbol が ReservedWord super なら、true を返す。
  2. false を返す。
 CallExpression : CallExpression . IdentifierName
  1. CallExpression Contains symbol が true なら、true を返す。
  2. false を返す。
 OptionalChain : ?. IdentifierName
  1. false を返す。
 OptionalChain : OptionalChain . IdentifierName
  1. OptionalChain Contains symbol が true なら、true を返す。
  2. false を返す。

8.5.2 Static Semantics: ComputedPropertyContains

The syntax-directed operation ComputedPropertyContains takes argument symbol (a grammar symbol) and returns a Boolean. It is defined piecewise over the following productions:

ClassElementName : PrivateIdentifier PropertyName : LiteralPropertyName
  1. false を返す。
 PropertyName : ComputedPropertyName
  1. ComputedPropertyName Contains symbol の結果を返す。
 MethodDefinition : ClassElementName ( UniqueFormalParameters ) { FunctionBody } get ClassElementName ( ) { FunctionBody } set ClassElementName ( PropertySetParameterList ) { FunctionBody }
  1. 引数 symbol を伴う ClassElementName の ComputedPropertyContains の結果を返す。
 GeneratorMethod : * ClassElementName ( UniqueFormalParameters ) { GeneratorBody }
  1. 引数 symbol を伴う ClassElementName の ComputedPropertyContains の結果を返す。
 AsyncGeneratorMethod : async * ClassElementName ( UniqueFormalParameters ) { AsyncGeneratorBody }
  1. 引数 symbol を伴う ClassElementName の ComputedPropertyContains の結果を返す。
 ClassElementList : ClassElementList ClassElement
  1. inList を、引数 symbol を伴う ClassElementList の ComputedPropertyContains とする。
  2. inList が true なら、true を返す。
  3. 引数 symbol を伴う ClassElement の ComputedPropertyContains の結果を返す。
 ClassElement : ClassStaticBlock
  1. false を返す。
 ClassElement : ;
  1. false を返す。
 AsyncMethod : async ClassElementName ( UniqueFormalParameters ) { AsyncFunctionBody }
  1. 引数 symbol を伴う ClassElementName の ComputedPropertyContains の結果を返す。
 FieldDefinition : ClassElementName Initializeropt
  1. 引数 symbol を伴う ClassElementName の ComputedPropertyContains の結果を返す。

8.6 その他

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

8.6.1 Runtime Semantics: InstantiateFunctionObject

The syntax-directed operation InstantiateFunctionObject takes arguments env (an Environment Record) and privateEnv (a PrivateEnvironment Record or null) and returns an ECMAScript function object. It is defined piecewise over the following productions:

FunctionDeclaration : function BindingIdentifier ( FormalParameters ) { FunctionBody } function ( FormalParameters ) { FunctionBody }
  1. 引数 env および privateEnv を伴う FunctionDeclaration の InstantiateOrdinaryFunctionObject を返す。
 GeneratorDeclaration : function * BindingIdentifier ( FormalParameters ) { GeneratorBody } function * ( FormalParameters ) { GeneratorBody }
  1. 引数 env および privateEnv を伴う GeneratorDeclaration の InstantiateGeneratorFunctionObject を返す。
 AsyncGeneratorDeclaration : async function * BindingIdentifier ( FormalParameters ) { AsyncGeneratorBody } async function * ( FormalParameters ) { AsyncGeneratorBody }
  1. 引数 env および privateEnv を伴う AsyncGeneratorDeclaration の InstantiateAsyncGeneratorFunctionObject を返す。
 AsyncFunctionDeclaration : async function BindingIdentifier ( FormalParameters ) { AsyncFunctionBody } async function ( FormalParameters ) { AsyncFunctionBody }
  1. 引数 env および privateEnv を伴う AsyncFunctionDeclaration の InstantiateAsyncFunctionObject を返す。

8.6.2 Runtime Semantics: BindingInitialization

The syntax-directed operation BindingInitialization takes arguments value (an ECMAScript language value) and environment (an Environment Record or undefined) and returns either a normal completion containing unused or an abrupt completion.

Note

environment に undefined が渡されるのは、初期化値の代入に PutValue 操作を使用すべきことを示すためである。これは var 文や、一部の非 strict 関数の仮引数リストの場合に該当する（10.2.11 を参照）。これらの場合、初期化子の評価に先立って lexical binding が hoist され、事前初期化される。

It is defined piecewise over the following productions:

BindingIdentifier : Identifier
  1. name を Identifier の StringValue とする。
  2. ? InitializeBoundName(name, value, environment) を返す。
 BindingIdentifier : yield
  1. ? InitializeBoundName("yield", value, environment) を返す。
 BindingIdentifier : await
  1. ? InitializeBoundName("await", value, environment) を返す。
 BindingPattern : ObjectBindingPattern
  1. ? RequireObjectCoercible(value) を実行する。
  2. 引数 value および environment を伴う ObjectBindingPattern の BindingInitialization を ? 返す。
 BindingPattern : ArrayBindingPattern
  1. iteratorRecord を ? GetIterator(value, sync) とする。
  2. result を、引数 iteratorRecord および environment を伴う ArrayBindingPattern の IteratorBindingInitialization の Completion とする。
  3. iteratorRecord.[[Done]] が false なら、? IteratorClose(iteratorRecord, result) を返す。
  4. ? result を返す。
 ObjectBindingPattern : { }
  1. unused を返す。
 ObjectBindingPattern : { BindingPropertyList } { BindingPropertyList , }
  1. 引数 value および environment を伴う BindingPropertyList の PropertyBindingInitialization を ? 実行する。
  2. unused を返す。
 ObjectBindingPattern : { BindingRestProperty }
  1. excludedNames を新しい空の List とする。
  2. 引数 value, environment, および excludedNames を伴う BindingRestProperty の RestBindingInitialization を ? 返す。
 ObjectBindingPattern : { BindingPropertyList , BindingRestProperty }
  1. excludedNames を、引数 value および environment を伴う BindingPropertyList の PropertyBindingInitialization の ? とする。
  2. 引数 value, environment, および excludedNames を伴う BindingRestProperty の RestBindingInitialization を ? 返す。

8.6.2.1 InitializeBoundName ( name, value, environment )

The abstract operation InitializeBoundName takes arguments name (a String), value (an ECMAScript language value), and environment (an Environment Record or undefined) and returns either a normal completion containing unused or an abrupt completion. It performs the following steps when called:

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

8.6.3 Runtime Semantics: IteratorBindingInitialization

The syntax-directed operation IteratorBindingInitialization takes arguments iteratorRecord (an Iterator Record) and environment (an Environment Record or undefined) and returns either a normal completion containing unused or an abrupt completion.

Note

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

It is defined piecewise over the following productions:

ArrayBindingPattern : [ ]
  1. unused を返す。
 ArrayBindingPattern : [ Elision ]
  1. 引数 iteratorRecord を伴う Elision の IteratorDestructuringAssignmentEvaluation を ? 返す。
 ArrayBindingPattern : [ Elisionopt BindingRestElement ]
  1. Elision が存在するなら、
    1. 引数 iteratorRecord を伴う Elision の IteratorDestructuringAssignmentEvaluation を ? 実行する。
  2. 引数 iteratorRecord および environment を伴う BindingRestElement の IteratorBindingInitialization を ? 返す。
 ArrayBindingPattern : [ BindingElementList , Elision ]
  1. 引数 iteratorRecord および environment を伴う BindingElementList の IteratorBindingInitialization を ? 実行する。
  2. 引数 iteratorRecord を伴う Elision の IteratorDestructuringAssignmentEvaluation を ? 返す。
 ArrayBindingPattern : [ BindingElementList , Elisionopt BindingRestElement ]
  1. 引数 iteratorRecord および environment を伴う BindingElementList の IteratorBindingInitialization を ? 実行する。
  2. Elision が存在するなら、
    1. 引数 iteratorRecord を伴う Elision の IteratorDestructuringAssignmentEvaluation を ? 実行する。
  3. 引数 iteratorRecord および environment を伴う BindingRestElement の IteratorBindingInitialization を ? 返す。
 BindingElementList : BindingElementList , BindingElisionElement
  1. 引数 iteratorRecord および environment を伴う BindingElementList の IteratorBindingInitialization を ? 実行する。
  2. 引数 iteratorRecord および environment を伴う BindingElisionElement の IteratorBindingInitialization を ? 返す。
 BindingElisionElement : Elision BindingElement
  1. 引数 iteratorRecord を伴う Elision の IteratorDestructuringAssignmentEvaluation を ? 実行する。
  2. 引数 iteratorRecord および environment を伴う BindingElement の IteratorBindingInitialization を ? 返す。
 SingleNameBinding : BindingIdentifier Initializeropt
  1. bindingId を BindingIdentifier の StringValue とする。
  2. lhs を ? ResolveBinding(bindingId, environment) とする。
  3. v を undefined とする。
  4. iteratorRecord.[[Done]] が false なら、
    1. next を ? IteratorStepValue(iteratorRecord) とする。
    2. next が done でないなら、
      1. v を next に設定する。
  5. Initializer が存在し、かつ v が undefined であるなら、
    1. IsAnonymousFunctionDefinition(Initializer) が true なら、
      1. 引数 bindingId を伴う Initializer の NamedEvaluation を ? v に設定する。
    2. Else,
      1. defaultValue を Initializer の ? Evaluation とする。
      2. v を ? GetValue(defaultValue) に設定する。
  6. environment が undefined なら、? PutValue(lhs, v) を返す。
  7. ? InitializeReferencedBinding(lhs, v) を返す。
 BindingElement : BindingPattern Initializeropt
  1. v を undefined とする。
  2. iteratorRecord.[[Done]] が false なら、
    1. next を ? IteratorStepValue(iteratorRecord) とする。
    2. next が done でないなら、
      1. v を next に設定する。
  3. Initializer が存在し、かつ v が undefined であるなら、
    1. defaultValue を Initializer の ? Evaluation とする。
    2. v を ? GetValue(defaultValue) に設定する。
  4. 引数 v および environment を伴う BindingPattern の BindingInitialization を ? 返す。
 BindingRestElement : ... BindingIdentifier
  1. lhs を ? ResolveBinding(BindingIdentifier の StringValue, environment) とする。
  2. array を ! ArrayCreate(0) とする。
  3. n を 0 とする。
  4. 繰り返す
    1. next を done とする。
    2. iteratorRecord.[[Done]] が false なら、
      1. next を ? IteratorStepValue(iteratorRecord) に設定する。
    3. next が done なら、
      1. environment が undefined なら、? PutValue(lhs, array) を返す。
      2. ? InitializeReferencedBinding(lhs, array) を返す。
    4. ! CreateDataPropertyOrThrow(array, ! ToString(𝔽(n)), next) を実行する。
    5. n を n + 1 に設定する。
 BindingRestElement : ... BindingPattern
  1. array を ! ArrayCreate(0) とする。
  2. n を 0 とする。
  3. 繰り返す
    1. next を done とする。
    2. iteratorRecord.[[Done]] が false なら、
      1. next を ? IteratorStepValue(iteratorRecord) に設定する。
    3. next が done なら、
      1. 引数 array および environment を伴う BindingPattern の BindingInitialization を ? 返す。
    4. ! CreateDataPropertyOrThrow(array, ! ToString(𝔽(n)), next) を実行する。
    5. n を n + 1 に設定する。
 FormalParameters : [empty]
  1. unused を返す。
 FormalParameters : FormalParameterList , FunctionRestParameter
  1. 引数 iteratorRecord および environment を伴う FormalParameterList の IteratorBindingInitialization を ? 実行する。
  2. 引数 iteratorRecord および environment を伴う FunctionRestParameter の IteratorBindingInitialization を ? 返す。
 FormalParameterList : FormalParameterList , FormalParameter
  1. 引数 iteratorRecord および environment を伴う FormalParameterList の IteratorBindingInitialization を ? 実行する。
  2. 引数 iteratorRecord および environment を伴う FormalParameter の IteratorBindingInitialization を ? 返す。
 ArrowParameters : BindingIdentifier
  1. v を undefined とする。
  2. Assert: iteratorRecord.[[Done]] is false.
  3. next を ? IteratorStepValue(iteratorRecord) とする。
  4. next が done でないなら、
    1. v を next に設定する。
  5. 引数 v および environment を伴う BindingIdentifier の BindingInitialization を ? 返す。
 ArrowParameters : CoverParenthesizedExpressionAndArrowParameterList
  1. formals を、CoverParenthesizedExpressionAndArrowParameterList によって包摂される ArrowFormalParameters とする。
  2. 引数 iteratorRecord および environment を伴う formals の IteratorBindingInitialization を ? 返す。
 AsyncArrowBindingIdentifier : BindingIdentifier
  1. v を undefined とする。
  2. Assert: iteratorRecord.[[Done]] is false.
  3. next を ? IteratorStepValue(iteratorRecord) とする。
  4. next が done でないなら、
    1. v を next に設定する。
  5. 引数 v および environment を伴う BindingIdentifier の BindingInitialization を ? 返す。

8.6.4 Static Semantics: AssignmentTargetType

The syntax-directed operation AssignmentTargetType takes no arguments and returns simple, web-compat, or invalid. It is defined piecewise over the following productions:

IdentifierReference : Identifier
  1. IsStrict(this IdentifierReference) が true であり、かつ Identifier の StringValue が "eval" または "arguments" のいずれかであるなら、invalid を返す。
  2. simple を返す。
 IdentifierReference : yield await CallExpression : CallExpression [ Expression ] CallExpression . IdentifierName CallExpression . PrivateIdentifier MemberExpression : MemberExpression [ Expression ] MemberExpression . IdentifierName SuperProperty MemberExpression . PrivateIdentifier
  1. simple を返す。
 PrimaryExpression : CoverParenthesizedExpressionAndArrowParameterList
  1. expr を、CoverParenthesizedExpressionAndArrowParameterList によって包摂される ParenthesizedExpression とする。
  2. expr の AssignmentTargetType を返す。
 CallExpression : CoverCallExpressionAndAsyncArrowHead CallExpression Arguments
  1. Normative Optional
    ホストがウェブブラウザであるか、または 関数呼び出し代入ターゲットに対する実行時エラー をサポートし、かつ IsStrict(this CallExpression) が false であるなら、
    1. web-compat を返す。
  2. invalid を返す。
 PrimaryExpression : this Literal ArrayLiteral ObjectLiteral FunctionExpression ClassExpression GeneratorExpression AsyncFunctionExpression AsyncGeneratorExpression RegularExpressionLiteral TemplateLiteral CallExpression : SuperCall ImportCall CallExpression TemplateLiteral NewExpression : new NewExpression MemberExpression : MemberExpression TemplateLiteral new MemberExpression Arguments NewTarget : new . target ImportMeta : import . meta LeftHandSideExpression : OptionalExpression UpdateExpression : LeftHandSideExpression ++ LeftHandSideExpression -- ++ UnaryExpression -- UnaryExpression UnaryExpression : delete UnaryExpression void UnaryExpression typeof UnaryExpression + UnaryExpression - UnaryExpression ~ UnaryExpression ! UnaryExpression AwaitExpression ExponentiationExpression : UpdateExpression ** ExponentiationExpression MultiplicativeExpression : MultiplicativeExpression MultiplicativeOperator ExponentiationExpression AdditiveExpression : AdditiveExpression + MultiplicativeExpression AdditiveExpression - MultiplicativeExpression ShiftExpression : ShiftExpression << AdditiveExpression ShiftExpression >> AdditiveExpression ShiftExpression >>> AdditiveExpression RelationalExpression : RelationalExpression < ShiftExpression RelationalExpression > ShiftExpression RelationalExpression <= ShiftExpression RelationalExpression >= ShiftExpression RelationalExpression instanceof ShiftExpression RelationalExpression in ShiftExpression PrivateIdentifier in ShiftExpression EqualityExpression : EqualityExpression == RelationalExpression EqualityExpression != RelationalExpression EqualityExpression === RelationalExpression EqualityExpression !== RelationalExpression BitwiseANDExpression : BitwiseANDExpression & EqualityExpression BitwiseXORExpression : BitwiseXORExpression ^ BitwiseANDExpression BitwiseORExpression : BitwiseORExpression | BitwiseXORExpression LogicalANDExpression : LogicalANDExpression && BitwiseORExpression LogicalORExpression : LogicalORExpression || LogicalANDExpression CoalesceExpression : CoalesceExpressionHead ?? BitwiseORExpression ConditionalExpression : ShortCircuitExpression ? AssignmentExpression : AssignmentExpression AssignmentExpression : YieldExpression ArrowFunction AsyncArrowFunction LeftHandSideExpression = AssignmentExpression LeftHandSideExpression AssignmentOperator AssignmentExpression LeftHandSideExpression &&= AssignmentExpression LeftHandSideExpression ||= AssignmentExpression LeftHandSideExpression ??= AssignmentExpression Expression : Expression , AssignmentExpression
  1. invalid を返す。

8.6.5 Static Semantics: PropName

The syntax-directed operation PropName takes no arguments and returns a String or empty. It is defined piecewise over the following productions:

PropertyDefinition : IdentifierReference
  1. IdentifierReference の StringValue を返す。
 PropertyDefinition : ... AssignmentExpression
  1. empty を返す。
 PropertyDefinition : PropertyName : AssignmentExpression
  1. PropertyName の PropName を返す。
 LiteralPropertyName : IdentifierName AttributeKey : IdentifierName
  1. IdentifierName の StringValue を返す。
 LiteralPropertyName : StringLiteral AttributeKey : StringLiteral
  1. StringLiteral の SV を返す。
 LiteralPropertyName : NumericLiteral
  1. nbr を NumericLiteral の NumericValue とする。
  2. ! ToString(nbr) を返す。
 ComputedPropertyName : [ AssignmentExpression ]
  1. empty を返す。
 MethodDefinition : ClassElementName ( UniqueFormalParameters ) { FunctionBody } get ClassElementName ( ) { FunctionBody } set ClassElementName ( PropertySetParameterList ) { FunctionBody }
  1. ClassElementName の PropName を返す。
 GeneratorMethod : * ClassElementName ( UniqueFormalParameters ) { GeneratorBody }
  1. ClassElementName の PropName を返す。
 AsyncGeneratorMethod : async * ClassElementName ( UniqueFormalParameters ) { AsyncGeneratorBody }
  1. ClassElementName の PropName を返す。
 ClassElement : ClassStaticBlock
  1. empty を返す。
 ClassElement : ;
  1. empty を返す。
 AsyncMethod : async ClassElementName ( UniqueFormalParameters ) { AsyncFunctionBody }
  1. ClassElementName の PropName を返す。
 FieldDefinition : ClassElementName Initializeropt
  1. ClassElementName の PropName を返す。
 ClassElementName : PrivateIdentifier
  1. empty を返す。