8 構文指向操作

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

8.1 Runtime Semantics: Evaluation

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

Note
この操作の定義は、この仕様の“ECMAScript Language”節全体に分散しています。各定義は、関連するproductionsの定義出現の後に現れます。

8.2 Scope Analysis

8.2.1 Static Semantics: BoundNames

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

Note

"*default*"は、この仕様内で、moduleのdefault exportが別の名前を持たない場合の合成名として使用されます。moduleの[[Environment]]内にはその名前のentryが作成され、対応する値を保持します。また、そのmoduleについてResolveExport ( exportName [ , resolveSet ] )を呼び出して"default"という名前のexportを解決すると、[[BindingName]]が"*default*"であるResolvedBinding Recordが返され、それがmoduleの[[Environment]]内で上記の値に解決されます。これは、anonymous default exportsを他のexportと同様に解決できるようにするための仕様上の便宜のためだけに行われます。この"*default*"文字列は、ECMAScriptコードにもmodule linking algorithmにも決してアクセス可能ではありません。

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 を返す。
 UsingDeclaration : using BindingList ; AwaitUsingDeclaration : CoverAwaitExpressionAndAwaitUsingDeclarationHead 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によってcoverされる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によってcoverされる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. declNamesをHoistableDeclarationのBoundNamesとする。
  2. declNamesが要素"*default*"を含まないなら、"*default*"をdeclNamesへappendする。
  3. declNamesを返す。
 ExportDeclaration : export default ClassDeclaration
  1. declNamesをClassDeclarationのBoundNamesとする。
  2. declNamesが要素"*default*"を含まないなら、"*default*"をdeclNamesへappendする。
  3. declNamesを返す。
 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 を返す。
 UsingDeclaration : using BindingList ; AwaitUsingDeclaration : CoverAwaitExpressionAndAwaitUsingDeclarationHead BindingList ;
  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をconstant declarationとして扱う必要はありません。なぜなら、moduleのdefault objectを参照するために使用される内部束縛名への代入を許可する構文は存在しないからです。

8.2.4 Static Semantics: IsUsingDeclaration

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

LexicalDeclaration : LetOrConst BindingList ;
  1. false を返す。
 UsingDeclaration : using BindingList ; AwaitUsingDeclaration : CoverAwaitExpressionAndAwaitUsingDeclarationHead BindingList ;
  1. true を返す。
 ForDeclaration : LetOrConst ForBinding
  1. false を返す。
 ForDeclaration : using ForBinding await using ForBinding
  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 を返す。

8.2.5 Static Semantics: IsAwaitUsingDeclaration

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

LexicalDeclaration : LetOrConst BindingList ;
  1. false を返す。
 UsingDeclaration : using BindingList ;
  1. false を返す。
 AwaitUsingDeclaration : CoverAwaitExpressionAndAwaitUsingDeclarationHead BindingList ;
  1. true を返す。
 ForDeclaration : LetOrConst ForBinding
  1. false を返す。
 ForDeclaration : using ForBinding
  1. false を返す。
 ForDeclaration : await using ForBinding
  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 を返す。

8.2.6 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. そうでなければ、names1を新しい空のListとする。
  3. names2をDefaultClauseのLexicallyDeclaredNamesとする。
  4. 2番目のCaseClausesが存在するなら、names3を2番目のCaseClausesのLexicallyDeclaredNamesとする。
  5. そうでなければ、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のtop levelでは、function declarationsはlexical declarationsのようにではなく、var declarationsのように扱われます。

 Note 2

ModuleのLexicallyDeclaredNamesには、そのすべてのimported bindingsの名前が含まれます。

 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のtop levelでは、function declarationsはvar declarationsのようにではなく、lexical declarationsのように扱われます。

8.2.7 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. decls1をStatementListのLexicallyScopedDeclarationsとする。
  2. decls2をStatementListItemのLexicallyScopedDeclarationsとする。
  3. decls1とdecls2の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が存在するなら、decls1を最初のCaseClausesのLexicallyScopedDeclarationsとする。
  2. そうでなければ、decls1を新しい空のListとする。
  3. decls2をDefaultClauseのLexicallyScopedDeclarationsとする。
  4. 2番目のCaseClausesが存在するなら、decls3を2番目のCaseClausesのLexicallyScopedDeclarationsとする。
  5. そうでなければ、decls3を新しい空のListとする。
  6. decls1、decls2、およびdecls3のlist-concatenationを返す。
 CaseClauses : CaseClauses CaseClause
  1. decls1をCaseClausesのLexicallyScopedDeclarationsとする。
  2. decls2をCaseClauseのLexicallyScopedDeclarationsとする。
  3. decls1とdecls2の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. decls1をModuleItemListのLexicallyScopedDeclarationsとする。
  2. decls2をModuleItemのLexicallyScopedDeclarationsとする。
  3. decls1とdecls2の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.8 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. そうでなければ、names1を新しい空のListとする。
  3. names2をDefaultClauseのVarDeclaredNamesとする。
  4. 2番目のCaseClausesが存在するなら、names3を2番目のCaseClausesのVarDeclaredNamesとする。
  5. そうでなければ、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.9 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. decls1をStatementListのVarScopedDeclarationsとする。
  2. decls2をStatementListItemのVarScopedDeclarationsとする。
  3. decls1とdecls2のlist-concatenationを返す。
 StatementListItem : Declaration
  1. 新しい空のListを返す。
 VariableDeclarationList : VariableDeclaration
  1. « VariableDeclaration »を返す。
 VariableDeclarationList : VariableDeclarationList , VariableDeclaration
  1. decls1をVariableDeclarationListのVarScopedDeclarationsとする。
  2. decls1と« VariableDeclaration »のlist-concatenationを返す。
 IfStatement : if ( Expression ) Statement else Statement
  1. decls1を最初のStatementのVarScopedDeclarationsとする。
  2. decls2を2番目のStatementのVarScopedDeclarationsとする。
  3. decls1とdecls2の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. decls1をVariableDeclarationListのVarScopedDeclarationsとする。
  2. decls2をStatementのVarScopedDeclarationsとする。
  3. decls1とdecls2の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. decls1を« ForBinding »とする。
  2. decls2をStatementのVarScopedDeclarationsとする。
  3. decls1とdecls2の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が存在するなら、decls1を最初のCaseClausesのVarScopedDeclarationsとする。
  2. そうでなければ、decls1を新しい空のListとする。
  3. decls2をDefaultClauseのVarScopedDeclarationsとする。
  4. 2番目のCaseClausesが存在するなら、decls3を2番目のCaseClausesのVarScopedDeclarationsとする。
  5. そうでなければ、decls3を新しい空のListとする。
  6. decls1、decls2、およびdecls3のlist-concatenationを返す。
 CaseClauses : CaseClauses CaseClause
  1. decls1をCaseClausesのVarScopedDeclarationsとする。
  2. decls2をCaseClauseのVarScopedDeclarationsとする。
  3. decls1とdecls2の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. decls1をBlockのVarScopedDeclarationsとする。
  2. decls2をCatchのVarScopedDeclarationsとする。
  3. decls1とdecls2のlist-concatenationを返す。
 TryStatement : try Block Finally
  1. decls1をBlockのVarScopedDeclarationsとする。
  2. decls2をFinallyのVarScopedDeclarationsとする。
  3. decls1とdecls2のlist-concatenationを返す。
 TryStatement : try Block Catch Finally
  1. decls1をBlockのVarScopedDeclarationsとする。
  2. decls2をCatchのVarScopedDeclarationsとする。
  3. decls3をFinallyのVarScopedDeclarationsとする。
  4. decls1、decls2、およびdecls3の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. decls1をModuleItemListのVarScopedDeclarationsとする。
  2. decls2をModuleItemのVarScopedDeclarationsとする。
  3. decls1とdecls2の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.10 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のtop levelでは、function declarationsはlexical declarationsのようにではなく、var declarationsのように扱われます。

8.2.11 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. decls1をStatementListのTopLevelLexicallyScopedDeclarationsとする。
  2. decls2をStatementListItemのTopLevelLexicallyScopedDeclarationsとする。
  3. decls1とdecls2のlist-concatenationを返す。
 StatementListItem : Statement
  1. 新しい空のListを返す。
 StatementListItem : Declaration
  1. Declarationが Declaration : HoistableDeclaration であるなら、
    1. 新しい空のListを返す。
  2. « Declaration »を返す。

8.2.12 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のtop levelでは、inner function declarationsはvar declarationsのように扱われます。

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

8.2.13 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. decls1をStatementListのTopLevelVarScopedDeclarationsとする。
  2. decls2をStatementListItemのTopLevelVarScopedDeclarationsとする。
  3. decls1とdecls2のlist-concatenationを返す。
 StatementListItem : Statement
  1. Statementが Statement : LabelledStatement であるなら、StatementのTopLevelVarScopedDeclarationsを返す。
  2. StatementのVarScopedDeclarationsを返す。
 StatementListItem : Declaration
  1. Declarationが Declaration : HoistableDeclaration であるなら、
    1. declをHoistableDeclarationのDeclarationPartとする。
    2. « decl »を返す。
  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によってcoverされる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によってcoverされる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 CoverAwaitExpressionAndAwaitUsingDeclarationHead 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によってcoverされるParenthesizedExpressionとする。
  2. 引数nameを伴うexprのNamedEvaluationを ? で返す。
 ParenthesizedExpression : ( Expression )
  1. Assert: IsAnonymousFunctionDefinition(Expression)は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に一致したsource textとする。
  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.

以下に列挙されていない、この仕様内のすべてのgrammar production alternativeは、暗黙的に次のContainsのデフォルト定義を持ちます：

  1. このParse Nodeの各child node childについて、以下を行う
    1. childがsymbolのinstanceなら、trueを返す。
    2. childがnonterminalのinstanceなら、
      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 bodiesの内部を見ません。

 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によってcoverされる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によってcoverされる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 envRecord (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. 引数envRecordおよびprivateEnvを伴うFunctionDeclarationのInstantiateOrdinaryFunctionObjectを返す。
 GeneratorDeclaration : function * BindingIdentifier ( FormalParameters ) { GeneratorBody } function * ( FormalParameters ) { GeneratorBody }
  1. 引数envRecordおよびprivateEnvを伴うGeneratorDeclarationのInstantiateGeneratorFunctionObjectを返す。
 AsyncGeneratorDeclaration : async function * BindingIdentifier ( FormalParameters ) { AsyncGeneratorBody } async function * ( FormalParameters ) { AsyncGeneratorBody }
  1. 引数envRecordおよびprivateEnvを伴うAsyncGeneratorDeclarationのInstantiateAsyncGeneratorFunctionObjectを返す。
 AsyncFunctionDeclaration : async function BindingIdentifier ( FormalParameters ) { AsyncFunctionBody } async function ( FormalParameters ) { AsyncFunctionBody }
  1. 引数envRecordおよびprivateEnvを伴うAsyncFunctionDeclarationのInstantiateAsyncFunctionObjectを返す。

8.6.2 Runtime Semantics: BindingInitialization

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

Note

envRecordにundefinedが渡されることは、初期化値を代入するためにPutValue操作を使用すべきであることを示します。これはvar statementsおよび一部のnon-strict functionsのformal parameter listsの場合に該当します（10.2.11を参照）。それらの場合、lexical bindingは、そのinitializerの評価に先立ってhoistされ、事前初期化されます。

It is defined piecewise over the following productions:

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

8.6.2.1 InitializeBoundName ( name, value, envRecord )

The abstract operation InitializeBoundName takes arguments name (a String), value (an ECMAScript language value), and envRecord (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. envRecordがundefinedでないなら、
    1. envRecord.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 envRecord (an Environment Record or undefined) and returns either a normal completion containing unused or an abrupt completion.

Note

envRecordにundefinedが渡される場合、それは初期化値を代入するためにPutValue操作を使用すべきであることを示します。これはnon-strict functionsのformal parameter listsの場合に該当します。その場合、同じ名前を持つ複数のparametersの可能性に対処するため、formal parameter bindingsは事前初期化されます。

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およびenvRecordを伴うBindingRestElementのIteratorBindingInitializationを ? で返す。
 ArrayBindingPattern : [ BindingElementList , Elision ]
  1. 引数iteratorRecordおよびenvRecordを伴うBindingElementListのIteratorBindingInitializationを ? で実行する。
  2. 引数iteratorRecordを伴うElisionのIteratorDestructuringAssignmentEvaluationを ? で返す。
 ArrayBindingPattern : [ BindingElementList , Elisionopt BindingRestElement ]
  1. 引数iteratorRecordおよびenvRecordを伴うBindingElementListのIteratorBindingInitializationを ? で実行する。
  2. Elisionが存在するなら、
    1. 引数iteratorRecordを伴うElisionのIteratorDestructuringAssignmentEvaluationを ? で実行する。
  3. 引数iteratorRecordおよびenvRecordを伴うBindingRestElementのIteratorBindingInitializationを ? で返す。
 BindingElementList : BindingElementList , BindingElisionElement
  1. 引数iteratorRecordおよびenvRecordを伴うBindingElementListのIteratorBindingInitializationを ? で実行する。
  2. 引数iteratorRecordおよびenvRecordを伴うBindingElisionElementのIteratorBindingInitializationを ? で返す。
 BindingElisionElement : Elision BindingElement
  1. 引数iteratorRecordを伴うElisionのIteratorDestructuringAssignmentEvaluationを ? で実行する。
  2. 引数iteratorRecordおよびenvRecordを伴うBindingElementのIteratorBindingInitializationを ? で返す。
 SingleNameBinding : BindingIdentifier Initializeropt
  1. bindingIdをBindingIdentifierのStringValueとする。
  2. lhsを ? ResolveBinding(bindingId, envRecord) とする。
  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. vを、引数bindingIdを伴うInitializerのNamedEvaluationの ? 結果に設定する。
    2. そうでなければ、
      1. defaultValueをInitializerのEvaluationの ? 結果とする。
      2. vを ? GetValue(defaultValue) に設定する。
  6. envRecordが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およびenvRecordを伴うBindingPatternのBindingInitializationを ? で返す。
 BindingRestElement : ... BindingIdentifier
  1. lhsを ? ResolveBinding(StringValue of BindingIdentifier, envRecord) とする。
  2. arrayを ! ArrayCreate(0) とする。
  3. nを0とする。
  4. 繰り返す
    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に設定する。
 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およびenvRecordを伴うBindingPatternのBindingInitializationを ? で返す。
    4. CreateDataPropertyOrThrow(array, ! ToString(𝔽(n)), next)を ! で実行する。
    5. nをn + 1に設定する。
 FormalParameters : [empty]
  1. unusedを返す。
 FormalParameters : FormalParameterList , FunctionRestParameter
  1. 引数iteratorRecordおよびenvRecordを伴うFormalParameterListのIteratorBindingInitializationを ? で実行する。
  2. 引数iteratorRecordおよびenvRecordを伴うFunctionRestParameterのIteratorBindingInitializationを ? で返す。
 FormalParameterList : FormalParameterList , FormalParameter
  1. 引数iteratorRecordおよびenvRecordを伴うFormalParameterListのIteratorBindingInitializationを ? で実行する。
  2. 引数iteratorRecordおよびenvRecordを伴うFormalParameterのIteratorBindingInitializationを ? で返す。
 ArrowParameters : BindingIdentifier
  1. vをundefinedとする。
  2. Assert: iteratorRecord.[[Done]]はfalseである。
  3. nextを ? IteratorStepValue(iteratorRecord) とする。
  4. nextがdoneでないなら、
    1. vをnextに設定する。
  5. 引数vおよびenvRecordを伴うBindingIdentifierのBindingInitializationを ? で返す。
 ArrowParameters : CoverParenthesizedExpressionAndArrowParameterList
  1. formalsを、CoverParenthesizedExpressionAndArrowParameterListによってcoverされるArrowFormalParametersとする。
  2. 引数iteratorRecordおよびenvRecordを伴うformalsのIteratorBindingInitializationを ? で返す。
 AsyncArrowBindingIdentifier : BindingIdentifier
  1. vをundefinedとする。
  2. Assert: iteratorRecord.[[Done]]はfalseである。
  3. nextを ? IteratorStepValue(iteratorRecord) とする。
  4. nextがdoneでないなら、
    1. vをnextに設定する。
  5. 引数vおよびenvRecordを伴う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によってcoverされるParenthesizedExpressionとする。
  2. exprのAssignmentTargetTypeを返す。
 CallExpression : CoverCallExpressionAndAsyncArrowHead CallExpression Arguments
  1. Normative Optional
    hostがweb browserであるか、または他の方法でFunction Call Assignment Targetsに対するRuntime Errorsをサポートしており、かつ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 CoverAwaitExpressionAndAwaitUsingDeclarationHead 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. numberをNumericLiteralのNumericValueとする。
  2. ! ToString(number)を返す。
 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を返す。

8.6.6 Static Semantics: ContainsUsing

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

StatementList : StatementList StatementListItem
  1. 派生した StatementList の ContainsUsing が true である場合、true を返す。
  2. StatementListItem の ContainsUsing が true である場合、true を返す。
  3. false を返す。
 StatementListItem : Statement
  1. false を返す。
 StatementListItem : Declaration
  1. Declaration の IsUsingDeclaration が true である場合、true を返す。
  2. Declaration の IsAwaitUsingDeclaration が true である場合、true を返す。
  3. false を返す。