このページはECMAScript® 2020 Language Specificationの 13 ECMAScript Language: Statements and Declarations章をJavaScriptの学習目的で私的に日本語訳したものであり、直訳と意訳および推測が混在しています。そのため内容については正確ではない可能性があります。正確な情報を知りたい場合は、原文をご覧ください。また一部訳者によるコメントが含まれていることがあります。※このサイトの内容で損害や不利益を受けたとしても当方は一切の責任を負いません。

構文：

Statement[Yield, Await, Return] :
BlockStatement[?Yield, ?Await, ?Return]
VariableStatement[?Yield, ?Await]
EmptyStatement
ExpressionStatement[?Yield, ?Await]
IfStatement[?Yield, ?Await, ?Return]
BreakableStatement[?Yield, ?Await, ?Return]
ContinueStatement[?Yield, ?Await]
BreakStatement[?Yield, ?Await]
[+Return]ReturnStatement[?Yield, ?Await]
WithStatement[?Yield, ?Await, ?Return]
LabelledStatement[?Yield, ?Await, ?Return]
ThrowStatement[?Yield, ?Await]
TryStatement[?Yield, ?Await, ?Return]
DebuggerStatement
Declaration[Yield, Await] :
HoistableDeclaration[?Yield, ?Await, ~Default]
ClassDeclaration[?Yield, ?Await, ~Default]
LexicalDeclaration[+In, ?Yield, ?Await]
HoistableDeclaration[Yield, Await, Default] :
FunctionDeclaration[?Yield, ?Await, ?Default]
GeneratorDeclaration[?Yield, ?Await, ?Default]
AsyncFunctionDeclaration[?Yield, ?Await, ?Default]
AsyncGeneratorDeclaration[?Yield, ?Await, ?Default]
BreakableStatement[Yield, Await, Return] :
IterationStatement[?Yield, ?Await, ?Return]
SwitchStatement[?Yield, ?Await, ?Return]

13.1 ステートメントセマンティクス(Statement Semantics)

13.1.1 静的セマンティクス(Static Semantics): ContainsDuplicateLabels

引数 labelSet を使用。

Statement :
VariableStatement
EmptyStatement
ExpressionStatement
ContinueStatement
BreakStatement
ReturnStatement
ThrowStatement
DebuggerStatement
  1. false を返す

13.1.2 静的セマンティクス(Static Semantics): ContainsUndefinedBreakTarget

引数 labelSet を使用。

Statement :
VariableStatement
EmptyStatement
ExpressionStatement
ContinueStatement
ReturnStatement
ThrowStatement
DebuggerStatement
  1. false を返す

13.1.3 静的セマンティクス(Static Semantics): ContainsUndefinedContinueTarget

引数 iterationSet と labelSet を使用。

Statement :
VariableStatement
EmptyStatement
ExpressionStatement
BreakStatement
ReturnStatement
ThrowStatement
DebuggerStatement
  1. false を返す
BreakableStatement : IterationStatement
  1. labelSet のすべての要素が追加された iterationSet のコピーを newIterationSet とする
  2. 引数 newIterationSet と « » を使用して IterationStatement の ContainsUndefinedContinueTarget を返す

13.1.4 静的セマンティクス(Static Semantics): DeclarationPart

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

13.1.5 静的セマンティクス(Static Semantics): VarDeclaredNames

Statement :
EmptyStatement
ExpressionStatement
ContinueStatement
BreakStatement
ReturnStatement
ThrowStatement
DebuggerStatement
  1. 空の新規List を返す

13.1.6 静的セマンティクス(Static Semantics): VarScopedDeclarations

Statement :
EmptyStatement
ExpressionStatement
ContinueStatement
BreakStatement
ReturnStatement
ThrowStatement
DebuggerStatement
  1. 空の新規List を返す

13.1.7 ランタイムセマンティクス(Runtime Semantics): LabelledEvaluation

引数 labelSet を使用。

BreakableStatement : IterationStatement
  1. 引数 labelSet を使用して IterationStatement の LabelledEvaluation を stmtResult とする
  2. stmtResult.[[Type]] が break なら、
    1. stmtResult.[[Target]] が empty なら、
      1. stmtResult.[[Value]] が empty なら、NormalCompletion(undefined) を stmtResult にセットする
      2. 異なるなら、NormalCompletion(stmtResult.[[Value]]) を stmtResult にセットする
  3. Completion(stmtResult) を返す
BreakableStatement : SwitchStatement
  1. SwitchStatement の評価結果を stmtResult とする
  2. stmtResult.[[Type]] が break なら、
    1. stmtResult.[[Target]] が empty なら、
      1. stmtResult.[[Value]] が empty なら、NormalCompletion(undefined) を stmtResult にセット
      2. 異なるなら、 NormalCompletion(stmtResult.[[Value]]) を stmtResult にセットする
  3. Completion(stmtResult) を返す
BreakableStatementは、ラベルのないBreakStatementを介して終了できます。

13.1.8 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

HoistableDeclaration :
GeneratorDeclaration
AsyncFunctionDeclaration
AsyncGeneratorDeclaration
  1. NormalCompletion(empty) を返す
HoistableDeclaration : FunctionDeclaration
  1. FunctionDeclaration の評価結果を返す
BreakableStatement : IterationStatement SwitchStatement
  1. 空の新規List を newLabelSet とする
  2. 引数 newLabelSet を使用して BreakableStatement の LabelledEvaluation の実行結果 を返す

13.2 ブロック(Block)

構文：

BlockStatement[Yield, Await, Return] :
Block[?Yield, ?Await, ?Return]
Block[Yield, Await, Return] :
{StatementList[?Yield, ?Await, ?Return]opt }
StatementList[Yield, Await, Return] :
StatementListItem[?Yield, ?Await, ?Return]
StatementList[?Yield, ?Await, ?Return] StatementListItem[?Yield, ?Await, ?Return]
StatementListItem[Yield, Await, Return] :
Statement[?Yield, ?Await, ?Return]
Declaration[?Yield, ?Await]

13.2.1 静的セマンティクス：早期エラー(Static Semantics: Early Errors)

Block : {StatementList }
  • StatementList の LexicallyDeclaredNames に重複するエントリが含まれている場合、構文エラーです。
  • StatementListのLexicallyDeclaredNamesの要素がStatementListのVarDeclaredNamesにもある場合は、構文エラーです。

13.2.2 静的セマンティクス(Static Semantics): ContainsDuplicateLabels

引数 labelSet を使用。

Block : {}
  1. false を返す
StatementList : StatementList StatementListItem
  1. 引数 labelSet を使用して StatementList の ContainsDuplicateLabels を hasDuplicates とする
  2. hasDuplicates が true なら、 true を返す
  3. 引数 labelSet を使用して StatementListItem の ContainsDuplicateLabels の実行結果を返す
StatementListItem : Declaration
  1. false を返す

13.2.3 静的セマンティクス(Static Semantics): ContainsUndefinedBreakTarget

引数 labelSet を使用。

Block : {}
  1. false を返す
StatementList : StatementList StatementListItem
  1. 引数 labelSet を使用して StatementList の ContainsUndefinedBreakTarget を hasUndefinedLabels とする
  2. hasUndefinedLabels が true なら、 true を返す
  3. 引数 labelSet を使用して StatementListItem の ContainsUndefinedBreakTarget の実行結果を返す
StatementListItem : Declaration
  1. false を返す

13.2.4 静的セマンティクス(Static Semantics): ContainsUndefinedContinueTarget

引数 iterationSet と labelSet を使用。

Block : {}
  1. false を返す
StatementList : StatementList StatementListItem
  1. 引数 iterationSet と « » を使用して StatementList の ContainsUndefinedContinueTarget を hasUndefinedLabels とする
  2. hasUndefinedLabels が true なら、 true を返す
  3. 引数 iterationSet と « » を使用して StatementListItem の ContainsUndefinedContinueTarget の実行結果を返す
StatementListItem : Declaration
  1. false を返す

13.2.5 静的セマンティクス(Static Semantics): LexicallyDeclaredNames

Block : {}
  1. 空の新規List を返す
StatementList : StatementList StatementListItem
  1. StatementList の LexicallyDeclaredNames を names とする
  2. StatementListItem の LexicallyDeclaredNames の要素を names に追加する
  3. names を返す
StatementListItem : Statement
  1. Statement が Statement : LabelledStatement なら、LabelledStatement の LexicallyDeclaredNames を返す
  2. 空の新規リストを返す
StatementListItem : Declaration
  1. Declaration の BoundNames を返す

13.2.6 静的セマンティクス(Static Semantics): LexicallyScopedDeclarations

StatementList : StatementList StatementListItem
  1. StatementList の LexicallyScopedDeclarations を declarations とする
  2. StatementListItem の LexicallyScopedDeclarations の要素を declarations に追加する
  3. declarations を返す
StatementListItem :
Statement
  1. Statement が Statement : LabelledStatement なら、 LabelledStatement の LexicallyScopedDeclarations を返す
  2. 空の新規List を返す
StatementListItem : Declaration
  1. Declaration の DeclarationPart を含む新規List を返す

13.2.7 静的セマンティクス(Static Semantics): TopLevelLexicallyDeclaredNames

StatementList : StatementList StatementListItem
  1. StatementList の TopLevelLexicallyDeclaredNames を names とする
  2. StatementListItem の TopLevelLexicallyDeclaredNames の要素を names に追加する
  3. names を返す
StatementListItem : Statement
  1. 空の新規List を返す
StatementListItem : Declaration
  1. Declaration が Declaration : HoistableDeclaration なら、
    1. « » を返す
  2. Declaration の BoundNames を返す
関数またはスクリプトのトップレベルでは、関数宣言はレキシカル宣言ではなくvar宣言のように扱われます。

13.2.8 静的セマンティクス(Static Semantics): TopLevelLexicallyScopedDeclarations

Block : {}
  1. 空の新規List を返す
StatementList : StatementList StatementListItem
  1. StatementList の TopLevelLexicallyScopedDeclarations を declarations とする
  2. StatementListItem の TopLevelLexicallyScopedDeclarations の要素を declarations に追加する
  3. declarations を返す
StatementListItem : Statement
  1. 空の新規List を返す
StatementListItem : Declaration
  1. Declaration が Declaration : HoistableDeclaration なら、
    1. « » を返す
  2. Declaration を含む新規List を返す

13.2.9 静的セマンティクス(Static Semantics): TopLevelVarDeclaredNames

Block : {}
  1. 空の新規List を返す
StatementList : StatementList StatementListItem
  1. StatementList の TopLevelVarDeclaredNames を names とする
  2. StatementListItem の TopLevelVarDeclaredNames の要素を names に追加する
  3. names を返す
StatementListItem : Declaration
  1. Declaration が Declaration : HoistableDeclaration なら、
    1. HoistableDeclaration の BoundNames を返す
  2. 空の新規List を返す
StatementListItem : Statement
  1. Statement が Statement : LabelledStatement なら、Statement の TopLevelVarDeclaredNames を返す
  2. Statement の VarDeclaredNames を返す
関数またはスクリプトのトップレベルでは、内部関数宣言はvar宣言のように扱われます。

13.2.10 静的セマンティクス(Static Semantics): TopLevelVarScopedDeclarations

Block : {}
  1. 空の新規List を返す
StatementList : StatementList StatementListItem
  1. StatementList の TopLevelVarScopedDeclarations を declarations とする
  2. StatementListItem の TopLevelVarScopedDeclarations の要素を declarations に追加する
  3. declarations を返す
StatementListItem : Statement
  1. Statement が Statement : LabelledStatement なら、 Statement の TopLevelVarScopedDeclarations を返す
  2. Statement の VarScopedDeclarations を返す
StatementListItem : Declaration
  1. Declaration が Declaration : HoistableDeclaration なら、
    1. HoistableDeclaration の DeclarationPart を declaration とする
    2. « declaration » を返す
  2. 空の新規List を返す

13.2.11 静的セマンティクス(Static Semantics): VarDeclaredNames

Block : {}
  1. 空の新規List を返す
StatementList : StatementList StatementListItem
  1. StatementList の VarDeclaredNames を names とする
  2. StatementListItem の VarDeclaredNames の要素を names に追加する
  3. names を返す
StatementListItem : Declaration
  1. 空の新規List を返す

13.2.12 静的セマンティクス(Static Semantics): VarScopedDeclarations

Block : {}
  1. 空の新規List を返す
StatementList : StatementList StatementListItem
  1. StatementList の VarScopedDeclarations を declarations とする
  2. StatementListItem の VarScopedDeclarations の要素を declarations に追加する
  3. declarations を返す
StatementListItem : Declaration
  1. 空の新規List を返す

13.2.13 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

Block : {}
  1. NormalCompletion(empty) を返す
Block : {StatementList }
  1. 実行中の実行コンテキスト の LexicalEnvironment を oldEnv とする
  2. NewDeclarativeEnvironment(oldEnv) を blockEnv とする
  3. BlockDeclarationInstantiation(StatementList , blockEnv) を実行する
  4. blockEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
  5. StatementList の評価結果を blockValue とする
  6. oldEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
  7. blockValue を返す
制御がBlockから離れても、LexicalEnvironmentは常に以前の状態に復元されます。
StatementList : StatementList StatementListItem
  1. StatementList の評価結果を sl とする
  2. ReturnIfAbrupt(sl)
  3. StatementListItem の評価結果を s とする
  4. Completion(UpdateEmpty(s, sl)) を返す

StatementListの値は、StatementListの値を生成する最後の項目の値です。 たとえば、次のeval関数の呼び出しはすべて値1を返します。

eval("1;;;;;")
eval("1;{}")
eval("1;var a;")

13.2.14 ランタイムセマンティクス(Runtime Semantics): BlockDeclarationInstantiation ( code, env )

BlockまたはCaseBlockが評価されると、新しい宣言型環境レコードが作成され、ブロックで宣言された各ブロックスコープの変数、定数、関数、クラスのバインディングが環境レコードにインスタンス化されます。

BlockDeclarationInstantiationは、引数codeとenvを使用して次のように実行されます。 codeは、ブロックの本体に対応するパースノードです。 envは、バインディングが作成されるレキシカル環境です。

  1. env の EnvironmentRecord を envRec とする
  2. Assert: envRec は 宣言型環境レコード
  3. code の LexicallyScopedDeclarations を declarations とする
  4. declarations の 各要素を d とし、d ごとに次を実行する
    1. d の BoundNames の 各要素を dn とし、dn ごとに次を実行する
      1. d の IsConstantDeclaration が true なら、
        1. ! envRec.CreateImmutableBinding(dn, true) を実行する
      2. i. でなければ、
        1. ! envRec.CreateMutableBinding(dn, false) を実行する
    2. d が FunctionDeclaration 、 GeneratorDeclaration 、 AsyncFunctionDeclaration 、 AsyncGeneratorDeclaration のどれかなら、
      1. d の BoundNames の唯一の要素を fn とする
      2. 引数 env を使用して d の InstantiateFunctionObject を fo とする
      3. envRec.InitializeBinding(fn, fo) を実行する

13.3 宣言と変数ステートメント(Declarations and the Variable Statement)

13.3.1 LetとConst宣言(Let and Const Declarations)

letおよびconst宣言は、実行中の実行コンテキストのLexicalEnvironmentにスコープされる変数を定義します。変数は、それらを含むレキシカル環境がインスタンス化されるときに作成されます。ただし、変数のLexicalBindingが評価されるまで、いかなる方法でもアクセスできません。 Initializerを使用してLexicalBindingによって定義された変数は、変数の作成時に値が割り当てられません。割り当てられるのは、LexicalBindingの評価時で InitializerのAssignmentExpressionの値が割り当てられます。 let宣言のLexicalBindingにInitializerがない場合、LexicalBindingの評価時に、undefined が割り当てられます。
関数実行時、変数は用意されているがアクセスできない。（アクセスするとエラー）
let a = 1; などのコードに到達時に、値が割り当てられる。
letかconstかを判断して変数を定義しているのは13.2.14

構文：

LexicalDeclaration[In, Yield, Await] :
LetOrConst BindingList[?In, ?Yield, ?Await] ;
LetOrConst :
let
const
BindingList[In, Yield, Await] :
LexicalBinding[?In, ?Yield, ?Await]
BindingList[?In, ?Yield, ?Await] ,LexicalBinding[?In, ?Yield, ?Await]
LexicalBinding[In, Yield, Await] :
BindingIdentifier[?Yield, ?Await] Initializer[?In, ?Yield, ?Await]opt
BindingPattern[?Yield, ?Await] Initializer[?In, ?Yield, ?Await]

13.3.1.1 静的セマンティクス：早期エラー(Static Semantics: Early Errors)

LexicalDeclaration : LetOrConst BindingList ;
  • BindingList の BoundNames が "let" を含む場合、構文エラーです
  • BindingList の BoundNames に重複するエントリが含まれている場合、構文エラーです
LexicalBinding : BindingIdentifier Initializeropt

13.3.1.2 静的セマンティクス(Static Semantics): BoundNames

LexicalDeclaration : LetOrConst BindingList ;
  1. BindingList の BoundNames を返す
BindingList : BindingList ,LexicalBinding
  1. BindingList の the BoundNames を names とする
  2. LexicalBinding の BoundNames の要素を names に追加する
  3. names を返す
LexicalBinding : BindingIdentifier Initializeropt
  1. BindingIdentifier の BoundNames を返す
LexicalBinding : BindingPattern Initializer
  1. BindingPattern の the BoundNames を返す

13.3.1.3 静的セマンティクス(Static Semantics): IsConstantDeclaration

LexicalDeclaration : LetOrConst BindingList ;
  1. LetOrConst の IsConstantDeclaration を返す
LetOrConst : let
  1. false を返す
LetOrConst : const
  1. true を返す

13.3.1.4 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

LexicalDeclaration : LetOrConst BindingList ;
  1. BindingList の評価結果を next とする
  2. ReturnIfAbrupt(next)
  3. NormalCompletion(empty) を返す
BindingList : BindingList ,LexicalBinding
  1. BindingList の評価結果を next とする
  2. ReturnIfAbrupt(next)
  3. LexicalBinding の 評価結果を返す
LexicalBinding : BindingIdentifier
  1. ResolveBinding(BindingIdentifier の StringValue )を lhs とする
  2. InitializeReferencedBinding(lhs, undefined) を返す
静的セマンティックルールにより、この形式の LexicalBinding が const宣言で発生しないことが保証されます。
LexicalBinding : BindingIdentifier Initializer
  1. BindingIdentifier の StringValue を bindingId とする
  2. ResolveBinding(bindingId) を lhs とする
  3. IsAnonymousFunctionDefinition(Initializer ) が true なら、
    1. 引数 bindingId を使用して Initializer の NamedEvaluation を value とする
  4. 3. でないなら、
    1. Initializer の評価結果を rhs とする
    2. ? GetValue(rhs) を value とする
  5. InitializeReferencedBinding(lhs, value) を返す
LexicalBinding : BindingPattern Initializer
  1. Initializer の評価結果を rhs とする
  2. ? GetValue(rhs) を value とする
  3. 実行中の実行コンテキスト の LexicalEnvironment を env とする
  4. 引数 value と env を使用して BindingPattern の BindingInitialization の実行結果を返す

13.3.2 変数ステートメント(Variable Statement)

varステートメントは、実行中の実行コンテキストのVariableEnvironmentにスコープされる変数を宣言します。var変数は、その変数を含んでいるレキシカル環境がインスタンス化されるときに作成され、同時にundefinedで初期化されます。VariableEnvironmentのスコープ内では、同じBindingIdentifierが複数のVariableDeclarationで宣言される場合がありますが、これらの宣言は1つの変数を定義します。Initializerを使用してVariableDeclarationで定義された変数は、変数の作成時ではなく、VariableDeclarationの実行時にInitializerのAssignmentExpressionの値が割り当てられます。
関数実行時、変数はundefinedで初期化される。この時点で変数にアクセスできる。
var a = 1; などのコードに到達時に、実際の値が割り当てられる。

構文：

VariableStatement[Yield, Await] :
varVariableDeclarationList[+In, ?Yield, ?Await] ;
VariableDeclarationList[In, Yield, Await] :
VariableDeclaration[?In, ?Yield, ?Await]
VariableDeclarationList[?In, ?Yield, ?Await] ,VariableDeclaration[?In, ?Yield, ?Await]
VariableDeclaration[In, Yield, Await] :
BindingIdentifier[?Yield, ?Await] Initializer[?In, ?Yield, ?Await]opt
BindingPattern[?Yield, ?Await] Initializer[?In, ?Yield, ?Await]

13.3.2.1 静的セマンティクス(Static Semantics): BoundNames

VariableDeclarationList : VariableDeclarationList ,VariableDeclaration
  1. VariableDeclarationList の BoundNames を names とする
  2. VariableDeclaration の BoundNames の要素を names に追加する
  3. names を返す
VariableDeclaration : BindingIdentifier Initializeropt
  1. BindingIdentifier の the BoundNames を返す
VariableDeclaration : BindingPattern Initializer
  1. BindingPattern の BoundNames を返す

13.3.2.2 静的セマンティクス(Static Semantics): VarDeclaredNames

VariableStatement : varVariableDeclarationList ;
  1. VariableDeclarationList の BoundNames を返す

13.3.2.3 静的セマンティクス(Static Semantics): VarScopedDeclarations

VariableDeclarationList : VariableDeclaration
  1. VariableDeclaration を含む新規List を返す
VariableDeclarationList : VariableDeclarationList ,VariableDeclaration
    1. VariableDeclarationList の VarScopedDeclarations を declarations とする

  1. declarations に VariableDeclaration を追加する<
  2. declarations を返す

13.3.2.4 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

VariableStatement : varVariableDeclarationList ;
  1. VariableDeclarationList の評価結果を next とする
  2. ReturnIfAbrupt(next)
  3. NormalCompletion(empty) を返す
VariableDeclarationList : VariableDeclarationList ,VariableDeclaration
  1. VariableDeclarationList の評価結果を next とする
  2. ReturnIfAbrupt(next)
  3. VariableDeclaration の 評価結果を返す
VariableDeclaration : BindingIdentifier
  1. NormalCompletion(empty) を返す
VariableDeclaration : BindingIdentifier Initializer
  1. BindingIdentifier の StringValue を bindingId とする
  2. ? ResolveBinding(bindingId) を lhs とする
  3. IsAnonymousFunctionDefinition(Initializer ) が true なら、
    1. 引数 bindingId を使用して Initializer の NamedEvaluation を value とする
  4. 3. でないなら、
    1. Initializer の評価結果を rhs とする
    2. ? GetValue(rhs) を value とする
  5. ? PutValue(lhs, value) を返す
VariableDeclarationがwithステートメント内にネストされており、VariableDeclaration内のBindingIdentifierが、withステートメントのオブジェクト環境レコードのバインディングオブジェクトのプロパティ名と同じである場合、ステップ5は、識別子のVariableEnvironmentバインディングに割り当てる代わりに、プロパティに値を割り当てます。
VariableDeclaration : BindingPattern Initializer
  1. Initializer の評価結果を rhs とする
  2. ? GetValue(rhs) を rval とする
  3. 引数 rval と undefined を使用して BindingPattern の BindingInitialization の実行結果を返す

13.3.3 バインディングの分割パターン(Destructuring Binding Patterns)

構文：

BindingPattern[Yield, Await] :
ObjectBindingPattern[?Yield, ?Await]
ArrayBindingPattern[?Yield, ?Await]
ObjectBindingPattern[Yield, Await] :
{}
{BindingRestProperty[?Yield, ?Await] }
{BindingPropertyList[?Yield, ?Await] }
{BindingPropertyList[?Yield, ?Await] ,BindingRestProperty[?Yield, ?Await]opt }
ArrayBindingPattern[Yield, Await] :
[Elisionopt BindingRestElement[?Yield, ?Await]opt ]
[BindingElementList[?Yield, ?Await] ]
[BindingElementList[?Yield, ?Await] ,Elisionopt BindingRestElement[?Yield, ?Await]opt ]
BindingRestProperty[Yield, Await] :
...BindingIdentifier[?Yield, ?Await]
BindingPropertyList[Yield, Await] :
BindingProperty[?Yield, ?Await]
BindingPropertyList[?Yield, ?Await] ,BindingProperty[?Yield, ?Await]
BindingElementList[Yield, Await] :
BindingElisionElement[?Yield, ?Await]
BindingElementList[?Yield, ?Await] ,BindingElisionElement[?Yield, ?Await]
BindingElisionElement[Yield, Await] :
Elisionopt BindingElement[?Yield, ?Await]
BindingProperty[Yield, Await] :
SingleNameBinding[?Yield, ?Await]
PropertyName[?Yield, ?Await] :BindingElement[?Yield, ?Await]
BindingElement[Yield, Await] :
SingleNameBinding[?Yield, ?Await]
BindingPattern[?Yield, ?Await] Initializer[+In, ?Yield, ?Await]opt
SingleNameBinding[Yield, Await] :
BindingIdentifier[?Yield, ?Await] Initializer[+In, ?Yield, ?Await]opt
BindingRestElement[Yield, Await] :
...BindingIdentifier[?Yield, ?Await]
...BindingPattern[?Yield, ?Await]

13.3.3.1 静的セマンティクス(Static Semantics): BoundNames

ObjectBindingPattern : {}
  1. 空の新規List を返す
ObjectBindingPattern : {BindingPropertyList ,BindingRestProperty }
  1. BindingPropertyList の BoundNames を names とする
  2. BindingRestProperty の BoundNames の要素を names に追加する
  3. names を返す
ArrayBindingPattern : [Elisionopt ]
  1. 空の新規List を返す
ArrayBindingPattern : [Elisionopt BindingRestElement ]
  1. BindingRestElement の BoundNames を返す
ArrayBindingPattern : [BindingElementList ,Elisionopt ]
  1. BindingElementList の BoundNames を返す
ArrayBindingPattern : [BindingElementList ,Elisionopt BindingRestElement ]
  1. BindingElementList の BoundNames を names とする
  2. BindingRestElement の BoundNames の要素を names に追加する
  3. names を返す
BindingPropertyList : BindingPropertyList ,BindingProperty
  1. BindingPropertyList の BoundNames を names とする
  2. BindingProperty の BoundNames の要素を names に追加する
  3. names を返す
BindingElementList : BindingElementList ,BindingElisionElement
  1. BindingElementList の BoundNames を names とする
  2. BindingElisionElement の BoundNames の要素を names に追加する
  3. names を返す
BindingElisionElement : Elisionopt BindingElement
  1. BindingElement の BoundNames を返す
BindingProperty : PropertyName :BindingElement
  1. BindingElement の BoundNames を返す
SingleNameBinding : BindingIdentifier Initializeropt
  1. BindingIdentifier の BoundNames を返す
BindingElement : BindingPattern Initializeropt
  1. BindingPattern の BoundNames を返す

13.3.3.2 静的セマンティクス(Static Semantics): ContainsExpression

ObjectBindingPattern :
{}
{BindingRestProperty }
  1. false を返す
ObjectBindingPattern : {BindingPropertyList ,BindingRestProperty }
  1. BindingPropertyList の ContainsExpression を返す
ArrayBindingPattern : [Elisionopt ]
  1. false を返す
ArrayBindingPattern : [Elisionopt BindingRestElement ]
  1. BindingRestElement の ContainsExpression を返す
ArrayBindingPattern : [BindingElementList ,Elisionopt ]
  1. BindingElementList の ContainsExpression を返す
ArrayBindingPattern : [BindingElementList ,Elisionopt BindingRestElement ]
  1. BindingElementList の ContainsExpression を has とする
  2. has が true なら、 true を返す
  3. BindingRestElement の ContainsExpression を返す
BindingPropertyList : BindingPropertyList ,BindingProperty
  1. BindingPropertyList の ContainsExpression を has とする
  2. has が true なら、 true を返す
  3. BindingProperty の ContainsExpression を返す
BindingElementList : BindingElementList ,BindingElisionElement
  1. BindingElementList の ContainsExpression を has とする
  2. has が true なら、 true を返す
  3. BindingElisionElement の ContainsExpression を返す
BindingElisionElement : Elisionopt BindingElement
  1. BindingElement の ContainsExpression を返す
BindingProperty : PropertyName :BindingElement
  1. PropertyName の IsComputedPropertyKey を has とする
  2. has が true なら、 true を返す
  3. BindingElement の ContainsExpression を返す
BindingElement : BindingPattern Initializer
  1. true を返す
SingleNameBinding : BindingIdentifier
  1. false を返す
SingleNameBinding : BindingIdentifier Initializer
  1. true を返す
BindingRestElement : ...BindingIdentifier
  1. false を返す
BindingRestElement : ...BindingPattern
  1. BindingPattern の ContainsExpression を返す

13.3.3.3 静的セマンティクス(Static Semantics): HasInitializer

BindingElement : BindingPattern
  1. false を返す
BindingElement : BindingPattern Initializer
  1. true を返す
SingleNameBinding : BindingIdentifier
  1. false を返す
SingleNameBinding : BindingIdentifier Initializer
  1. true を返す

13.3.3.4 静的セマンティクス(Static Semantics): IsSimpleParameterList

BindingElement : BindingPattern
  1. false を返す
BindingElement : BindingPattern Initializer
  1. false を返す
SingleNameBinding : BindingIdentifier
  1. true を返す
SingleNameBinding : BindingIdentifier Initializer
  1. false を返す

13.3.3.5 ランタイムセマンティクス(Runtime Semantics): BindingInitialization

引数 value と environment を使用。

environmentとしてundefinedが渡された場合、PutValue操作で初期化値を割り当てる必要があることを示します。 これは、非strict関数の正式なパラメーターリストの場合です。 複数の同名パラメーターに対応するために、正式なパラメーターバインディングが事前に初期化されます。
BindingPattern : ObjectBindingPattern
  1. ? RequireObjectCoercible(value) を実行する
  2. 引数 value と environment を使用して ObjectBindingPattern の BindingInitialization の実行結果を返す
BindingPattern : ArrayBindingPattern
  1. ? GetIterator(value) を iteratorRecord とする
  2. 引数 iteratorRecord と environment を使用して ArrayBindingPattern の IteratorBindingInitialization を result とする
  3. iteratorRecord.[[Done]] が false なら、 ? IteratorClose(iteratorRecord, result)を返す
  4. result を返す
ObjectBindingPattern : {}
  1. NormalCompletion(empty) を返す
ObjectBindingPattern :
{BindingPropertyList }
{BindingPropertyList ,}
  1. 引数 value と environment を使用して ? BindingPropertyList の PropertyBindingInitialization を実行する
  2. NormalCompletion(empty) を返す
ObjectBindingPattern : {BindingRestProperty }
  1. 空の新規List を excludedNames とする
  2. 引数 value と environment と excludedNames を使用して BindingRestProperty の RestBindingInitialization の実行結果を返す
ObjectBindingPattern : {BindingPropertyList ,BindingRestProperty }
  1. 引数 value と environment を使用して ? BindingPropertyList の PropertyBindingInitialization を excludedNames とする
  2. 引数 value と environment と excludedNames を使用して BindingRestProperty の RestBindingInitialization の実行結果を返す

13.3.3.6 ランタイムセマンティクス(Runtime Semantics): PropertyBindingInitialization

引数 value environment を使用。

これらは、空の完了だけでなく、バインドされたすべてのプロパティ名のリストを収集します。
BindingPropertyList : BindingPropertyList ,BindingProperty
  1. 引数 value と environment を使用して ? BindingPropertyList の PropertyBindingInitialization を boundNames とする
  2. 引数 value と environment を使用して ? BindingProperty の PropertyBindingInitialization を nextNames とする
  3. boundNames の 最後に nextNames のアイテムを追加する
  4. boundNames を返す
BindingProperty : SingleNameBinding
  1. SingleNameBinding の BoundNames の唯一の要素である文字列を name とする
  2. 引数 value と environment と name を使用して ? SingleNameBinding の KeyedBindingInitialization を実行する
  3. name を含む新規List を返す
BindingProperty : PropertyName :BindingElement
  1. PropertyName の評価結果を P とする
  2. ReturnIfAbrupt(P)
  3. 引数 value と environment と P を使用して ? BindingElement の KeyedBindingInitialization を実行する
  4. P を含む新規List を返す

13.3.3.7 ランタイムセマンティクス(Runtime Semantics): RestBindingInitialization

引数 value environment excludedNames を使用。

BindingRestProperty : ...BindingIdentifier
  1. ? ResolveBinding(BindingIdentifier の StringValue, environment) を lhs とする
  2. OrdinaryObjectCreate(%Object.prototype%) を restObj とする
  3. ? CopyDataProperties(restObj, value, excludedNames) を実行する
  4. environment が undefined なら、 PutValue(lhs, restObj)を返す
  5. InitializeReferencedBinding(lhs, restObj) を返す

13.3.3.8 ランタイムセマンティクス(Runtime Semantics): IteratorBindingInitialization

引数 iteratorRecord と environment を使用。

environmentがundefinedのとき、PutValue操作で初期化値を割り当てます。 これは、非strict関数の正式なパラメーターリストの場合です。 その場合、複数の同名パラメーターに対応するために、正式なパラメーターバインディングが事前に初期化されます。
ArrayBindingPattern : []
  1. NormalCompletion(empty) を返す
ArrayBindingPattern : [Elision ]
  1. 引数 iteratorRecord を使用して Elision の IteratorDestructuringAssignmentEvaluation の実行結果を返す
ArrayBindingPattern : [Elisionopt BindingRestElement ]
  1. Elision が 存在するなら、
    1. 引数 iteratorRecord を使用して ? Elision の IteratorDestructuringAssignmentEvaluation を実行する
  2. 引数 iteratorRecord と environment を使用して BindingRestElement の IteratorBindingInitialization の実行結果を返す
ArrayBindingPattern : [BindingElementList ]
  1. 引数 iteratorRecord と environment を使用して BindingElementList の IteratorBindingInitialization の実行結果を返す
ArrayBindingPattern : [BindingElementList ,]
  1. 引数 iteratorRecord と environment を使用して BindingElementList の 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 : BindingElisionElement
  1. 引数 iteratorRecord と environment を使用して BindingElisionElement の IteratorBindingInitialization の実行結果を返す
BindingElementList : BindingElementList ,BindingElisionElement
  1. 引数 iteratorRecord と environment を使用して ? BindingElementList の IteratorBindingInitialization を実行する
  2. 引数 iteratorRecord と environment を使用して BindingElisionElement の IteratorBindingInitialization の実行結果を返す
BindingElisionElement : BindingElement
  1. 引数 iteratorRecord と environment を使用して BindingElement の IteratorBindingInitialization の実行結果を返す
BindingElisionElement : Elision BindingElement
  1. 引数 iteratorRecord を使用して ? Elision の IteratorDestructuringAssignmentEvaluation を実行する
  2. 引数 iteratorRecord と environment を使用して BindingElement の IteratorBindingInitialization の実行結果を返す
BindingElement : SingleNameBinding
  1. 引数 iteratorRecord と environment を使用して SingleNameBinding の IteratorBindingInitialization の実行結果を返す
SingleNameBinding : BindingIdentifier Initializeropt
  1. BindingIdentifier の StringValue を bindingId とする
  2. ? ResolveBinding(bindingId, environment) を lhs とする
  3. iteratorRecord.[[Done]] が false なら、
    1. IteratorStep(iteratorRecord) を next とする
    2. next が 突然の完了 なら、 true を iteratorRecord.[[Done]] にセットする
    3. ReturnIfAbrupt(next)
    4. next が false なら、 true を iteratorRecord.[[Done]] にセットする
    5. d. でないなら、
      1. IteratorValue(next) を v とする
      2. v が 突然の完了 なら、 true を iteratorRecord.[[Done]] にセットする
      3. ReturnIfAbrupt(v)
  4. iteratorRecord.[[Done]] が true なら、 undefined を v とする
  5. Initializer が存在し、 v が undefined なら、
    1. IsAnonymousFunctionDefinition(Initializer ) が true なら、
      1. 引数 bindingId を使用して Initializer の NamedEvaluation の実行結果を v にセットする
    2. a. でないなら、
      1. Initializer の評価結果を defaultValue とする
      2. ? GetValue(defaultValue) を v にセットする
  6. environment が undefined なら、 ? PutValue(lhs, v)を返す
  7. InitializeReferencedBinding(lhs, v) を返す
BindingElement : BindingPattern Initializeropt
  1. iteratorRecord.[[Done]] が false なら、
    1. IteratorStep(iteratorRecord) を next とする
    2. next が 突然の完了 なら、 true を iteratorRecord.[[Done]] にセットする
    3. ReturnIfAbrupt(next)
    4. next が false なら、 true を iteratorRecord.[[Done]] にセットする
    5. d. でないなら、
      1. IteratorValue(next) を v とする
      2. v が 突然の完了 なら、 true を iteratorRecord.[[Done]] にセットする
      3. ReturnIfAbrupt(v)
  2. iteratorRecord.[[Done]] が true なら、 undefined を v とする
  3. Initializer が存在し、 v が undefined なら、
    1. Initializer の評価結果を defaultValue とする
    2. ? GetValue(defaultValue) を v にセットする
  4. 引数 v と environment を使用して BindingPattern の BindingInitialization の実行結果を返す
BindingRestElement : ...BindingIdentifier
  1. BindingIdentifier , environment) の ? ResolveBinding(StringValue を lhs とする
  2. ! ArrayCreate(0) を A とする
  3. 0 を n とする
  4. 次を繰り返す、
    1. iteratorRecord.[[Done]] が false なら、
      1. IteratorStep(iteratorRecord) を next とする
      2. next が 突然の完了 なら、 true を iteratorRecord.[[Done]] にセットする
      3. ReturnIfAbrupt(next)
      4. next が false なら、 true を iteratorRecord.[[Done]] にセットする
    2. iteratorRecord.[[Done]] が true なら、
      1. environment が undefined なら、 ? PutValue(lhs, A)を返す
      2. InitializeReferencedBinding(lhs, A) を返す
    3. IteratorValue(next) を nextValue とする
    4. nextValue が 突然の完了 なら、 true を iteratorRecord.[[Done]] にセットする
    5. ReturnIfAbrupt(nextValue)
    6. ! CreateDataPropertyOrThrow(A, ! ToString(n), nextValue) を実行する
    7. n + 1 を n にセットする
BindingRestElement : ...BindingPattern
  1. ! ArrayCreate(0) を A とする
  2. 0 を n とする
  3. 次を繰り返す、
    1. iteratorRecord.[[Done]] が false なら、
      1. IteratorStep(iteratorRecord) を next とする
      2. next が 突然の完了 なら、 true を iteratorRecord.[[Done]] にセットする
      3. ReturnIfAbrupt(next)
      4. next が false なら、 true を iteratorRecord.[[Done]] にセットする
    2. iteratorRecord.[[Done]] が true なら、
      1. 引数 A と environment を使用して BindingPattern の BindingInitialization の実行結果を返す
    3. IteratorValue(next) を nextValue とする
    4. nextValue が 突然の完了 なら、 true を iteratorRecord.[[Done]] にセットする
    5. ReturnIfAbrupt(nextValue)
    6. ! CreateDataPropertyOrThrow(A, ! ToString(n), nextValue) を実行する
    7. n + 1 を n にセットする

13.3.3.9 ランタイムセマンティクス(Runtime Semantics): KeyedBindingInitialization

引数 value と environment と propertyName を使用。

environmentがundefinedのとき、PutValue操作で初期化値を割り当てます。 これは、非strict関数の正式なパラメーターリストの場合です。 その場合、複数の同名パラメーターに対応するために、正式なパラメーターバインディングが事前に初期化されます。
BindingElement : BindingPattern Initializeropt
  1. ? GetV(value, propertyName) を v とする
  2. Initializer が存在し、 v が undefined なら、
    1. Initializer の評価結果を defaultValue とする
    2. ? GetValue(defaultValue) を v にセットする
  3. 引数 v と environment を使用して BindingPattern の BindingInitialization の実行結果を返す
SingleNameBinding : BindingIdentifier Initializeropt
  1. BindingIdentifier の StringValue を bindingId とする
  2. ? ResolveBinding(bindingId, environment) を lhs とする
  3. ? GetV(value, propertyName) を v とする
  4. Initializer が存在し、 v が undefined なら、
    1. IsAnonymousFunctionDefinition(Initializer ) が true なら、
      1. 引数 bindingId を使用して Initializer の NamedEvaluation の実行結果を v にセットする
    2. a. と異なるなら、
      1. Initializer の評価結果を defaultValue とする
      2. ? GetValue(defaultValue) を v にセットする
  5. environment が undefined なら、 ? PutValue(lhs, v)を返す
  6. InitializeReferencedBinding(lhs, v) を返す

13.4 空文-空のステートメント-(Empty Statement)

構文：

const a=[];
for( let i = 0; i < 5 ; i++) { a.push(i);} // 通常は文が必要
for( let i = 0; i < 5 ; a.push(i++)) ;  // 文のかわりに空文

13.4.1 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

EmptyStatement : ;
  1. NormalCompletion(empty) を返す

13.5 式ステートメント(Expression Statement)

構文：

ExpressionStatement[Yield, Await] :
[lookahead ∉ { {, function, async [no LineTerminator here] function, class, let [ }]Expression[+In, ?Yield, ?Await] ;
Blockとあいまいになる可能性があるため、ExpressionStatementをU+007B（LEFT CURLY BRACKET： { ）で始めることはできません。
FunctionDeclaration、GeneratorDeclaration、ClassDeclarationとあいまいになるため、ExpressionStatementは、functionまたはclassキーワードで開始することはできません。
AsyncFunctionDeclaration、AsyncGeneratorDeclarationとあいまいになるため、ExpressionStatementは、async functionで開始することはできません。
最初のLexicalBindingがArrayBindingPatternであるとき let LexicalDeclarationとあいまいになるため、ExpressionStatementは、2つのトークンシーケンス　let [　で開始できません。

13.5.1 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

ExpressionStatement : Expression ;
  1. Expression の評価結果を exprRef とする
  2. ? GetValue(exprRef) を返す

13.6 ifステートメント(The if Statement)

構文：

IfStatement[Yield, Await, Return] :
if(Expression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return] elseStatement[?Yield, ?Await, ?Return]
if(Expression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return]

ifとelseの対応があいまいで対応するelseがない場合、最も近いifに関連付けられるものとします。

13.6.1 静的セマンティクス：早期エラー(Static Semantics: Early Errors)

IfStatement :
if(Expression )Statement elseStatement
if(Expression )Statement
このルールを適用する必要があるのは、B.3.2で指定された拡張機能が実装されている場合のみです。

13.6.2 静的セマンティクス(Static Semantics): ContainsDuplicateLabels

引数 labelSet を使用。

IfStatement : if(Expression )Statement elseStatement
  1. 引数 labelSet を使用して the first Statement の ContainsDuplicateLabels を hasDuplicate とする
  2. hasDuplicate が true なら、 true を返す
  3. 引数 labelSet を使用して 2番目の Statement の ContainsDuplicateLabels の実行結果を返す
IfStatement : if(Expression )Statement
  1. 引数 labelSet を使用して Statement の ContainsDuplicateLabels の実行結果を返す

13.6.3 静的セマンティクス(Static Semantics): ContainsUndefinedBreakTarget

引数 labelSet を使用。

IfStatement : if(Expression )Statement elseStatement
  1. 引数 labelSet を使用して the first Statement の ContainsUndefinedBreakTarget を hasUndefinedLabels とする
  2. hasUndefinedLabels が true なら、 true を返す
  3. 引数 labelSet を使用して 2番目の Statement の ContainsUndefinedBreakTarget の実行結果を返す
IfStatement : if(Expression )Statement
  1. 引数 labelSet を使用して Statement の ContainsUndefinedBreakTarget の実行結果を返す

13.6.4 静的セマンティクス(Static Semantics): ContainsUndefinedContinueTarget

引数 iterationSet と labelSet を使用。

IfStatement : if(Expression )Statement elseStatement
  1. 引数 iterationSet と « » を使用して最初の Statement の ContainsUndefinedContinueTarget を hasUndefinedLabels とする
  2. hasUndefinedLabels が true なら、 true を返す
  3. 引数 iterationSet と « » を使用して2番目の Statement の ContainsUndefinedContinueTarget の実行結果を返す
IfStatement : if(Expression )Statement
  1. 引数 iterationSet と « » を使用して Statement の ContainsUndefinedContinueTarget の実行結果を返す

13.6.5 静的セマンティクス(Static Semantics): VarDeclaredNames

IfStatement : if(Expression )Statement elseStatement
  1. 最初の Statement の VarDeclaredNames を names とする
  2. 2番目の Statement の VarDeclaredNames の要素を names に追加する
  3. names を返す
IfStatement : if(Expression )Statement
  1. Statement の VarDeclaredNames を返す

13.6.6 静的セマンティクス(Static Semantics): VarScopedDeclarations

IfStatement : if(Expression )Statement elseStatement
  1. 最初の Statement の VarScopedDeclarations を declarations とする
  2. 2番目の Statement の VarScopedDeclarations の要素を declarations に追加する
  3. declarations を返す
IfStatement : if(Expression )Statement
  1. Statement の VarScopedDeclarations を返す

13.6.7 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

IfStatement : if(Expression )Statement elseStatement
  1. Expression の評価結果を exprRef とする
  2. ! ToBoolean(? GetValue(exprRef)) を exprValue とする
  3. exprValue が true なら、
    1. 最初の Statement の評価結果を stmtCompletion とする
  4. 3. と異なるなら、
    1. 2番目の Statement の評価結果を stmtCompletion とする
  5. Completion( UpdateEmpty(stmtCompletion, undefined)) を返す
IfStatement : if(Expression )Statement
  1. Expression の評価結果を exprRef とする
  2. ! ToBoolean(? GetValue(exprRef)) を exprValue とする
  3. exprValue が false なら、
    1. NormalCompletion(undefined) を返す
  4. 8. と異なるなら、
    1. Statement の評価結果を stmtCompletion とする
    2. Completion( UpdateEmpty(stmtCompletion, undefined)) を返す

13.7 反復ステートメント(Iteration Statements)

構文：

IterationStatement[Yield, Await, Return] :

doStatement[?Yield, ?Await, ?Return] while(Expression[+In, ?Yield, ?Await] );

 

while(Expression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return]

 

for([lookahead ≠ let []Expression[~In, ?Yield, ?Await]opt ;Expression[+In, ?Yield, ?Await]opt ;Expression[+In, ?Yield, ?Await]opt )Statement[?Yield, ?Await, ?Return]

 

for(varVariableDeclarationList[~In, ?Yield, ?Await] ;Expression[+In, ?Yield, ?Await]opt ;Expression[+In, ?Yield, ?Await]opt )Statement[?Yield, ?Await, ?Return]

 

for(LexicalDeclaration[~In, ?Yield, ?Await] Expression[+In, ?Yield, ?Await]opt ;Expression[+In, ?Yield, ?Await]opt )Statement[?Yield, ?Await, ?Return]

 

for([lookahead ≠ let []LeftHandSideExpression[?Yield, ?Await] inExpression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return]

 

for(varForBinding[?Yield, ?Await] inExpression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return]

 

for(ForDeclaration[?Yield, ?Await] inExpression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return]

 

for([lookahead ≠ let]LeftHandSideExpression[?Yield, ?Await] ofAssignmentExpression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return]

 

for(varForBinding[?Yield, ?Await] ofAssignmentExpression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return]

 

for(ForDeclaration[?Yield, ?Await] ofAssignmentExpression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return]

 

[+Await]forawait([lookahead ≠ let]LeftHandSideExpression[?Yield, ?Await] ofAssignmentExpression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return]

 

[+Await]forawait(varForBinding[?Yield, ?Await] ofAssignmentExpression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return]

 

[+Await]forawait(ForDeclaration[?Yield, ?Await] ofAssignmentExpression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return]

ForDeclaration[Yield, Await] :

LetOrConst ForBinding[?Yield, ?Await]

ForBinding[Yield, Await] :

BindingIdentifier[?Yield, ?Await]

 

BindingPattern[?Yield, ?Await]
このセクションは、付録B.3.6によって拡張されています。

13.7.1 セマンティクス(Semantics)

13.7.1.1 静的セマンティクス：早期エラー(Static Semantics: Early Errors)

IterationStatement :

doStatement while(Expression );
while(Expression )Statement
for(Expressionopt ;Expressionopt ;Expressionopt )Statement
for(varVariableDeclarationList ;Expressionopt ;Expressionopt )Statement
for(LexicalDeclaration Expressionopt ;Expressionopt )Statement
for(LeftHandSideExpression inExpression )Statement
for(varForBinding inExpression )Statement
for(ForDeclaration inExpression )Statement
for(LeftHandSideExpression ofAssignmentExpression )Statement
for(varForBinding ofAssignmentExpression )Statement
for(ForDeclaration ofAssignmentExpression )Statement
forawait(LeftHandSideExpression ofAssignmentExpression )Statement
forawait(varForBinding ofAssignmentExpression )Statement
forawait(ForDeclaration ofAssignmentExpression )Statement
このルールを適用する必要があるのは、B.3.2で指定された拡張機能が実装されている場合のみです。

13.7.1.2 ランタイムセマンティクス(Runtime Semantics): LoopContinues ( completion, labelSet )

引数completionおよびlabelSetを使用した抽象操作LoopContinuesは、次の手順で定義されます。

  1. completion.[[Type]] が normal なら、 true を返す
  2. completion.[[Type]] が continue でないなら、 false を返す
  3. completion.[[Target]] が empty なら、 true を返す
  4. completion.[[Target]] が labelSet の要素なら、 true を返す
  5. false を返す
IterationStatementのStatementパート内で、ContinueStatementを使用して新しい反復を開始できます。

13.7.2 do-whileステートメント(The do-while Statement)

13.7.2.1 静的セマンティクス(Static Semantics): ContainsDuplicateLabels

引数 labelSet を使用。

IterationStatement :

doStatement while(Expression );
  1. 引数 labelSet を使用して Statement の ContainsDuplicateLabels の実行結果を返す

13.7.2.2 静的セマンティクス(Static Semantics): ContainsUndefinedBreakTarget

引数 labelSet を使用。

IterationStatement :

doStatement while(Expression );
  1. 引数 labelSet を使用して Statement の ContainsUndefinedBreakTarget の実行結果を返す

13.7.2.3 静的セマンティクス(Static Semantics): ContainsUndefinedContinueTarget

引数 iterationSet と labelSet を使用。

IterationStatement :

doStatement while(Expression );
  1. 引数 iterationSet と « » を使用して Statement の ContainsUndefinedContinueTarget の実行結果を返す

13.7.2.4 静的セマンティクス(Static Semantics): VarDeclaredNames

IterationStatement :

doStatement while(Expression );
  1. Statement の VarDeclaredNames を返す

13.7.2.5 静的セマンティクス(Static Semantics): VarScopedDeclarations

IterationStatement :

doStatement while(Expression );
  1. Statement の VarScopedDeclarations を返す

13.7.2.6 ランタイムセマンティクス(Runtime Semantics): LabelledEvaluation

引数 labelSet を使用。

IterationStatement :

doStatement while(Expression );
  1. undefined を V とする
  2. 繰り返す、
    1. Statement の評価結果を stmtResult とする
    2. LoopContinues(stmtResult, labelSet) が false なら、 Completion( UpdateEmpty(stmtResult, V))を返す
    3. stmtResult.[[Value]] が empty でないなら、 stmtResult.[[Value]] を V にセットする
    4. Expression の評価結果を exprRef とする
    5. ? GetValue(exprRef) を exprValue とする
    6. ! ToBoolean(exprValue) が false なら、 NormalCompletion(V)を返す

13.7.3 whileステートメント(The while Statement)

13.7.3.1 静的セマンティクス(Static Semantics): ContainsDuplicateLabels

引数 labelSet を使用。

IterationStatement :

while(Expression )Statement
  1. 引数 labelSet を使用して Statement の ContainsDuplicateLabels の実行結果を返す

13.7.3.2 静的セマンティクス(Static Semantics): ContainsUndefinedBreakTarget

引数 labelSet を使用。

IterationStatement :

while(Expression )Statement
  1. 引数 labelSet を使用して Statement の ContainsUndefinedBreakTarget の実行結果を返す

13.7.3.3 静的セマンティクス(Static Semantics): ContainsUndefinedContinueTarget

引数 iterationSet と labelSet を使用。

IterationStatement :

while(Expression )Statement
  1. 引数 iterationSet と « » を使用して Statement の ContainsUndefinedContinueTarget の実行結果を返す

13.7.3.4 静的セマンティクス(Static Semantics): VarDeclaredNames

IterationStatement :

while(Expression )Statement
  1. Statement の VarDeclaredNames を返す

13.7.3.5 静的セマンティクス(Static Semantics): VarScopedDeclarations

IterationStatement :

while(Expression )Statement
  1. Statement の VarScopedDeclarations を返す

13.7.3.6 ランタイムセマンティクス(Runtime Semantics): LabelledEvaluation

引数 labelSet を使用。

IterationStatement :

while(Expression )Statement
  1. undefined を V とする
  2. 繰り返す
    1. Expression の評価結果を exprRef とする
    2. ? GetValue(exprRef) を exprValue とする
    3. ! ToBoolean(exprValue) が false なら、 NormalCompletion(V)を返す
    4. Statement の評価結果を stmtResult とする
    5. LoopContinues(stmtResult, labelSet) が false なら、 Completion( UpdateEmpty(stmtResult, V))を返す
    6. stmtResult.[[Value]] が empty でないなら、 stmtResult.[[Value]] を V にセットする

13.7.4 forステートメント(The for Statement)

13.7.4.1 静的セマンティクス：早期エラー(Static Semantics: Early Errors)

IterationStatement :

for(LexicalDeclaration Expressionopt ;Expressionopt )Statement

13.7.4.2 静的セマンティクス(Static Semantics): ContainsDuplicateLabels

引数 labelSet を使用。

IterationStatement :

for(Expressionopt ;Expressionopt ;Expressionopt )Statement
for(varVariableDeclarationList ;Expressionopt ;Expressionopt )Statement
for(LexicalDeclaration Expressionopt ;Expressionopt )Statement
  1. 引数 labelSet を使用して Statement の ContainsDuplicateLabels の実行結果を返す

13.7.4.3 静的セマンティクス(Static Semantics): ContainsUndefinedBreakTarget

引数 labelSet を使用。

IterationStatement :

for(Expressionopt ;Expressionopt ;Expressionopt )Statement
for(varVariableDeclarationList ;Expressionopt ;Expressionopt )Statement
for(LexicalDeclaration Expressionopt ;Expressionopt )Statement
  1. 引数 labelSet を使用して Statement の ContainsUndefinedBreakTarget の実行結果を返す

13.7.4.4 静的セマンティクス(Static Semantics): ContainsUndefinedContinueTarget

引数 iterationSet と labelSet を使用。

IterationStatement :

for(Expressionopt ;Expressionopt ;Expressionopt )Statement
for(varVariableDeclarationList ;Expressionopt ;Expressionopt )Statement
for(LexicalDeclaration Expressionopt ;Expressionopt )Statement
  1. 引数 iterationSet と « » を使用して Statement の ContainsUndefinedContinueTarget の実行結果を返す

13.7.4.5 静的セマンティクス(Static Semantics): VarDeclaredNames

IterationStatement :

for(Expressionopt ;Expressionopt ;Expressionopt )Statement
  1. Statement の the VarDeclaredNames を返す

IterationStatement :

for(varVariableDeclarationList ;Expressionopt ;Expressionopt )Statement
  1. VariableDeclarationList の BoundNames を names とする
  2. Statement の VarDeclaredNames の要素を names に追加する
  3. names を返す

IterationStatement :

for(LexicalDeclaration Expressionopt ;Expressionopt )Statement
  1. Statement の VarDeclaredNames を返す

13.7.4.6 静的セマンティクス(Static Semantics): VarScopedDeclarations

IterationStatement :

for(Expressionopt ;Expressionopt ;Expressionopt )Statement
  1. Statement の VarScopedDeclarations を返す

IterationStatement :

for(varVariableDeclarationList ;Expressionopt ;Expressionopt )Statement
  1. VariableDeclarationList の VarScopedDeclarations を declarations とする
  2. Statement の VarScopedDeclarations の要素を declarations に追加する
  3. declarations を返す

IterationStatement :

for(LexicalDeclaration Expressionopt ;Expressionopt )Statement
  1. Statement の VarScopedDeclarations を返す

13.7.4.7 ランタイムセマンティクス(Runtime Semantics): LabelledEvaluation

引数 labelSet を使用。

IterationStatement :

for(Expressionopt ;Expressionopt ;Expressionopt )Statement
  1. 最初の Expression が存在するなら、
    1. 最初の Expression の評価結果を exprRef とする
    2. ? GetValue(exprRef) を実行する
  2. ? ForBodyEvaluation(2番目の Expression , 3番目の Expression , Statement , « », labelSet) を返す

IterationStatement :

for(varVariableDeclarationList ;Expressionopt ;Expressionopt )Statement
  1. VariableDeclarationList の評価結果を varDcl とする
  2. ReturnIfAbrupt(varDcl)
  3. ? ForBodyEvaluation(最初の Expression , 2番目の Expression , Statement , « », labelSet) を返す

IterationStatement :

for(LexicalDeclaration Expressionopt ;Expressionopt )Statement
  1. 実行中の実行コンテキスト の LexicalEnvironment を oldEnv とする
  2. NewDeclarativeEnvironment(oldEnv) を loopEnv とする
  3. loopEnv の EnvironmentRecord を loopEnvRec とする
  4. LexicalDeclaration の IsConstantDeclaration を isConst とする
  5. LexicalDeclaration の BoundNames を boundNames とする
  6. boundNames の 各要素を dn とし、dn ごとに次を実行する
    1. isConst が true なら、
      1. ! loopEnvRec.CreateImmutableBinding(dn, true) を実行する
    2. a. と異なるなら、
      1. ! loopEnvRec.CreateMutableBinding(dn, false) を実行する
  7. loopEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
  8. LexicalDeclaration の評価結果を forDcl とする
  9. forDcl が 突然の完了 なら、
    1. oldEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
    2. Completion(forDcl) を返す
  10. isConst が false なら boundNames を、 異なるなら « » を perIterationLets とする
  11. ForBodyEvaluation(最初の Expression , 2番目の Expression , Statement , perIterationLets, labelSet) を bodyResult とする
  12. oldEnv を 実行中の実行コンテキスト's LexicalEnvironment にセットする
  13. Completion(bodyResult) を返す

13.7.4.8 ランタイムセマンティクス(Runtime Semantics): ForBodyEvaluation ( test, increment, stmt, perIterationBindings, labelSet )

引数test, increment, stmt, perIterationBindings, labelSetを使用した抽象操作ForBodyEvaluationは、次のように実行されます。

  1. undefined を V とする
  2. ? CreatePerIterationEnvironment(perIterationBindings) を実行する
  3. 繰り返す、
    1. test が [empty] でないなら、
      1. test の評価結果を testRef とする
      2. ? GetValue(testRef) を testValue とする
      3. ! ToBoolean(testValue) が false なら、 NormalCompletion(V) を返す
    2. stmt の評価結果を result とする
    3. LoopContinues(result, labelSet) が false なら、 Completion( UpdateEmpty(result, V)) を返す
    4. result.[[Value]] が empty でないなら、 result.[[Value]] を V にセットする
    5. ? CreatePerIterationEnvironment(perIterationBindings) を実行する
    6. increment が [empty] でないなら、
      1. increment の評価結果を incRef とする
      2. ? GetValue(incRef) を実行する

13.7.4.9 ランタイムセマンティクス(Runtime Semantics): CreatePerIterationEnvironment ( perIterationBindings )

引数 perIterationBindingsを使用した抽象操作CreatePerIterationEnvironmentは、次のように実行されます。

  1. perIterationBindings に要素があるなら、
    1. 実行中の実行コンテキスト の LexicalEnvironment を lastIterationEnv とする
    2. lastIterationEnv の EnvironmentRecord を lastIterationEnvRec とする
    3. lastIterationEnv の外部環境参照を outer とする
    4. Assert: outer は null ではない
    5. NewDeclarativeEnvironment(outer) を thisIterationEnv とする
    6. thisIterationEnv の EnvironmentRecord を thisIterationEnvRec とする
    7. perIterationBindings の 各要素を bn とし、bn ごとに次を実行する
      1. ! thisIterationEnvRec.CreateMutableBinding(bn, false) を実行する
      2. ? lastIterationEnvRec.GetBindingValue(bn, true) を lastValue とする
      3. thisIterationEnvRec.InitializeBinding(bn, lastValue) を実行する
    8. thisIterationEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
  2. undefined を返す

13.7.5 for-in、for-of、for-await-ofステートメント(The for-in, for-of, and for-await-of Statements)

13.7.5.1 静的セマンティクス：早期エラー(Static Semantics: Early Errors)

IterationStatement :

for(LeftHandSideExpression inExpression )Statement
for(LeftHandSideExpression ofAssignmentExpression )Statement
forawait(LeftHandSideExpression ofAssignmentExpression )Statement

LeftHandSideExpression が ObjectLiteral またはArrayLiteral の場合、次の早期エラールールが適用されます。

LeftHandSideExpression が ObjectLiteral と ArrayLiteral のどちらでもない場合、次の早期エラールールが適用されます。

IterationStatement :

for(ForDeclaration inExpression )Statement
for(ForDeclaration ofAssignmentExpression )Statement
forawait(ForDeclaration ofAssignmentExpression )Statement
  • ForDeclaration の BoundNames が "let" を含んでいる場合、構文エラーです
  • ForDeclaration の BoundNames の要素が Statement の VarDeclaredNames でも出現する場合、構文エラーです
  • ForDeclaration の BoundNames に重複する要素が含まれている場合、構文エラーです

13.7.5.2 静的セマンティクス(Static Semantics): BoundNames

ForDeclaration :

LetOrConst ForBinding
  1. ForBinding の BoundNames を返す

13.7.5.3 静的セマンティクス(Static Semantics): ContainsDuplicateLabels

引数 labelSet を使用。

IterationStatement :

for(LeftHandSideExpression inExpression )Statement
for(varForBinding inExpression )Statement
for(ForDeclaration inExpression )Statement
for(LeftHandSideExpression ofAssignmentExpression )Statement
for(varForBinding ofAssignmentExpression )Statement
for(ForDeclaration ofAssignmentExpression )Statement
forawait(LeftHandSideExpression ofAssignmentExpression )Statement
forawait(varForBinding ofAssignmentExpression )Statement
forawait(ForDeclaration ofAssignmentExpression )Statement
  1. 引数 labelSet を使用して Statement の ContainsDuplicateLabels の実行結果を返す
このセクションは、付録B.3.6によって拡張されています。

13.7.5.4 静的セマンティクス(Static Semantics): ContainsUndefinedBreakTarget

引数 labelSet を使用。

IterationStatement :

for(LeftHandSideExpression inExpression )Statement
for(varForBinding inExpression )Statement
for(ForDeclaration inExpression )Statement
for(LeftHandSideExpression ofAssignmentExpression )Statement
for(varForBinding ofAssignmentExpression )Statement
for(ForDeclaration ofAssignmentExpression )Statement
forawait(LeftHandSideExpression ofAssignmentExpression )Statement
forawait(varForBinding ofAssignmentExpression )Statement
forawait(ForDeclaration ofAssignmentExpression )Statement
  1. 引数 labelSet を使用して Statement の ContainsUndefinedBreakTarget の実行結果を返す
このセクションは、付録B.3.6によって拡張されています。

13.7.5.5 静的セマンティクス(Static Semantics): ContainsUndefinedContinueTarget

引数 iterationSet と labelSet を使用。

IterationStatement :

for(LeftHandSideExpression inExpression )Statement
for(varForBinding inExpression )Statement
for(ForDeclaration inExpression )Statement
for(LeftHandSideExpression ofAssignmentExpression )Statement
for(varForBinding ofAssignmentExpression )Statement
for(ForDeclaration ofAssignmentExpression )Statement
forawait(LeftHandSideExpression ofAssignmentExpression )Statement
forawait(varForBinding ofAssignmentExpression )Statement
forawait(ForDeclaration ofAssignmentExpression )Statement
  1. 引数 iterationSet と « » を使用して Statement の ContainsUndefinedContinueTarget の実行結果を返す
このセクションは、付録B.3.6によって拡張されています。

13.7.5.6 静的セマンティクス(Static Semantics): IsDestructuring

ForDeclaration :

LetOrConst ForBinding
  1. ForBinding の IsDestructuring を返す

ForBinding :

BindingIdentifier
  1. false を返す

ForBinding :

BindingPattern
  1. true を返す
このセクションは、付録B.3.6によって拡張されています。

13.7.5.7 静的セマンティクス(Static Semantics): VarDeclaredNames

IterationStatement :

for(LeftHandSideExpression inExpression )Statement
for(ForDeclaration inExpression )Statement
for(LeftHandSideExpression ofAssignmentExpression )Statement
for(ForDeclaration ofAssignmentExpression )Statement
forawait(LeftHandSideExpression ofAssignmentExpression )Statement
forawait(ForDeclaration ofAssignmentExpression )Statement
  1. Statement の VarDeclaredNames を返す

IterationStatement :

for(varForBinding inExpression )Statement
for(varForBinding ofAssignmentExpression )Statement
forawait(varForBinding ofAssignmentExpression )Statement
  1. ForBinding の BoundNames を names とする
  2. Statement の VarDeclaredNames の要素を names に追加する
  3. names を返す
このセクションは、付録B.3.6によって拡張されています。

13.7.5.8 静的セマンティクス(Static Semantics): VarScopedDeclarations

IterationStatement :

for(LeftHandSideExpression inExpression )Statement
for(ForDeclaration inExpression )Statement
for(LeftHandSideExpression ofAssignmentExpression )Statement
for(ForDeclaration ofAssignmentExpression )Statement
forawait(LeftHandSideExpression ofAssignmentExpression )Statement
forawait(ForDeclaration ofAssignmentExpression )Statement
  1. Statement の VarScopedDeclarations を返す

IterationStatement :

for(varForBinding inExpression )Statement
for(varForBinding ofAssignmentExpression )Statement
forawait(varForBinding ofAssignmentExpression )Statement
  1. ForBinding を含む List を declarations とする
  2. Statement の VarScopedDeclarations の要素を declarations に追加する
  3. declarations を返す
このセクションは、付録B.3.6によって拡張されています。

13.7.5.9 ランタイムセマンティクス(Runtime Semantics): BindingInitialization

引数 value と environment を使用。

varステートメントおよび一部の非strict関数の仮パラメーターリストの場合（9.2.10を参照）、environmentにundefinedが指定されたとき、PutValueで初期化値を割り当てる必要があります。 このとき、レキシカルバインディングは、初期化子の評価の前に巻き上げられ、事前に初期化されます。

ForDeclaration :

LetOrConst ForBinding
  1. 引数 value と environment を使用して ForBinding の BindingInitialization の実行結果を返す

13.7.5.10 ランタイムセマンティクス(Runtime Semantics): BindingInstantiation

引数 environment を使用。

ForDeclaration :

LetOrConst ForBinding
  1. environment の EnvironmentRecord を envRec とする
  2. Assert: envRec は 宣言型環境レコード
  3. ForBinding の BoundNames の 各要素を name とし、name ごとに次を実行する
    1. LetOrConst の IsConstantDeclaration が true なら、
      1. ! envRec.CreateImmutableBinding(name, true) を実行する
    2. a. と異なるなら、
      1. ! envRec.CreateMutableBinding(name, false) を実行する

13.7.5.11 ランタイムセマンティクス(Runtime Semantics): LabelledEvaluation

引数 labelSet を使用。

IterationStatement :

for(LeftHandSideExpression inExpression )Statement
  1. ? ForIn/OfHeadEvaluation(« », Expression , enumerate) を keyResult とする
  2. ? ForIn/OfBodyEvaluation(LeftHandSideExpression , Statement , keyResult, enumerate, assignment, labelSet) を返す

IterationStatement :

for(varForBinding inExpression )Statement
  1. ? ForIn/OfHeadEvaluation(« », Expression , enumerate) を keyResult とする
  2. ? ForIn/OfBodyEvaluation(ForBinding , Statement , keyResult, enumerate, varBinding, labelSet) を返す

IterationStatement :

for(ForDeclaration inExpression )Statement
  1. ? ForIn/OfHeadEvaluation( ForDeclaration の BoundNames , Expression , enumerate) を keyResult とする
  2. ? ForIn/OfBodyEvaluation(ForDeclaration , Statement , keyResult, enumerate, lexicalBinding, labelSet) を返す

IterationStatement :

for(LeftHandSideExpression ofAssignmentExpression )Statement
  1. ? ForIn/OfHeadEvaluation(« », AssignmentExpression , iterate) を keyResult とする
  2. ? ForIn/OfBodyEvaluation(LeftHandSideExpression , Statement , keyResult, iterate, assignment, labelSet) を返す

IterationStatement :

for(varForBinding ofAssignmentExpression )Statement
  1. ? ForIn/OfHeadEvaluation(« », AssignmentExpression , iterate) を keyResult とする
  2. ? ForIn/OfBodyEvaluation(ForBinding , Statement , keyResult, iterate, varBinding, labelSet) を返す

IterationStatement :

for(ForDeclaration ofAssignmentExpression )Statement
  1. ? ForIn/OfHeadEvaluation(ForDeclaration の BoundNames , AssignmentExpression , iterate) を keyResult とする
  2. ? ForIn/OfBodyEvaluation(ForDeclaration , Statement , keyResult, iterate, lexicalBinding, labelSet) を返す

IterationStatement :

forawait(LeftHandSideExpression ofAssignmentExpression )Statement
  1. ? ForIn/OfHeadEvaluation(« », AssignmentExpression , async-iterate) を keyResult とする
  2. ? ForIn/OfBodyEvaluation(LeftHandSideExpression , Statement , keyResult, iterate, assignment, labelSet, async) を返す

IterationStatement :

forawait(varForBinding ofAssignmentExpression )Statement
  1. ? ForIn/OfHeadEvaluation(« », AssignmentExpression , async-iterate) を keyResult とする
  2. ? ForIn/OfBodyEvaluation(ForBinding , Statement , keyResult, iterate, varBinding, labelSet, async) を返す

IterationStatement :

forawait(ForDeclaration ofAssignmentExpression )Statement
  1. ? ForIn/OfHeadEvaluation( ForDeclaration の BoundNames , AssignmentExpression , async-iterate) を keyResult とする
  2. ? ForIn/OfBodyEvaluation(ForDeclaration , Statement , keyResult, iterate, lexicalBinding, labelSet, async) を返す
このセクションは、付録B.3.6によって拡張されています。

13.7.5.12 ランタイムセマンティクス(Runtime Semantics): ForIn/OfHeadEvaluation ( uninitializedBoundNames, expr, iterationKind )

抽象演算For/OfHeadEvaluationは、引数uninitializedBoundNames, expr, iterationKindを使用して呼び出されます。 iterationKindの値は、enumerate、iterate、async-iterateのいずれかです。

  1. 実行中の実行コンテキスト の LexicalEnvironment を oldEnv とする
  2. uninitializedBoundNames が空のリストでないなら、
    1. Assert: uninitializedBoundNames の要素は重複なし
    2. NewDeclarativeEnvironment(oldEnv) を newEnv とする
    3. newEnv の EnvironmentRecord を newEnvRec とする
    4. uninitializedBoundNames の文字列要素を name とし、各 name ごとに次を実行する
      1. ! newEnvRec.CreateMutableBinding(name, false) を実行する
    5. newEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
  3. expr の評価結果を exprRef とする
  4. oldEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
  5. ? GetValue(exprRef) を exprValue とする
  6. iterationKind が enumerate なら、
    1. exprValue が undefined か null なら、
      1. Completion { [[Type]]: break, [[Value]]: empty, [[Target]]: empty } を返す
    2. ! ToObject(exprValue) を obj とする
    3. ? EnumerateObjectProperties(obj) を返す
  7. 6. と異なるなら、
    1. Assert: iterationKind は iterate か async-iterate
    2. iterationKind が async-iterate なら、 async を iteratorHint とする
    3. b. と異なるなら、 sync を iteratorHint とする
    4. ? GetIterator(exprValue, iteratorHint) を返す

13.7.5.13 ランタイムセマンティクス(Runtime Semantics): ForIn/OfBodyEvaluation ( lhs, stmt, iteratorRecord, iterationKind, lhsKind, labelSet [ , iteratorKind ] )

抽象操作ForIn/OfBodyEvaluationは、引数lhs、stmt、iteratorRecord、iterationKind、lhsKind、labelSet、およびオプションの引数iteratorKindを使用して呼び出されます。 lhsKindの値は、assignment、varBinding、lexicalBindingのいずれかです。 iteratorKindの値は、syncまたはasyncです。

  1. iteratorKind が存在しないなら、 sync を iteratorKind にセットする
  2. 実行中の実行コンテキスト の LexicalEnvironment を oldEnv とする
  3. undefined を V とする
  4. lhs の IsDestructuring を destructuring とする
  5. destructuring が true で lhsKind が assignment なら、
    1. Assert: lhs は LeftHandSideExpression
    2. lhs によってカバーされているAssignmentPattern を assignmentPattern とする
  6. 繰り返す
    1. ? Call(iteratorRecord.[[NextMethod]], iteratorRecord.[[Iterator]]) を nextResult とする
    2. iteratorKind が async なら、 ? Await(nextResult) を nextResult にセットする
    3. Type(nextResult) が Object型 でないなら、 TypeError例外をスローする
    4. ? IteratorComplete(nextResult) を done とする
    5. done が true なら、 NormalCompletion(V) を返す
    6. ? IteratorValue(nextResult) を nextValue とする
    7. lhsKind が assignment か varBinding なら、
      1. destructuring が false なら、
        1. lhs の評価結果を lhsRef とする。 (繰り返し評価される場合があり)
    8. g. と異なるなら、
      1. Assert: lhsKind は lexicalBinding
      2. Assert: lhs は ForDeclaration
      3. NewDeclarativeEnvironment(oldEnv) を iterationEnv とする
      4. 引数 iterationEnv を使用して、lhs の BindingInstantiation を実行する
      5. iterationEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
      6. destructuring が false なら、
        1. Assert: lhs は単一の名前をバインドしている
        2. lhs の BoundNames の唯一の要素を lhsName とする
        3. ! ResolveBinding(lhsName) を lhsRef とする
    9. destructuring が false なら、
      1. lhsRef が an 突然の完了 なら、
        1. lhsRef を status とする
      2. i. と異なるなり、 lhsKind が lexicalBinding なら、
        1. InitializeReferencedBinding(lhsRef, nextValue) を status とする
      3. ii. と異なるなら、
        1. PutValue(lhsRef, nextValue) を status とする
    10. i. と異なるなら、
      1. lhsKind が assignment なら、
        1. 引数 nextValue を使用して assignmentPattern の DestructuringAssignmentEvaluation を status とする
      2. i. と異なるなり、 lhsKind が varBinding なら、
        1. Assert: lhs は ForBinding
        2. 引数 nextValue と undefined を使用して lhs の BindingInitialization を status とする
      3. ii. と異なるなら、
        1. Assert: lhsKind は lexicalBinding
        2. Assert: lhs は ForDeclaration
        3. 引数 nextValue と iterationEnv を使用して lhs の BindingInitialization を status とする
    11. status が 突然の完了 なら、
      1. oldEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
      2. iteratorKind が async なら、 ? AsyncIteratorClose(iteratorRecord, status) を返す
      3. iterationKind が enumerate なら、
        1. status を返す
      4. iii. と異なるなら、
        1. Assert: iterationKind は iterate
        2. ? IteratorClose(iteratorRecord, status) を返す
    12. stmt の評価結果を result とする
    13. oldEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
    14. LoopContinues(result, labelSet) が false なら、
      1. iterationKind が enumerate なら、
        1. Completion( UpdateEmpty(result, V)) を返す
      2. i. と異なるなら、
        1. Assert: iterationKind は iterate
        2. UpdateEmpty(result, V) を status にセットする
        3. iteratorKind が async なら、 ? AsyncIteratorClose(iteratorRecord, status) を返す
        4. ? IteratorClose(iteratorRecord, status) を返す
    15. result.[[Value]] が empty でないなら、 result.[[Value]] を V にセットする

13.7.5.14 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

ForBinding :

BindingIdentifier
  1. BindingIdentifier の StringValue を bindingId とする
  2. ? ResolveBinding(bindingId) を返す

13.7.5.15 EnumerateObjectProperties ( O )

抽象操作EnumerateObjectPropertiesが引数 Oで呼び出されると、次の手順が実行されます。

  1. Assert: Type(O) は Object型
  2. nextメソッドが、 O の列挙可能なプロパティキーを反復処理するIteratorオブジェクト（25.1.1.2）を返す。iteratorオブジェクトにECMAScriptコードから直接アクセスすることはできない。 プロパティを列挙するメカニズムと順序は指定されていない。ただし、以下に指定されているルールに準拠している必要がある。

イテレータのthrowメソッドとreturnメソッドはnullであり、呼び出されることはありません。 nextメソッドは、オブジェクトのプロパティを処理して、プロパティキーをイテレータ値として返す必要があるかどうかを判断します。 返されるプロパティキーには、シンボルキーは含まれません。 ターゲットオブジェクトのプロパティは、列挙中に削除されることがあります。 nextメソッドの処理前に削除されたプロパティは無視されます。 列挙中に新しいプロパティが追加された場合は、そのプロパティが列挙処理されるかどうかを保証されません。 プロパティ名は、nextメソッドで、一度だけ返されます。

ターゲットオブジェクトのプロパティ列挙は、プロトタイプのプロパティ、プロトタイプのプロトタイプを再帰的に列挙することなどが含まれます。 ただし、プロトタイプのプロパティは、nextメソッドによって処理済のプロパティと同名のものは処理されません。 [[Enumerable]]属性の値は、プロトタイプオブジェクトのプロパティがすでに処理されているかどうかの判断時に考慮されません。 プロトタイプオブジェクトの列挙可能なプロパティ名は、プロトタイプオブジェクトを引数として渡してEnumerateObjectPropertiesを呼び出すことによって取得します。 EnumerateObjectPropertiesは、[[OwnPropertyKeys]]内部メソッドを呼び出して、ターゲットオブジェクトの独自プロパティキーを取得します。 ターゲットオブジェクトのプロパティ属性は、その[[GetOwnProperty]]内部メソッドを呼び出すことによって取得します。

さらに、Oおよび、プロトタイプチェーン内のオブジェクトが、 Proxyエキゾチックオブジェクト、Integer-Indexedエキゾチックオブジェクト、モジュールネームスペースエキゾチックオブジェクト、または実装提供のエキゾチックオブジェクトのどれでもない場合、次のいずれかが発生するまで、イテレータはCreateForInIterator(O)で指定されたイテレータと同じように動作する必要があります。

  • O の [[Prototype]]内部スロットまたは、そのプロトタイプチェーン内のオブジェクトの値が変更される
  • プロパティが O またはそのプロトタイプチェーン内のオブジェクトから削除される
  • O のプロトタイプチェーン内のオブジェクトにプロパティが追加される
  • O のプロパティまたは、そのプロトタイプチェーン内のオブジェクトの[[Enumerable]]属性の値が変更される
ホストは、13.7.5.16.2.1のアルゴリズムを直接実装する必要はありません。 前の段落の制約の1つに違反しない限り、動作がそのアルゴリズムから逸脱しない実装を選択できます。以下は、これらのルールに準拠するECMAScriptジェネレーター関数の定義です。

function* EnumerateObjectProperties(obj) {
  const visited = new Set();
  for (const key of Reflect.ownKeys(obj)) {
    if (typeof key === "symbol") continue;
    const desc = Reflect.getOwnPropertyDescriptor(obj, key);
    if (desc) {
      visited.add(key);
      if (desc.enumerable) yield key;
    }
  }
  const proto = Reflect.getPrototypeOf(obj);
  if (proto === null) return;
  for (const protoKey of EnumerateObjectProperties(proto)) {
    if (!visited.has(protoKey)) yield protoKey;
  }
}
実装が歴史的にこれらのケースの動作で異なっていたため、実装がCreateForInIteratorと一致する必要がないエキゾチックなオブジェクトのリストを選択しています。そして、他のすべてのケースで合意されています。

13.7.5.16 For-Inイテレーターオブジェクト(For-In Iterator Objects)

For-Inイテレーターは、特定のオブジェクトに対して反復をおこなうオブジェクトです。 For-Inイテレーターオブジェクトは、ECMAScriptコードに直接アクセスすることはできません。 これらは、EnumerateObjectPropertiesの動作を説明するためだけに存在します。

13.7.5.16.1 CreateForInIterator ( object )

引数objectを使用した抽象操作CreateForInIteratorは、objectの独自かつ継承可能で列挙可能な文字列プロパティを特定の順序で反復する For-Inイテレーターオブジェクトを作成するために使用されます。 次の手順を実行します。

  1. Assert: Type(object) は Object型
  2. OrdinaryObjectCreate(%ForInIteratorPrototype%, « [[Object]], [[ObjectWasVisited]], [[VisitedKeys]], [[RemainingKeys]] ») を iterator とする
  3. object を iterator.[[Object]] にセットする
  4. false を iterator.[[ObjectWasVisited]] にセットする
  5. 空の新規List を iterator.[[VisitedKeys]] にセットする
  6. 空の新規List を iterator.[[RemainingKeys]] にセットする
  7. iterator を返す
13.7.5.16.2 The %ForInIteratorPrototype% Object

％ForInIteratorPrototype％オブジェクトは、

  • すべてのFor-Inイテレータオブジェクトに継承されるプロパティがあります。
  • 通常のオブジェクトです。
  • [[Prototype]]内部スロットがあり、その値は組み込みオブジェクト%IteratorPrototype% です。
  • ECMAScriptコードに直接アクセスすることはできません。
  • 以降のプロパティを所持しています。
13.7.5.16.2.1 %ForInIteratorPrototype%.next ( )
  1. this値を O とする
  2. Assert: Type(O) は Object型
  3. Assert: O は、For-Inイテレータインスタンスのすべての内部スロットがある (13.7.5.16.3)
  4. O.[[Object]] を object とする
  5. O.[[VisitedKeys]] を visited とする
  6. O.[[RemainingKeys]] を remaining とする
  7. 繰り返す、
    1. O.[[ObjectWasVisited]] が false なら、
      1. ? object.[[OwnPropertyKeys]]() を keys とする
      2. リスト順に keys の 各要素を key とし、key ごとに次を実行する
        1. Type(key) が String型 なら、
          1. remaining に key を追加する
      3. true を O.[[ObjectWasVisited]] にセットする
    2. remaining がemptyでない間繰り返し、
      1. remaining から最初の要素を削除し、要素の値を r とする
      2. SameValue(r, v) が true となる要素 v が visited に存在しないなら、
        1. ? object.[[GetOwnProperty]](r) を desc とする
        2. desc が undefined でないなら、
          1. visited に r を追加する
          2. desc.[[Enumerable]] が true なら、 CreateIterResultObject(r, false) を返す
    3. ? object.[[GetPrototypeOf]]() を object にセットする
    4. object を O.[[Object]] にセットする
    5. false を O.[[ObjectWasVisited]] にセットする
    6. object が null なら、 CreateIterResultObject(undefined, true) を返す
13.7.5.16.3 For-Inイテレータインスタンスのプロパティ(Properties of For-In Iterator Instances)

For-Inイテレータインスタンスは、%ForInIteratorPrototype%組み込みオブジェクトからプロパティを継承する通常のオブジェクトです。 For-Inイテレータインスタンスは、最初に表36にリストされている内部スロットを使用して作成されます。

表36: For-Inイテレータインスタンスの内部スロット
内部スロット 内容
[[Object]] 対象オブジェクト
[[ObjectWasVisited]] イテレータが[[Object]]で[[OwnPropertyKeys]]を呼び出した場合はtrue、それ以外の場合はfalse。
[[VisitedKeys]] 発行済文字列値リスト
[[RemainingKeys]] プロトタイプのプロパティを反復する前に、現在のオブジェクトで未出力の文字列値のリスト（プロトタイプがnullでない場合）。

13.8 continueステートメント(The continue Statement)

構文：

ContinueStatement[Yield, Await] :

continue;
continue[no LineTerminator here]LabelIdentifier[?Yield, ?Await] ;

13.8.1 静的セマンティクス：早期エラー(Static Semantics: Early Errors)

ContinueStatement :

continue;
ContinueStatement :

continueLabelIdentifier ;
  • ContinueStatement が直接または間接的に（ただし、関数の境界を越えない）ネストされていない場合、 IterationStatement 内で構文エラーになります。

13.8.2 静的セマンティクス(Static Semantics): ContainsUndefinedContinueTarget

引数 iterationSet と labelSet を使用。

ContinueStatement :

continue;
  1. false を返す
ContinueStatement :

continueLabelIdentifier ;
  1. LabelIdentifier の StringValue が iterationSet の要素でないなら、 true を返す
  2. false を返す

13.8.3 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

ContinueStatement :

continue;
  1. Completion { [[Type]]: continue, [[Value]]: empty, [[Target]]: empty } を返す
ContinueStatement :

continueLabelIdentifier ;
  1. LabelIdentifier の StringValue を label とする
  2. Completion { [[Type]]: continue, [[Value]]: empty, [[Target]]: label } を返す

13.9 breakステートメント(The break Statement)

構文：

BreakStatement[Yield, Await] :

break;
break[no LineTerminator here]LabelIdentifier[?Yield, ?Await] ;

13.9.1 静的セマンティクス：早期エラー(Static Semantics: Early Errors)

BreakStatement :

break;

13.9.2 静的セマンティクス(Static Semantics): ContainsUndefinedBreakTarget

引数 labelSet を使用。

BreakStatement :

break;
  1. false を返す
BreakStatement :

breakLabelIdentifier ;
  1. LabelIdentifier の StringValue が labelSet の要素でないなら、 true を返す
  2. false を返す

13.9.3 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

BreakStatement :

break;
  1. Completion { [[Type]]: break, [[Value]]: empty, [[Target]]: empty } を返す
BreakStatement :

breakLabelIdentifier ;
  1. LabelIdentifier の StringValue を label とする
  2. Completion { [[Type]]: break, [[Value]]: empty, [[Target]]: label } を返す

13.10 returnステートメント(The return Statement)

構文：

ReturnStatement[Yield, Await] :

return;
return[no LineTerminator here]Expression[+In, ?Yield, ?Await] ;
returnステートメントは関数の実行を停止し、呼び出し元に値を返します。Expressionを省略した場合、戻り値はundefinedです。 それ以外の戻り値はExpressionの値です。 周囲のコンテキストによっては、returnステートメントが呼び出し元に値を返さない場合があります。 たとえば、tryブロックでは、finallyブロックの評価中に、returnステートメントの完了レコードが別の完了レコードに置き換えられる場合があります。

13.10.1 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

ReturnStatement :

return;
  1. Completion { [[Type]]: return, [[Value]]: undefined, [[Target]]: empty } を返す
ReturnStatement :

returnExpression ;
  1. Expression の評価結果を exprRef とする
  2. ? GetValue(exprRef) を exprValue とする
  3. ! GetGeneratorKind() が async なら、 ? Await(exprValue) を exprValue にセットする
  4. Completion { [[Type]]: return, [[Value]]: exprValue, [[Target]]: empty } を返す

13.11 withステートメント(The with Statement)

構文：

WithStatement[Yield, Await, Return] :

with(Expression[+In, ?Yield, ?Await] )Statement[?Yield, ?Await, ?Return]
withステートメントは、計算されたオブジェクトのオブジェクト環境レコードを、実行中の実行コンテキストのレキシカル環境に追加します。 次に、この拡張されたレキシカル環境を使用してステートメントを実行します。 最後に、元のレキシカル環境を復元します。

13.11.1 静的セマンティクス：早期エラー(Static Semantics: Early Errors)

WithStatement :

with(Expression )Statement
B.3.2で指定された拡張機能が実装されている場合にのみ、2番目のルールを適用する必要があります。

13.11.2 静的セマンティクス(Static Semantics): ContainsDuplicateLabels

引数 labelSet を使用。

WithStatement :

with(Expression )Statement
  1. 引数 labelSet を使用して Statement の ContainsDuplicateLabels の実行結果を返す

13.11.3 静的セマンティクス(Static Semantics): ContainsUndefinedBreakTarget

引数 labelSet を使用。

WithStatement :

with(Expression )Statement
  1. 引数 labelSet を使用して Statement の ContainsUndefinedBreakTarget の実行結果を返す

13.11.4 静的セマンティクス(Static Semantics): ContainsUndefinedContinueTarget

引数 iterationSet と labelSet を使用。

WithStatement :

with(Expression )Statement
  1. 引数 iterationSet と « » を使用して Statement の ContainsUndefinedContinueTarget の実行結果を返す

13.11.5 静的セマンティクス(Static Semantics): VarDeclaredNames

WithStatement :

with(Expression )Statement
  1. Statement の VarDeclaredNames を返す

13.11.6 静的セマンティクス(Static Semantics): VarScopedDeclarations

WithStatement :

with(Expression )Statement
  1. Statement の the VarScopedDeclarations を返す

13.11.7 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

WithStatement :

with(Expression )Statement
  1. Expression の評価結果を val とする
  2. ? ToObject(? GetValue(val)) を obj とする
  3. 実行中の実行コンテキスト の LexicalEnvironment を oldEnv とする
  4. NewObjectEnvironment(obj, oldEnv) を newEnv とする
  5. true を newEnv の EnvironmentRecord の withEnvironment フラグにセットする
  6. newEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
  7. Statement の評価結果を C とする
  8. oldEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
  9. Completion( UpdateEmpty(C, undefined)) を返す
制御が埋め込まれたStatementをどのように（通常、突然の完了、例外に関わらず）離れても、LexicalEnvironmentは常に以前の状態に復元されます。

13.12 switchステートメント(The switch Statement)

構文：

SwitchStatement[Yield, Await, Return] :

switch(Expression[+In, ?Yield, ?Await] )CaseBlock[?Yield, ?Await, ?Return]
CaseBlock[Yield, Await, Return] :

{CaseClauses[?Yield, ?Await, ?Return]opt }
{CaseClauses[?Yield, ?Await, ?Return]opt DefaultClause[?Yield, ?Await, ?Return] CaseClauses[?Yield, ?Await, ?Return]opt }
CaseClauses[Yield, Await, Return] :

CaseClause[?Yield, ?Await, ?Return]
CaseClauses[?Yield, ?Await, ?Return] CaseClause[?Yield, ?Await, ?Return]
CaseClause[Yield, Await, Return] :

caseExpression[+In, ?Yield, ?Await] :StatementList[?Yield, ?Await, ?Return]opt
DefaultClause[Yield, Await, Return] :

default:StatementList[?Yield, ?Await, ?Return]opt

13.12.1 静的セマンティクス：早期エラー(Static Semantics: Early Errors)

SwitchStatement :

switch(Expression )CaseBlock
  • 重複するエントリが CaseBlock の LexicallyDeclaredNames に含まれている場合、構文エラーになります。
  • CaseBlock の LexicallyDeclaredNames の要素が CaseBlock の VarDeclaredNames でも発生する場合は、構文エラーです。

13.12.2 静的セマンティクス(Static Semantics): ContainsDuplicateLabels

引数 labelSet を使用。

SwitchStatement :

switch(Expression )CaseBlock
  1. 引数 labelSet を使用して CaseBlock の ContainsDuplicateLabels の実行結果を返す
CaseBlock :

{}
  1. false を返す
CaseBlock :

{CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、
    1. 引数 labelSet を使用して 最初の CaseClauses の ContainsDuplicateLabels を hasDuplicates とする
    2. hasDuplicates が true なら、 true を返す
  2. 引数 labelSet を使用して DefaultClause の ContainsDuplicateLabels を hasDuplicates とする
  3. hasDuplicates が true なら、 true を返す
  4. 2番目の CaseClauses が存在しないなら、 false を返す
  5. 引数 labelSet を使用して 2番目の CaseClauses の ContainsDuplicateLabels の実行結果を返す
CaseClauses :

CaseClauses CaseClause
  1. 引数 labelSet を使用して CaseClauses の ContainsDuplicateLabels を hasDuplicates とする
  2. hasDuplicates が true なら、 true を返す
  3. 引数 labelSet を使用して CaseClause の ContainsDuplicateLabels の実行結果を返す
CaseClause :

caseExpression :StatementListopt
  1. StatementList が存在するなら、 引数 labelSet を使用して StatementList の ContainsDuplicateLabels の実行結果を返す
  2. false を返す
DefaultClause :

default:StatementListopt
  1. StatementList が存在するなら、 引数 labelSet を使用して StatementList の ContainsDuplicateLabels の実行結果を返す
  2. false を返す

13.12.3 静的セマンティクス(Static Semantics): ContainsUndefinedBreakTarget

引数 labelSet を使用。

SwitchStatement :

switch(Expression )CaseBlock
  1. 引数 labelSet を使用して CaseBlock の ContainsUndefinedBreakTarget の実行結果を返す
CaseBlock :

{}
  1. false を返す
CaseBlock :

{CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、
    1. 引数 labelSet を使用して 最初の CaseClauses の ContainsUndefinedBreakTarget を hasUndefinedLabels とする
    2. hasUndefinedLabels が true なら、 true を返す
  2. 引数 labelSet を使用して DefaultClause の ContainsUndefinedBreakTarget を hasUndefinedLabels とする
  3. hasUndefinedLabels が true なら、 true を返す
  4. 2番目の CaseClauses が存在しないなら、 false を返す
  5. 引数 labelSet を使用して 2番目の CaseClauses の ContainsUndefinedBreakTarget の実行結果を返す
CaseClauses :

CaseClauses CaseClause
  1. 引数 labelSet を使用して CaseClauses の ContainsUndefinedBreakTarget を hasUndefinedLabels とする
  2. hasUndefinedLabels が true なら、 true を返す
  3. 引数 labelSet を使用して CaseClause の ContainsUndefinedBreakTarget の実行結果を返す
CaseClause :

caseExpression :StatementListopt
  1. StatementList が存在するなら、 引数 labelSet を使用して StatementList の ContainsUndefinedBreakTarget の実行結果を返す
  2. false を返す
DefaultClause :

default:StatementListopt
  1. StatementList が存在するなら、 引数 labelSet を使用して StatementList の ContainsUndefinedBreakTarget の実行結果を返す
  2. false を返す

13.12.4 静的セマンティクス(Static Semantics): ContainsUndefinedContinueTarget

引数 iterationSet と labelSet を使用。

SwitchStatement :

switch(Expression )CaseBlock
  1. 引数 iterationSet と « » を使用して CaseBlock の ContainsUndefinedContinueTarget の実行結果を返す
CaseBlock :

{}
  1. false を返す
CaseBlock :

{CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、
    1. 引数 iterationSet と « » を使用して 最初の CaseClauses の ContainsUndefinedContinueTarget を hasUndefinedLabels とする
    2. hasUndefinedLabels が true なら、 true を返す
  2. 引数 iterationSet と « » を使用して DefaultClause の ContainsUndefinedContinueTarget を hasUndefinedLabels とする
  3. hasUndefinedLabels が true なら、 true を返す
  4. 2番目の CaseClauses が存在しないなら、 false を返す
  5. 引数 iterationSet と « » を使用して 2番目の CaseClauses の ContainsUndefinedContinueTarget の実行結果を返す
CaseClauses :

CaseClauses CaseClause
  1. 引数 iterationSet と « » を使用して CaseClauses の ContainsUndefinedContinueTarget を hasUndefinedLabels とする
  2. hasUndefinedLabels が true なら、 true を返す
  3. 引数 iterationSet と « » を使用して CaseClause の ContainsUndefinedContinueTarget の実行結果を返す
CaseClause :

caseExpression :StatementListopt
  1. StatementList が存在するなら、 引数 iterationSet と « » を使用して StatementList の ContainsUndefinedContinueTarget の実行結果を返す
  2. false を返す
DefaultClause :

default:StatementListopt
  1. StatementList が存在するなら、 引数 iterationSet と « » を使用して StatementList の ContainsUndefinedContinueTarget の実行結果を返す
  2. false を返す

13.12.5 静的セマンティクス(Static Semantics): LexicallyDeclaredNames

CaseBlock :

{}
  1. 空の新規List を返す
CaseBlock :

{CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、最初の CaseClauses の LexicallyDeclaredNames を names とする
  2. 2. と異なるなら、 空の新規List を names とする
  3. DefaultClause の LexicallyDeclaredNames の要素を names に追加する
  4. 2番目の CaseClauses が存在しないなら、 names を返す
  5. 2番目の CaseClauses の LexicallyDeclaredNames の要素を names に追加した結果を返す
CaseClauses :

CaseClauses CaseClause
  1. CaseClauses の LexicallyDeclaredNames を names とする
  2. CaseClause の LexicallyDeclaredNames の要素を names に追加する
  3. names を返す
CaseClause :

caseExpression :StatementListopt
  1. StatementList が存在するなら、 StatementList の LexicallyDeclaredNames を返す
  2. 空の新規List を返す
DefaultClause :

default:StatementListopt
  1. StatementList が存在するなら、 StatementList の LexicallyDeclaredNames を返す
  2. 空の新規List を返す

13.12.6 静的セマンティクス(Static Semantics): LexicallyScopedDeclarations

CaseBlock :

{}
  1. 空の新規List を返す
CaseBlock :

{CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、 最初の CaseClauses の LexicallyScopedDeclarations を declarations とする
  2. 2. と異なるなら、 空の新規List を declarations とする
  3. DefaultClause の LexicallyScopedDeclarations の要素を declarations に追加する
  4. 2番目の CaseClauses が存在しないなら、 declarations を返す
  5. 2番目の CaseClauses の LexicallyScopedDeclarations の要素を declarations に追加した結果を返す
CaseClauses :

CaseClauses CaseClause
  1. CaseClauses の LexicallyScopedDeclarations を declarations とする
  2. CaseClause の LexicallyScopedDeclarations の要素を declarations に追加する
  3. declarations を返す
CaseClause :

caseExpression :StatementListopt
  1. StatementList が存在するなら、 StatementList の LexicallyScopedDeclarations を返す
  2. 空の新規List を返す
DefaultClause :

default:StatementListopt
  1. StatementList が存在するなら、 StatementList の the LexicallyScopedDeclarations を返す
  2. 空の新規List を返す

13.12.7 静的セマンティクス(Static Semantics): VarDeclaredNames

SwitchStatement :

switch(Expression )CaseBlock
  1. CaseBlock の VarDeclaredNames を返す
CaseBlock :

{}
  1. 空の新規List を返す
CaseBlock :

{CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、 最初の CaseClauses の VarDeclaredNames を names とする
  2. 3. と異なるなら、 空の新規List を names とする
  3. DefaultClause の VarDeclaredNames の要素を names に追加する
  4. 2番目の CaseClauses が 存在しないなら、 を返す names
  5. 2番目の CaseClauses の VarDeclaredNames の要素を names に追加した結果を返す
CaseClauses :

CaseClauses CaseClause
  1. CaseClauses の VarDeclaredNames を names とする
  2. CaseClause の VarDeclaredNames の要素を names に追加する
  3. names を返す
CaseClause :

caseExpression :StatementListopt
  1. StatementList が存在するなら、 StatementList の VarDeclaredNames を返す
  2. 空の新規List を返す
DefaultClause :

default:StatementListopt
  1. StatementList が存在するなら、 StatementList の VarDeclaredNames を返す
  2. 空の新規List を返す

13.12.8 静的セマンティクス(Static Semantics): VarScopedDeclarations

SwitchStatement :

switch(Expression )CaseBlock
  1. CaseBlock の VarScopedDeclarations を返す
CaseBlock :

{}
  1. 空の新規List を返す
CaseBlock :

{CaseClausesopt DefaultClause CaseClausesopt }
  1. 最初の CaseClauses が存在するなら、 最初の CaseClauses の VarScopedDeclarations を declarations とする
  2. 3. と異なるなら、 空の新規List を declarations とする
  3. DefaultClause の VarScopedDeclarations の要素を declarations に追加する
  4. 2番目の CaseClauses が存在しないなら、 declarations を返す
  5. 2番目の CaseClauses の VarScopedDeclarations の要素を declarations に追加した結果を返す
CaseClauses :

CaseClauses CaseClause
  1. CaseClauses の VarScopedDeclarations を declarations とする
  2. CaseClause の VarScopedDeclarations の要素を declarations に追加する
  3. declarations を返す
CaseClause :

caseExpression :StatementListopt
  1. StatementList が存在するなら、 StatementList の VarScopedDeclarations を返す
  2. 空の新規List を返す
DefaultClause :

default:StatementListopt
  1. StatementList が存在するなら、 StatementList の VarScopedDeclarations を返す
  2. 空の新規List を返す

13.12.9 ランタイムセマンティクス(Runtime Semantics): CaseBlockEvaluation

引数 input を使用。

CaseBlock :

{}
  1. NormalCompletion(undefined) を返す
CaseBlock :

{CaseClauses }
  1. undefined を V とする
  2. CaseClauses の CaseClauseアイテムを、ソーステキスト順で List にしたものを A とする
  3. false を found とする
  4. A の 各 CaseClause を C とし、 C ごとに次を実行する
    1. found が false なら、
      1. ? CaseClauseIsSelected(C, input) を found にセットする
    2. found が true なら、
      1. C の評価結果を R とする
      2. R.[[Value]] が empty でないなら、 R.[[Value]] を V にセットする
      3. R が 突然の完了 なら、 Completion( UpdateEmpty(R, V)) を返す
  5. NormalCompletion(V) を返す
CaseBlock :

{CaseClausesopt DefaultClause CaseClausesopt }
  1. undefined を V とする
  2. 最初の CaseClauses が 存在するなら、
    1. 最初の CaseClauses の CaseClause アイテムをソーステキスト順のリストにしたものを A とする
  3. 8. と異なるなら、
    1. « » を A とする
  4. false を found とする
  5. A の 各 CaseClause を C とし、 C ごとに次を実行する
    1. found が false なら、
      1. ? CaseClauseIsSelected(C, input) を found にセットする
    2. found が true なら、
      1. C の評価結果を R とする
      2. R.[[Value]] が empty でないなら、 R.[[Value]] を V にセットする
      3. R が 突然の完了 なら、 Completion( UpdateEmpty(R, V)) を返す
  6. false を foundInB とする
  7. 2番目の CaseClauses が存在するなら、
    1. 2番目の CaseClauses の CaseClauseアイテムをソーステキスト順のリストにしたものを B とする
  8. 13. と異なるなら、
    1. « » を B とする
  9. found が false なら、
    1. B の 各 CaseClause を C とし C ごとに次を実行する
      1. foundInB が false なら、
        1. ? CaseClauseIsSelected(C, input) を foundInB にセットする
      2. foundInB が true なら、
        1. CaseClause C の評価結果を R とする
        2. R.[[Value]] が empty でないなら、 R.[[Value]] を V にセットする
        3. R が 突然の完了 なら、 Completion( UpdateEmpty(R, V)) を返す
  10. foundInB が true なら、 NormalCompletion(V) を返す
  11. DefaultClause の評価結果を R とする
  12. R.[[Value]] が empty でないなら、 R.[[Value]] を V にセットする
  13. R が 突然の完了 なら、 Completion( UpdateEmpty(R, V)) を返す
  14. NOTE: 以下は、2番目のCaseClausesの反復です。
  15. B の 各 CaseClause を C とし、 C ごとに次を実行する
    1. C の評価結果を R とする
    2. R.[[Value]] が empty でないなら、 R.[[Value]] を V にセットする
    3. R が 突然の完了 なら、 Completion( UpdateEmpty(R, V)) を返す
  16. NormalCompletion(V) を返す

13.12.10 ランタイムセマンティクス(Runtime Semantics): CaseClauseIsSelected ( C, input )

抽象演算CaseClauseIsSelectedは、CaseClause C と値inputが与えられると、C が入力と一致するかどうかを判別します。

  1. Assert: C は プロダクション CaseClause : caseExpression :StatementListopt　のインスタンス
  2. C の Expression の評価結果を exprRef とする
  3. ? GetValue(exprRef) を clauseSelector とする
  4. 厳密等値比較 input === clauseSelector の実行結果を返す
この操作は、C の StatementList（存在する場合）を実行しません。 CaseBlock アルゴリズムは、その戻り値を使用して、実行を開始するStatementListを決定します。

13.12.11 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

SwitchStatement :

switch(Expression )CaseBlock
  1. Expression の評価結果を exprRef とする
  2. ? GetValue(exprRef) を switchValue とする
  3. 実行中の実行コンテキスト の LexicalEnvironment を oldEnv とする
  4. NewDeclarativeEnvironment(oldEnv) を blockEnv とする
  5. BlockDeclarationInstantiation(CaseBlock , blockEnv) を実行する
  6. blockEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
  7. 引数 switchValue を使用して CaseBlock の CaseBlockEvaluation を R とする
  8. oldEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
  9. R を返す
制御がSwitchStatementからどのように離れても、LexicalEnvironmentは常に以前の状態に復元されます。
CaseClause :

caseExpression :
  1. NormalCompletion(empty) を返す
CaseClause :

caseExpression :StatementList
  1. StatementList の 評価結果を返す
DefaultClause :

default:
  1. NormalCompletion(empty) を返す
DefaultClause :

default:StatementList
  1. StatementList の 評価結果を返す

13.13 ラベル付きステートメント(Labelled Statements)

構文：

LabelledStatement[Yield, Await, Return] :

LabelIdentifier[?Yield, ?Await] :LabelledItem[?Yield, ?Await, ?Return]
LabelledItem[Yield, Await, Return] :

Statement[?Yield, ?Await, ?Return]
FunctionDeclaration[?Yield, ?Await, ~Default]
ラベル付きステートメントは、ラベルとbreaおよびcontinueステートメントと組み合わせてのみ使用されます。 ECMAScriptにはgotoステートメントがありません。 ステートメントはLabelledStatementの一部にすることができ、それ自体はLabelledStatementの一部にすることができます。 この方法で導入されたラベルは、個々のステートメントのセマンティクスで、まとめて「現在のラベルセット」と呼びます。

13.13.1 静的セマンティクス：早期エラー(Static Semantics: Early Errors)

LabelledItem :

FunctionDeclaration
  • ソーステキストがこのルールに一致する場合は、構文エラーです。
このルールの代替定義がB.3.2に記載されています。

13.13.2 静的セマンティクス(Static Semantics): ContainsDuplicateLabels

引数 labelSet を使用。

LabelledStatement :

LabelIdentifier :LabelledItem
  1. LabelIdentifier の StringValue を label とする
  2. label が labelSet の要素なら、 true を返す
  3. label を追加した labelSet のコピーを newLabelSet とする
  4. 引数 newLabelSet を使用して LabelledItem の ContainsDuplicateLabels の実行結果を返す
LabelledItem :

FunctionDeclaration
  1. false を返す

13.13.3 静的セマンティクス(Static Semantics): ContainsUndefinedBreakTarget

引数 labelSet を使用。

LabelledStatement :

LabelIdentifier :LabelledItem
  1. LabelIdentifier の StringValue を label とする
  2. label を追加した labelSet のコピーを newLabelSet とする
  3. 引数 newLabelSet を使用して LabelledItem の ContainsUndefinedBreakTarget の実行結果を返す
LabelledItem :

FunctionDeclaration
  1. false を返す

13.13.4 静的セマンティクス(Static Semantics): ContainsUndefinedContinueTarget

引数 iterationSet と labelSet を使用。

LabelledStatement :

LabelIdentifier :LabelledItem
  1. LabelIdentifier の the StringValue を label とする
  2. label を追加した labelSet のコピーを newLabelSet とする
  3. 引数 iterationSet と newLabelSet を使用して LabelledItem の ContainsUndefinedContinueTarget の実行結果を返す
LabelledItem :

FunctionDeclaration
  1. false を返す

13.13.5 静的セマンティクス(Static Semantics): IsLabelledFunction ( stmt )

引数stmtを指定した抽象操作IsLabelledFunctionは、次の手順を実行します。

  1. stmt が LabelledStatement でないなら、 false を返す
  2. stmt の LabelledItem を item とする
  3. item が LabelledItem : FunctionDeclarationなら、 true を返す
  4. item の Statement を subStmt とする
  5. IsLabelledFunction(subStmt) を返す

13.13.6 静的セマンティクス(Static Semantics): LexicallyDeclaredNames

LabelledStatement :

LabelIdentifier :LabelledItem
  1. LabelledItem の LexicallyDeclaredNames を返す
LabelledItem :

Statement
  1. 空の新規List を返す
LabelledItem :

FunctionDeclaration
  1. FunctionDeclaration の BoundNames を返す

13.13.7 静的セマンティクス(Static Semantics): LexicallyScopedDeclarations

LabelledStatement :

LabelIdentifier :LabelledItem
  1. LabelledItem の the LexicallyScopedDeclarations を返す
LabelledItem :

Statement
  1. 空の新規List を返す
LabelledItem :

FunctionDeclaration
  1. FunctionDeclaration を含む新規List を返す

13.13.8 静的セマンティクス(Static Semantics): TopLevelLexicallyDeclaredNames

LabelledStatement :

LabelIdentifier :LabelledItem
  1. 空の新規List を返す

13.13.9 静的セマンティクス(Static Semantics): TopLevelLexicallyScopedDeclarations

LabelledStatement :

LabelIdentifier :LabelledItem
  1. 空の新規List を返す

13.13.10 静的セマンティクス(Static Semantics): TopLevelVarDeclaredNames

LabelledStatement :

LabelIdentifier :LabelledItem
  1. LabelledItem の TopLevelVarDeclaredNames を返す
LabelledItem :

Statement
  1. Statement が Statement : LabelledStatement なら、 Statement の TopLevelVarDeclaredNames を返す
  2. Statement の VarDeclaredNames を返す
LabelledItem :

FunctionDeclaration
  1. FunctionDeclaration の BoundNames を返す

13.13.11 静的セマンティクス(Static Semantics): TopLevelVarScopedDeclarations

LabelledStatement :

LabelIdentifier :LabelledItem
  1. LabelledItem の TopLevelVarScopedDeclarations を返す
LabelledItem :

Statement
  1. Statement が Statement : LabelledStatement なら、 Statement の TopLevelVarScopedDeclarations を返す
  2. Statement の VarScopedDeclarations を返す
LabelledItem :

FunctionDeclaration
  1. FunctionDeclaration を含む新規List を返す

13.13.12 静的セマンティクス(Static Semantics): VarDeclaredNames

LabelledStatement :

LabelIdentifier :LabelledItem
  1. LabelledItem の VarDeclaredNames を返す
LabelledItem :

FunctionDeclaration
  1. 空の新規List を返す

13.13.13 静的セマンティクス(Static Semantics): VarScopedDeclarations

LabelledStatement :

LabelIdentifier :LabelledItem
  1. LabelledItem の VarScopedDeclarations を返す
LabelledItem :

FunctionDeclaration
  1. 空の新規List を返す

13.13.14 ランタイムセマンティクス(Runtime Semantics): LabelledEvaluation

引数 labelSet を使用。

LabelledStatement :

LabelIdentifier :LabelledItem
  1. LabelIdentifier の StringValue を label とする
  2. labelSet の要素として label を追加する
  3. 引数 labelSet を使用して LabelledItem の LabelledEvaluation を stmtResult とする
  4. stmtResult.[[Type]] が break で SameValue(stmtResult.[[Target]] , label) が true なら、
    1. NormalCompletion(stmtResult.[[Value]]) を stmtResult にセットする
  5. Completion(stmtResult) を返す
LabelledItem :

Statement
  1. Statement が LabelledStatement か BreakableStatement なら、
    1. 引数 labelSet を使用して Statement の LabelledEvaluation の実行結果を返す
  2. 6. と異なるなら、
    1. Statement の 評価結果を返す
LabelledItem :

FunctionDeclaration
  1. FunctionDeclaration の 評価結果を返す

13.13.15 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

LabelledStatement :

LabelIdentifier :LabelledItem
  1. 空の新規List を newLabelSet とする
  2. 引数 newLabelSet を使用して LabelledStatement の LabelledEvaluation の実行結果を返す

13.14 throwステートメント(The throw Statement)

構文：

ThrowStatement[Yield, Await] :

throw[no LineTerminator here]Expression[+In, ?Yield, ?Await] ;

13.14.1 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

ThrowStatement :

throwExpression ;
  1. Expression の評価結果を exprRef とする
  2. ? GetValue(exprRef) を exprValue とする
  3. ThrowCompletion(exprValue) を返す

13.15 tryステートメント(The try Statement)

構文：

TryStatement[Yield, Await, Return] :

tryBlock[?Yield, ?Await, ?Return] Catch[?Yield, ?Await, ?Return]
tryBlock[?Yield, ?Await, ?Return] Finally[?Yield, ?Await, ?Return]
tryBlock[?Yield, ?Await, ?Return] Catch[?Yield, ?Await, ?Return] Finally[?Yield, ?Await, ?Return]
Catch[Yield, Await, Return] :

catch(CatchParameter[?Yield, ?Await] )Block[?Yield, ?Await, ?Return]
catchBlock[?Yield, ?Await, ?Return]
Finally[Yield, Await, Return] :

finallyBlock[?Yield, ?Await, ?Return]
CatchParameter[Yield, Await] :

BindingIdentifier[?Yield, ?Await]
BindingPattern[?Yield, ?Await]
tryステートメントは、ランタイムエラーやthrowステートメントなどの例外的な条件が発生する可能性のあるコードをブロックで囲みます。 catch句は、例外発生時の処理コードを記述します。 catch句が例外をキャッチすると、そのCatchParameterが例外にバインドされます。

13.15.1 静的セマンティクス：早期エラー(Static Semantics: Early Errors)

Catch :

catch(CatchParameter )Block
  • CatchParameter の BoundNames の要素が重複している場合、構文エラー
  • CatchParameter の BoundNames の要素が Block の LexicallyDeclaredNames にもある場合は、構文エラー
  • CatchParameter の BoundNames の要素が Block のVarDeclaredNames にもある場合は、構文エラーです。
このプロダクションの代替の静的セマンティクスが、B.3.5に記載されています。

13.15.2 静的セマンティクス(Static Semantics): ContainsDuplicateLabels

引数 labelSet を使用。

TryStatement :

tryBlock Catch
  1. 引数 labelSet を使用して Block の ContainsDuplicateLabels を hasDuplicates とする
  2. hasDuplicates が true なら、 true を返す
  3. 引数 labelSet を使用して Catch の ContainsDuplicateLabels の実行結果を返す
TryStatement :

tryBlock Finally
  1. 引数 labelSet を使用して Block の ContainsDuplicateLabels を hasDuplicates とする
  2. hasDuplicates が true なら、 true を返す
  3. 引数 labelSet を使用して Finally の ContainsDuplicateLabels の実行結果を返す
TryStatement :

tryBlock Catch Finally
  1. 引数 labelSet を使用して Block の ContainsDuplicateLabels を hasDuplicates とする
  2. hasDuplicates が true なら、 true を返す
  3. 引数 labelSet を使用して Catch の ContainsDuplicateLabels を hasDuplicates とする
  4. hasDuplicates が true なら、 true を返す
  5. 引数 labelSet を使用して Finally の ContainsDuplicateLabels の実行結果を返す
Catch :

catch(CatchParameter )Block
  1. 引数 labelSet を使用して Block の ContainsDuplicateLabels の実行結果を返す

13.15.3 静的セマンティクス(Static Semantics): ContainsUndefinedBreakTarget

引数 labelSet を使用。

TryStatement :

tryBlock Catch
  1. 引数 labelSet を使用して Block の ContainsUndefinedBreakTarget を hasUndefinedLabels とする
  2. hasUndefinedLabels が true なら、 true を返す
  3. 引数 labelSet を使用して Catch の ContainsUndefinedBreakTarget の実行結果を返す
TryStatement :

tryBlock Finally
  1. 引数 labelSet を使用して Block の ContainsUndefinedBreakTarget を hasUndefinedLabels とする
  2. hasUndefinedLabels が true なら、 true を返す
  3. 引数 labelSet を使用して Finally の ContainsUndefinedBreakTarget の実行結果を返す
TryStatement :

tryBlock Catch Finally
  1. 引数 labelSet を使用して Block の ContainsUndefinedBreakTarget を hasUndefinedLabels とする
  2. hasUndefinedLabels が true なら、 true を返す
  3. 引数 labelSet を使用して Catch の ContainsUndefinedBreakTarget を hasUndefinedLabels とする
  4. hasUndefinedLabels が true なら、 true を返す
  5. 引数 labelSet を使用して Finally の ContainsUndefinedBreakTarget の実行結果を返す
Catch :

catch(CatchParameter )Block
  1. 引数 labelSet を使用して Block の ContainsUndefinedBreakTarget の実行結果を返す

13.15.4 静的セマンティクス(Static Semantics): ContainsUndefinedContinueTarget

引数 iterationSet と labelSet を使用。

TryStatement :

tryBlock Catch
  1. 引数 iterationSet と « » を使用して Block の ContainsUndefinedContinueTarget を hasUndefinedLabels とする
  2. hasUndefinedLabels が true なら、 true を返す
  3. 引数 iterationSet と « » を使用して Catch の ContainsUndefinedContinueTarget の実行結果を返す
TryStatement :

tryBlock Finally
  1. 引数 iterationSet と « » を使用して Block の ContainsUndefinedContinueTarget を hasUndefinedLabels とする
  2. hasUndefinedLabels が true なら、 true を返す
  3. 引数 iterationSet と « » を使用して Finally の ContainsUndefinedContinueTarget の実行結果を返す
TryStatement :

tryBlock Catch Finally
  1. 引数 iterationSet と « » を使用して Block の ContainsUndefinedContinueTarget を hasUndefinedLabels とする
  2. hasUndefinedLabels が true なら、 true を返す
  3. 引数 iterationSet と « » を使用して Catch の ContainsUndefinedContinueTarget を hasUndefinedLabels とする
  4. hasUndefinedLabels が true なら、 true を返す
  5. 引数 iterationSet と « » を使用して Finally の ContainsUndefinedContinueTarget の実行結果を返す
Catch :

catch(CatchParameter )Block
  1. 引数 iterationSet と « » を使用して Block の ContainsUndefinedContinueTarget の実行結果を返す

13.15.5 静的セマンティクス(Static Semantics): VarDeclaredNames

TryStatement :

tryBlock Catch
  1. Block の VarDeclaredNames を names とする
  2. Catch の VarDeclaredNames の要素を names に追加する
  3. names を返す
TryStatement :

tryBlock Finally
  1. Block の VarDeclaredNames を names とする
  2. Finally の VarDeclaredNames の要素を names に追加する
  3. names を返す
TryStatement :

tryBlock Catch Finally
  1. Block の VarDeclaredNames を names とする
  2. Catch の VarDeclaredNames の要素を names に追加する
  3. Finally の VarDeclaredNames の要素を names に追加する
  4. names を返す
Catch :

catch(CatchParameter )Block
  1. Block の the VarDeclaredNames を返す

13.15.6 静的セマンティクス(Static Semantics): VarScopedDeclarations

TryStatement :

tryBlock Catch
  1. Block の VarScopedDeclarations を declarations とする
  2. Catch の VarScopedDeclarations の要素を declarations に追加する
  3. declarations を返す
TryStatement :

tryBlock Finally
  1. Block の VarScopedDeclarations を declarations とする
  2. Finally の VarScopedDeclarations の要素を declarations に追加する
  3. declarations を返す
TryStatement :

tryBlock Catch Finally
  1. Block の VarScopedDeclarations を declarations とする
  2. Catch の VarScopedDeclarations の要素を declarations に追加する
  3. Finally の VarScopedDeclarations の要素を declarations に追加する
  4. declarations を返す
Catch :

catch(CatchParameter )Block
  1. Block の VarScopedDeclarations を返す

13.15.7 ランタイムセマンティクス(Runtime Semantics): CatchClauseEvaluation

引数 thrownValue を使用。

Catch :

catch(CatchParameter )Block
  1. 実行中の実行コンテキスト の LexicalEnvironment を oldEnv とする
  2. NewDeclarativeEnvironment(oldEnv) を catchEnv とする
  3. catchEnv の EnvironmentRecord を catchEnvRec とする
  4. CatchParameter の BoundNames の 各要素を argName とし、argName ごとに次を実行する
    1. ! catchEnvRec.CreateMutableBinding(argName, false) を実行する
  5. catchEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
  6. 引数 thrownValue と catchEnv を使用して CatchParameter の BindingInitialization を status とする
  7. status が 突然の完了 なら、
    1. oldEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
    2. Completion(status) を返す
  8. Block の評価結果を B とする
  9. oldEnv を 実行中の実行コンテキスト の LexicalEnvironment にセットする
  10. Completion(B) を返す
Catch :

catchBlock
  1. Block の 評価結果を返す
制御がBlockをどのように離れても、LexicalEnvironmentは常に以前の状態に復元されます。

13.15.8 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

TryStatement :

tryBlock Catch
  1. Block の評価結果を B とする
  2. B.[[Type]] が throw なら、 引数 B.[[Value]] を使用して Catch の CatchClauseEvaluation を C とする
  3. 2. と異なるなら、 B を C とする
  4. Completion( UpdateEmpty(C, undefined)) を返す
TryStatement :

tryBlock Finally
  1. Block の評価結果を B とする
  2. Finally の評価結果を F とする
  3. F.[[Type]] が normal なら、 B を F にセットする
  4. Completion( UpdateEmpty(F, undefined)) を返す
TryStatement :

tryBlock Catch Finally
  1. Block の評価結果を B とする
  2. B.[[Type]] が throw なら、引数 B.[[Value]] を使用して Catch の CatchClauseEvaluation を C とする
  3. 10. と異なるなら、 B を C とする
  4. Finally の評価結果を F とする
  5. F.[[Type]] が normal なら、 C を F にセットする
  6. Completion( UpdateEmpty(F, undefined)) を返す

13.16 debuggerステートメント(The debugger Statement)

構文：

DebuggerStatement :

debugger;

13.16.1 ランタイムセマンティクス：評価(Runtime Semantics: Evaluation)

デバッガーで実行時、DebuggerStatementの評価は、実装がブレークポイントを発生させる可能性があります。 デバッガーが存在しないかアクティブでない場合、このステートメントは影響を及ぼしません。
DebuggerStatement :

debugger;
  1. 実装定義のデバッグ機能が利用可能で有効になっているなら、
    1. 実装定義のデバッグアクションを実行する
    2. 実装定義の Completion 値を result とする
  2. 1. と異なるなら、
    1. NormalCompletion(empty) を result とする
  3. result を返す