ECMAScript | Язык ECMAScript: Операторы и Объявления

Синтаксис Оператора

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]}

14.1 Семантика операторов

14.1.1 Семантика времени выполнения: Оценка

HoistableDeclaration :

GeneratorDeclaration

AsyncFunctionDeclaration

AsyncGeneratorDeclaration

1. Вернуть NormalCompletion(empty).

HoistableDeclaration : FunctionDeclaration

1. Вернуть результат вычисления FunctionDeclaration.

BreakableStatement :

IterationStatement

SwitchStatement

1. Пусть newLabelSet будет новым пустым Списком.
2. Верните результат выполнения маркированной оценки LabelledEvaluation этого BreakableStatement с аргументом newLabelSet.

14.2 Блок

Синтаксис Блока

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]}

14.2.1 Статическая семантика: Ранние Ошибки

Block : { StatementList }

• Это синтаксическая ошибка, если LexicallyDeclaredNames в StatementList содержит какие-либо повторяющиеся записи.
• Синтаксическая ошибка, если какой-либо элемент LexicallyDeclaredNames из StatementList также встречается в VarDeclaredNames из StatementList.

14.2.2 Семантика времени выполнения: Оценка

Block : { }

1. Верните NormalCompletion(empty).

Block : { StatementList }

1. Пусть oldEnv будет лексической средой LexicalEnvironment текущего контекста выполнения.
2. Пусть blockEnv будет NewDeclarativeEnvironment(oldEnv).
3. Выполните создание экземпляра объявления блока BlockDeclarationInstantiation(StatementList, blockEnv).
4. Установите для LexicalEnvironment текущего контекста выполнения значение blockEnv.
5. Пусть blockValue будет результатом вычисления StatementList.
6. Установите LexicalEnvironment текущего контекста выполнения на oldEnv.
7. Вернуть значение blockValue.

StatementList : StatementList StatementListItem

1. Пусть sl будет результатом вычисления StatementList.
2. ReturnIfAbrupt(sl).
3. Пусть s будет результатом вычисления StatementListItem.
4. Вернуть завершение Completion(UpdateEmpty(s, sl)).

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

14.2.3 BlockDeclarationInstantiation ( code, env )

Абстрактная операция BlockDeclarationInstantiation принимает аргументы code (узел синтаксического анализа) и env (декларативную запись среды).

code — это узел синтаксического анализа, соответствующий телу блока.

env — это запись среды, в которой должны быть созданы привязки.

При вызове она выполняет следующие шаги:

1. Пусть объявления declarations будут LexicallyScopedDeclarations для кода code.
2. Пусть privateEnv будет частной средой PrivateEnvironment текущего контекста выполнения.
3. Для каждого элемента d из объявлений declarations выполните
   а. Для каждого элемента dn из BoundNames из d выполните
      i. Если IsConstantDeclaration из d истинно (является true), то
         1. Выполнить ! env.CreateImmutableBinding(dn, true).
      ii. Иначе,
         1. Выполнить ! env.CreateMutableBinding(dn, false). ПРИМЕЧАНИЕ. Этот шаг заменен в разделе B.3.2.6.
   b. Если d - это FunctionDeclaration, GeneratorDeclaration, AsyncFunctionDeclaration или AsyncGeneratorDeclaration, тогда
      i. Пусть fn будет единственным элементом BoundNames из d.
      ii. Пусть fo будет InstantiateFunctionObject из d с аргументами env и privateEnv.
      iii. Выполните env.InitializeBinding(fn, fo). ПРИМЕЧАНИЕ. Этот шаг заменен в разделе B.3.2.6.

14.3 Объявления и оператор Переменной

14.3.1 Объявления Let и Const

Синтаксис

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]}

14.3.1.1 Статическая семантика: ранние ошибки

LexicalDeclaration : LetOrConst BindingList ;

• Это синтаксическая ошибка, если «Связанные Имена» BoundNames в BindingList содержит «let».
• Это синтаксическая ошибка, если «Связанные Имена» BoundNames в BindingList содержит какие-либо повторяющиеся записи.

LexicalBinding : BindingIdentifier Initializer _opt

• Это синтаксическая ошибка, если инициализатор Initializer отсутствует и IsConstantDeclaration из LexicalDeclaration, содержащего это LexicalBinding, истинно (является true).

14.3.1.2 Семантика времени выполнения: оценка

LexicalDeclaration : LetOrConst BindingList ;

1. Пусть next будет результатом вычисления списка привязки BindingList.
2. ReturnIfAbrupt(next).
3. Верните NormalCompletion(empty).

BindingList : BindingList , LexicalBinding

1. Пусть next будет результатом вычисления списка привязки BindingList.
2. ReturnIfAbrupt(next).
3. Верните результат вычисления LexicalBinding.

LexicalBinding : BindingIdentifier

1. Пусть lhs будет ResolveBinding(StringValue из BindingIdentifier).
2. Верните InitializeReferencedBinding(lhs, undefined).

LexicalBinding : BindingIdentifier Initializer

1. Пусть bindingId будет StringValue для BindingIdentifier.
2. Пусть lhs будет ResolveBinding(bindingId).
3. Если IsAnonymousFunctionDefinition(Initializer) истинно (является true), то
   а. Пусть значение value будет NamedEvaluation инициализатора Initializer с аргументом bindingId.
4. Иначе,
   а. Пусть rhs будет результатом вычисления инициализатора Initializer.
   b. Пусть value будет ? GetValue(rhs).
5. Верните InitializeReferencedBinding(lhs, value).

LexicalBinding : BindingPattern Initializer

1. Пусть rhs будет результатом вычисления инициализатора Initializer.
2. Пусть value будет ? GetValue(rhs).
3. Пусть env будет лексической средой (LexicalEnvironment) текущего контекста выполнения.
4. Верните результат выполнения BindingInitialization для BindingPattern, используя value и env в качестве аргументов.

14.3.2 Заявление о переменной

Синтаксис

VariableStatement _{[Yield, Await]} :

var VariableDeclarationList _{[+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]}

14.3.2.1 Семантика времени выполнения: оценка

VariableStatement : var VariableDeclarationList ;

1. Пусть next будет результатом вычисления VariableDeclarationList.
2. ReturnIfAbrupt(next).
3. Верните NormalCompletion(empty).

VariableDeclarationList : VariableDeclarationList , VariableDeclaration

1. Пусть next будет результатом вычисления VariableDeclarationList.
2. ReturnIfAbrupt(next).
3. Верните результат вычисления VariableDeclaration.

VariableDeclaration : BindingIdentifier

1. Верните NormalCompletion(empty).

VariableDeclaration : BindingIdentifier Initializer

1. Пусть bindingId будет StringValue для BindingIdentifier.
2. Пусть lhs будет ? ResolveBinding(bindingId).
3. Если IsAnonymousFunctionDefinition(Initializer) истинно (является true), то
   а. Пусть значением будет NamedEvaluation инициализатора Initializer с аргументом bindingId.
4. Иначе,
   а. Пусть rhs будет результатом вычисления Initializer.
   b. Пусть value будет ? GetValue(rhs).
5. Вернуть ? PutValue(lhs, value).

VariableDeclaration : BindingPattern Initializer

1. Пусть rhs будет результатом вычисления Initializer.
2. Пусть rval будет ? GetValue(rhs).
3. Вернуть результат выполнения BindingInitialization для BindingPattern, передав rval и undefined в качестве аргументов.

14.3.3 Разрушение шаблонов привязки

Синтаксис

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]} :

[ Elision _opt BindingRestElement _{[?Yield, ?Await] opt} ]

[ BindingElementList _{[?Yield, ?Await]} ]

[ BindingElementList _{[?Yield, ?Await]} , Elision _opt 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]} :

Elision _opt 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]}

14.3.3.1 Семантика времени выполнения: PropertyBindingInitialization — Инициализация Привязки Свойства

С параметрами value and environment.

BindingPropertyList : BindingPropertyList , BindingProperty

1. Пусть boundNames будет ? PropertyBindingInitialization из BindingPropertyList с аргументами value и environment.
2. Пусть nextNames будет ? PropertyBindingInitialization из BindingProperty с аргументами value и environment.
3. Верните конкатенацию списка boundNames и nextNames.

BindingProperty : SingleNameBinding

1. Пусть name будет строкой, которая является единственным элементом BoundNames из SingleNameBinding.
2. Выполнить ? KeyedBindingInitialization для SingleNameBinding с использованием value, environment и name (значения, среды и имени) в качестве аргументов.
3. Вернуть Список, единственным элементом которого является name.

BindingProperty : PropertyName : BindingElement

1. Пусть P будет результатом вычисления PropertyName.
2. ReturnIfAbrupt(P).
3. Выполнить ? KeyedBindingInitialization из BindingElement с value, environment и P в качестве аргументов.
4. Верните Список, единственным элементом которого является P.

14.3.3.2 Семантика времени выполнения: RestBindingInitialization — Инициализация Привязки Остатка

С параметрами value, environment и excludedNames.

BindingRestProperty : … BindingIdentifier

1. Пусть lhs будет ? ResolveBinding(StringValue из BindingIdentifier, environment).
2. Пусть restObj будет ! OrdinaryObjectCreate(%Object.prototype%).
3. Выполнить ? CopyDataProperties(restObj, value, excludedNames).
4. Если environment undefined, верните PutValue(lhs, restObj).
5. Верните InitializeReferencedBinding(lhs, restObj).

14.3.3.3 Семантика времени выполнения: KeyedBindingInitialization — Инициализация Привязки с Ключом

С параметрами value, environment и propertyName.

BindingElement : BindingPattern Initializer _opt

1. Пусть v будет ? GetV(value, propertyName).
2. Если инициализатор Initializer присутствует и v является undefined (не определено), то
   а. Пусть defaultValue будет результатом оценки Initializer.
   b. Установите v на ? GetValue(defaultValue).
3. Верните результат выполнения BindingInitialization для BindingPattern, передав v и среду environment в качестве аргументов.

SingleNameBinding : BindingIdentifier Initializer _opt

1. Пусть bindingId будет строковым значением StringValue для идентификатора привязки BindingIdentifier.
2. Пусть lhs будет ? ResolveBinding(bindingId, environment).
3. Пусть v будет? GetV(value, propertyName).
4. Если инициализатор Initializer присутствует и v является undefined (не определено), то
   а. Если IsAnonymousFunctionDefinition(Initializer) истинно (является true), то
      i. Установите v равным результату выполнения NamedEvaluation для инициализатора Initializer с аргументом bindingId.
   b. Иначе,
      i. Пусть defaultValue будет результатом оценки Initializer.
      ii. Установите v на ? GetValue(defaultValue).
5. Если среда environment является undefined (не определена), вернуть ? PutValue(lhs, v).
6. Верните InitializeReferencedBinding(lhs, v).

14.4 Оператор пустоты

Синтаксис

EmptyStatement :

;

14.4.1 Семантика времени выполнения: оценка

EmptyStatement : ;

1. Верните NormalCompletion(empty).

14.5 Оператор выражения

Синтаксис

ExpressionStatement _{[Yield, Await]} :

[lookahead ∉ { {, function, async [не LineTerminator здесь] function, class, let [ }] Expression _{[+In, ?Yield, ?Await]} ;

14.5.1 Семантика времени выполнения: оценка

ExpressionStatement : Expression ;

1. Пусть exprRef будет результатом вычисления Expression.
2. Вернуть ? GetValue(exprRef).

14.6 Оператор if

Синтаксис

IfStatement _{[Yield, Await, Return]} :

if ( Expression _{[+In, ?Yield, ?Await]} ) Statement _{[?Yield, ?Await, ?Return]} else Statement _{[?Yield, ?Await, ?Return]}

if ( Expression _{[+In, ?Yield, ?Await]} ) Statement _{[?Yield, ?Await, ?Return]} [lookahead ≠ else]

14.6.1 Статическая семантика: Ранние Ошибки

IfStatement : if ( Expression ) Statement else Statement

• Это синтаксическая ошибка, если IsLabelledFunction(первое утверждение Statement) истинно (является true).
• Это синтаксическая ошибка, если IsLabelledFunction(второе утверждение Statement) истинно (является true).

IfStatement : if ( Expression ) Statement

•  Это синтаксическая ошибка, если IsLabelledFunction(Statement) истинно (является true).

14.6.2 Семантика времени выполнения: Оценка

IfStatement : if ( Expression ) Statement else Statement

1. Пусть exprRef будет результатом вычисления Expression.
2. Пусть exprValue будет ! ToBoolean(? GetValue(exprRef)).
3. Если exprValue истинно (является true), тогда
   а. Пусть stmtCompletion будет результатом вычисления первого утверждения Statement.
4. Иначе,
   а. Пусть stmtCompletion будет результатом вычисления второго утверждения Statement.
5. Вернуть завершение Completion(UpdateEmpty(stmtCompletion, undefined)).

IfStatement : if ( Expression ) Statement

1. Пусть exprRef будет результатом вычисления Expression.
2. Пусть exprValue будет ! ToBoolean(? GetValue(exprRef)).
3. Если exprValue ложно (является false), тогда
   а. Вернуть NormalCompletion(undefined).
4. Иначе,
   а. Пусть stmtCompletion будет результатом вычисления Statement.
b. Вернуть Завершение Completion(UpdateEmpty(stmtCompletion, undefined)).

14.7 Операторы итерации

Синтаксис операторов итерации

IterationStatement _{[Yield, Await, Return]} :

DoWhileStatement _{[?Yield, ?Await, ?Return]}

WhileStatement _{[?Yield, ?Await, ?Return]}

ForStatement _{[?Yield, ?Await, ?Return]}

ForInOfStatement _{[?Yield, ?Await, ?Return]}

14.7.1 Семантики

14.7.1.1 LoopContinues ( completion, labelSet )

Абстрактная операция LoopContinues принимает аргументы completion и labelSet. На русском эта функция выглядит примерно так «Цикл продолжается (завершение, набор меток)«.

При вызове она выполняет следующие шаги:

1. Если completion.[[Type]] является normal, вернуть true.
2. Если completion.[[Type]] не является continue, вернуть false.
3. Если completion.[[Target]] является empty, вернуть true.
4. Если completion.[[Target]] является элементом из labelSet, вернуть true.
5. Вернуть false.

Семантика времени выполнения: оценка цикла

С параметром labelSet.

IterationStatement : DoWhileStatement

1. Вернуть ? DoWhileLoopEvaluation из DoWhileStatement с аргументом labelSet.

IterationStatement : WhileStatement

1. Вернуть ? WhileLoopEvaluation из WhileStatement с аргументом labelSet.

IterationStatement : ForStatement

1. Вернуть ? ForLoopEvaluation из ForStatement с аргументом labelSet.

IterationStatement : ForInOfStatement

1. Вернуть ? ForInOfLoopEvaluation из ForInOfStatement с аргументом labelSet.

14.7.2 Оператор do-while

Синтаксис оператора do-while

DoWhileStatement _{[Yield, Await, Return]} :

do Statement _{[?Yield, ?Await, ?Return]} while ( Expression _{[+In, ?Yield, ?Await]} ) ;

14.7.2.1 Статическая семантика: Ранние Ошибки

DoWhileStatement : do Statement while ( Expression ) ;

Если IsLabelledFunction(Statement) истинно true, это синтаксическая ошибка.

14.7.2.2 Семантика времени выполнения: DoWhileLoopEvaluation

С параметром labelSet.

DoWhileStatement : do Statement while ( Expression ) ;

1. Пусть V будет undefined.
2. Повторять,
   a. Пусть stmtResult будет результатом оценки Statement.
   b. Если LoopContinues(stmtResult, labelSet) является false, вернуть Completion(UpdateEmpty(stmtResult, V)).
   c. Если stmtResult.[[Value]] не является empty, установить V на stmtResult.[[Value]].
   d. Пусть exprRef будет результатом оценки Expression.
   e. Пусть exprValue будет ? GetValue(exprRef).
   f. Если ! ToBoolean(exprValue) является false, вернуть NormalCompletion(V).

14.7.3 Оператор while

Синтаксис оператора while

WhileStatement _{[Yield, Await, Return]} :

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

14.7.3.1 Статическая семантика: Ранние Ошибки

WhileStatement : while ( Expression ) Statement

• Это синтаксическая ошибка, если IsLabelledFunction(Statement) истинно (является true).

Примечание

Это правило необходимо применять только в том случае, если реализовано расширение, указанное в разделе B.3.1.

14.7.3.2 Семантика времени выполнения: WhileLoopEvaluation

С параметром labelSet.

WhileStatement : while ( Expression ) Statement

1. Пусть V будет undefined.
2. Повторять,
   a. Пусть exprRef будет результатом вычисления Expression.
   b. Пусть exprValue будет ? GetValue(exprRef).
   c. Если ! ToBoolean(exprValue) является false, вернуть NormalCompletion(V).
   d. Пусть stmtResult будет результатом вычисления Statement.
   e. Если LoopContinues(stmtResult, labelSet) является false, вернуть Completion(UpdateEmpty(stmtResult, V)).
   f. Если stmtResult.[[Value]] не является empty, установить V на stmtResult.[[Value]].

14.7.4 Оператор for

Синтаксис

ForStatement _{[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 ( var VariableDeclarationList _{[~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]}

14.7.4.1 Статическая семантика: Ранние Ошибки

ForStatement :

for ( Expression _opt ; Expression _opt ; Expression _opt ) Statement

for ( var VariableDeclarationList ; Expression _opt ; Expression _opt ) Statement

for ( LexicalDeclaration Expression _opt ; Expression _opt ) Statement

• Это синтаксическая ошибка, если IsLabelledFunction(Statement) истинно (является true).

ForStatement : for ( LexicalDeclaration Expression _opt ; Expression _opt ) Statement

• Это синтаксическая ошибка, если какой-либо элемент BoundNames из LexicalDeclaration также встречается в VarDeclaredNames из Statement.

14.7.4.2 Семантика времени выполнения: ForLoopEvaluation

С параметром labelSet.

ForStatement : for ( Expression _opt ; Expression _opt ; Expression _opt ) Statement

1. Если первое выражение Expression присутствует, то
   a. Пусть exprRef будет результатом вычисления первого выражения Expression.
   b. Выполнить ? GetValue(exprRef).
2. Вернуть ? ForBodyEvaluation(второе выражение Expression, третье выражение Expression, определение Statement, «», labelSet).

ForStatement : for ( var VariableDeclarationList ; Expression _opt ; Expression _opt ) Statement

1. Пусть varDcl будет результатом вычисления VariableDeclarationList.
2. ReturnIfAbrupt(varDcl).
3. Вернуть ? ForBodyEvaluation(первое выражение Expression, второе выражение Expression, определение Statement, «», labelSet).

ForStatement : for ( LexicalDeclaration Expression _opt ; Expression _opt ) Statement

1. Пусть oldEnv будет LexicalEnvironment(Лексическая среда) текущего контекста выполнения.
2. Пусть loopEnv будет NewDeclarativeEnvironment(oldEnv).
3. Пусть isConst будет IsConstantDeclaration из LexicalDeclaration.
4. Пусть boundNames будет BoundNames из LexicalDeclaration.
5. Для каждого элемента dn из boundNames выполните
   a. Если isConst является true, тогда
      i. Выполнить ! loopEnv.CreateImmutableBinding(dn, true).
   b. Иначе,
      i. Выполнить ! loopEnv.CreateMutableBinding(dn, false).
6. Установите для LexicalEnvironment(Лексическая среда) текущего контекста выполнения значение loopEnv.
7. Пусть forDcl будет результатом вычисления LexicalDeclaration.
8. Если forDcl является внезапным завершением, тогда
   a. Установите для LexicalEnvironment текущего контекста выполнения значение oldEnv.
   b. Вернуть Completion(forDcl).
9. Если isConst имеет значение false, пусть perIterationLets будет boundNames; в противном случае пусть perIterationLets будет «».
10. Пусть bodyResult будет ForBodyEvaluation(первое выражение Expression, второе выражение Expression, определение Statement, perIterationLets, labelSet).
11. Установите для LexicalEnvironment текущего контекста выполнения значение oldEnv.
12. Вернуть Завершение Completion(bodyResult).

14.7.4.3 ForBodyEvaluation ( test, increment, stmt, perIterationBindings, labelSet )

Абстрактная операция ForBodyEvaluation принимает аргументы test, increment, stmt, perIterationBindings и labelSet. При вызове она выполняет следующие шаги:

1. Пусть V будет undefined.
2. Выполнить ? CreatePerIterationEnvironment(perIterationBindings).
3. Повторять,
   a. Если тест не [empty], то
      i. Пусть testRef будет результатом оценки test.
      ii. Пусть testValue будет ? GetValue(testRef).
      iii. Если ! ToBoolean(testValue) является false, вернуть NormalCompletion(V).
   b. Пусть result будет результатом вычисления stmt.
   c. Если LoopContinues(result, labelSet) имеет значение false, вернуть Completion(UpdateEmpty(result, V)).
   d. Если result.[[Value]] не empty, установите V равным result.[[Value]].
   e. Выполнить ? CreatePerIterationEnvironment(perIterationBindings).
   f. Если инкремент increment не [empty], то
      i. Пусть incRef будет результатом вычисления приращения increment.
      ii. Выполнить ? GetValue(incRef).

14.7.4.4 CreatePerIterationEnvironment ( perIterationBindings )

Абстрактная операция CreatePerIterationEnvironment принимает аргумент perIterationBindings. При вызове она выполняет следующие шаги:

1. Если в perIterationBindings есть какие-либо элементы, то
   a. Пусть lastIterationEnv будет LexicalEnvironment текущего контекста выполнения.
   b. Пусть outer будет lastIterationEnv.[[OuterEnv]].
   c. Утверждено: outer не равен null.
   d. Пусть thisIterationEnv будет NewDeclarativeEnvironment(outer).
   e. Для каждого элемента bn из perIterationBindings выполните
      i. Выполнить ! thisIterationEnv.CreateMutableBinding(bn, false).
      ii. Пусть lastValue будет ? lastIterationEnv.GetBindingValue(bn, true).
      iii. Выполнить thisIterationEnv.InitializeBinding(bn, lastValue).
   f. Установите для LexicalEnvironment текущего контекста выполнения значение thisIterationEnv.
2. Вернуть undefined.

14.7.5 Оператор for-in, for-of, for-await-of

Синтаксис

ForInOfStatement _{[Yield, Await, Return]} :

for ( [ lookahead ≠ let [ ] LeftHandSideExpression _{[?Yield, ?Await]} in Expression _{[+In, ?Yield, ?Await]} ) Statement _{[?Yield, ?Await, ?Return]}

for ( var ForBinding _{[?Yield, ?Await]} in Expression _{[+In, ?Yield, ?Await]} ) Statement _{[?Yield, ?Await, ?Return]}

for ( ForDeclaration _{[?Yield, ?Await]} in Expression _{[+In, ?Yield, ?Await]} ) Statement _{[?Yield, ?Await, ?Return]}

for ( [ lookahead ∉ { let, async of  }] LeftHandSideExpression _{[?Yield, ?Await]} of AssignmentExpression _{[+In, ?Yield, ?Await]} ) Statement _{[?Yield, ?Await, ?Return]}

for ( var ForBinding _{[?Yield, ?Await]} of AssignmentExpression _{[+In, ?Yield, ?Await]} ) Statement _{[?Yield, ?Await, ?Return]}

for ( ForDeclaration _{[?Yield, ?Await]} of AssignmentExpression _{[+In, ?Yield, ?Await]} ) Statement _{[?Yield, ?Await, ?Return]}

_[+Await] for await ( [lookahead ≠ let] LeftHandSideExpression _{[?Yield, ?Await]} of AssignmentExpression _{[+In, ?Yield, ?Await]} ) Statement _{[?Yield, ?Await, ?Return]}

_[+Await] for await ( var ForBinding _{[?Yield, ?Await]} of AssignmentExpression _{[+In, ?Yield, ?Await]} ) Statement _{[?Yield, ?Await, ?Return]}

_[+Await] for await ( ForDeclaration _{[?Yield, ?Await]} of AssignmentExpression _{[+In, ?Yield, ?Await]} ) Statement _{[?Yield, ?Await, ?Return]}

ForDeclaration _{[Yield, Await]} :

LetOrConst ForBinding _{[?Yield, ?Await]}

ForBinding _{[Yield, Await]} :

BindingIdentifier _{[?Yield, ?Await]}

BindingPattern _{[?Yield, ?Await]}

14.7.5.1 Статическая семантика: Ранние Ошибки

ForInOfStatement :

for ( LeftHandSideExpression in Expression ) Statement

for ( var ForBinding in Expression ) Statement

for ( ForDeclaration in Expression ) Statement

for ( LeftHandSideExpression of AssignmentExpression ) Statement

for ( var ForBinding of AssignmentExpression ) Statement

for ( ForDeclaration of AssignmentExpression ) Statement

for await ( LeftHandSideExpression of AssignmentExpression ) Statement

for await ( var ForBinding of AssignmentExpression ) Statement

for await ( ForDeclaration of AssignmentExpression ) Statement

• Это синтаксическая ошибка, если IsLabelledFunction(Statement) истинно (является true).

ForInOfStatement :

for ( LeftHandSideExpression in Expression ) Statement

for ( LeftHandSideExpression of AssignmentExpression ) Statement

for await ( LeftHandSideExpression of AssignmentExpression ) Statement

Если LeftHandSideExpression является ObjectLiteral или ArrayLiteral, применяются следующие правила Ранней Ошибки:

• Это синтаксическая ошибка, если LeftHandSideExpression не покрывает AssignmentPattern.
• Все правила Ранней Ошибки для AssignmentPattern и производных от него производств также применяются к AssignmentPattern, который покрывается LeftHandSideExpression.

Если LeftHandSideExpression не является ни ObjectLiteral, ни ArrayLiteral, применяется следующее правило Ранней Ошибки:

• Это синтаксическая ошибка, если AssignmentTargetType для LeftHandSideExpression не является simple.

ForInOfStatement :

for ( ForDeclaration in Expression ) Statement

for ( ForDeclaration of AssignmentExpression ) Statement

for await ( ForDeclaration of AssignmentExpression ) Statement

• Это синтаксическая ошибка, если связанные имена BoundNames из ForDeclaration содержит «let».
• Это синтаксическая ошибка, если какой-либо элемент связанных имён BoundNames из ForDeclaration также встречается в VarDeclaredNames из Statement.
• Это синтаксическая ошибка, еслиBoundNames из ForDeclaration содержит какие-либо повторяющиеся записи.

14.7.5.2 Статическая семантика: IsDestructuring

MemberExpression : PrimaryExpression

1. Если PrimaryExpression является ObjectLiteral или ArrayLiteral, верните true.
2. Вернуть false.

MemberExpression :

MemberExpression [ Expression ]

MemberExpression . IdentifierName

MemberExpression TemplateLiteral

SuperProperty

MetaProperty

new MemberExpression Arguments

NewExpression :

new NewExpression

LeftHandSideExpression :

CallExpression

OptionalExpression

1. Вернуть false.

ForDeclaration : LetOrConst ForBinding

1. Вернуть IsDestructuring из ForBinding.

ForBinding : BindingIdentifier

1. Вернуть false.

ForBinding : BindingPattern

1. Вернуть true.

14.7.5.3 Семантика времени выполнения: ForDeclarationBindingInitialization

С параметрами value и environment.

ForDeclaration : LetOrConst ForBinding

1. Верните результат выполнения BindingInitialization для ForBinding, передав значение value и среду environment в качестве аргументов.

14.7.5.4 Семантика времени выполнения: ForDeclarationBindingInstantiation

С параметром environment.

ForDeclaration : LetOrConst ForBinding

1. Утверждено: среда environment - это декларативная запись среды.
2. Для каждого элемента name из связанных имён BoundNames из ForBinding выполните
   a. Если IsConstantDeclaration из LetOrConst истинно true, то
      i. Выполнить ! environment.CreateImmutableBinding(name, true).
   b. Иначе,
      i. Выполнить ! environment.CreateMutableBinding(name, false).

14.7.5.5 Семантика времени выполнения: ForInOfLoopEvaluation

С параметром labelSet.

ForInOfStatement : for ( LeftHandSideExpression in Expression ) Statement

1. Пусть keyResult будет ? ForIn/OfHeadEvaluation(« », Expression, enumerate).
2. Вернуть ? ForIn/OfBodyEvaluation (LeftHandSideExpression, Statement, keyResult, enumerate, assignment, labelSet).

ForInOfStatement : for ( var ForBinding in Expression ) Statement

1. Пусть keyResult будет ? ForIn/OfHeadEvaluation(« », Expression, enumerate).
2. Вернуть ? ForIn/OfBodyEvaluation(ForBinding, Statement, keyResult, enumerate, varBinding, labelSet).

ForInOfStatement : for ( ForDeclaration in Expression ) Statement

1. Пусть keyResult будет ? ForIn/OfHeadEvaluation(BoundNames из ForDeclaration, Expression, enumerate).
2. Вернуть ? ForIn/OfBodyEvaluation(ForDeclaration, Statement, keyResult, enumerate, lexicalBinding, labelSet).

ForInOfStatement : for ( LeftHandSideExpression of AssignmentExpression ) Statement

1.Пусть keyResult будет ? ForIn/OfHeadEvaluation(« », AssignmentExpression, iterate).
2. Вернуть ? ForIn/OfBodyEvaluation(LeftHandSideExpression, Statement, keyResult, iterate, assignment, labelSet).

ForInOfStatement : for ( var ForBinding of AssignmentExpression ) Statement

1. Пусть keyResult будет ? ForIn/OfHeadEvaluation(« », AssignmentExpression, iterate).
2. Вернуть ? ForIn/OfBodyEvaluation(ForBinding, Statement, keyResult, iterate, varBinding, labelSet).

ForInOfStatement : for ( ForDeclaration of AssignmentExpression ) Statement

1. Пусть keyResult будет ? ForIn/OfHeadEvaluation(BoundNames из ForDeclaration, AssignmentExpression, iterate).
2. Вернуть ? ForIn/OfBodyEvaluation(ForDeclaration, Statement, keyResult, iterate, lexicalBinding, labelSet).

ForInOfStatement : for await ( LeftHandSideExpression of AssignmentExpression ) Statement

1. Пусть keyResult будет ? ForIn/OfHeadEvaluation(« », AssignmentExpression, async-iterate).
2. Вернуть ? ForIn/OfBodyEvaluation(LeftHandSideExpression, Statement, keyResult, iterate, assignment, labelSet, async).

ForInOfStatement : for await ( var ForBinding of AssignmentExpression ) Statement

1. Пусть keyResult будет ? ForIn/OfHeadEvaluation(« », AssignmentExpression, async-iterate).
2. Вернуть ? ForIn/OfBodyEvaluation(ForBinding, Statement, keyResult, iterate, varBinding, labelSet, async).

ForInOfStatement : for await ( ForDeclaration of AssignmentExpression ) Statement

1. Пусть keyResult будет ? ForIn/OfHeadEvaluation(BoundNames из ForDeclaration, AssignmentExpression, async-iterate).
2. Вернуть ? ForIn/OfBodyEvaluation(ForDeclaration, Statement, keyResult, iterate, lexicalBinding, labelSet, async).

14.7.5.6 ForIn/OfHeadEvaluation ( uninitializedBoundNames, expr, iterationKind )

Абстрактная операция ForIn/OfHeadEvaluation принимает аргументы uninitializedBoundNames, expr и iterationKind (такой как enumerate, iterate или async-iterate). При вызове она выполняет следующие шаги:

1. Пусть oldEnv будет LexicalEnvironment текущего контекста выполнения.
2. Если uninitializedBoundNames не является пустым Списком, тогда
   а. Утверждено: uninitializedBoundNames не имеет повторяющихся записей.
   b. Пусть newEnv будет NewDeclarativeEnvironment(oldEnv).
   c. Для каждого строкового имени name из uninitializedBoundNames выполните
      i. Выполнять ! newEnv.CreateMutableBinding(name, false).
   d. Установите для LexicalEnvironment текущего контекста выполнения значение newEnv.
3. Пусть exprRef будет результатом вычисления expr.
4. Установите LexicalEnvironment текущего контекста выполнения на oldEnv.
5. Пусть exprValue будет ? GetValue(exprRef).
6. Если iterationKind является enumerate, тогда
   а. Если exprValue является undefined(не определено) или равно null, тогда
      i. Вернуть Завершение Completion { [[Type]]: break, [[Value]]: empty, [[Target]]: empty }.
   b. Пусть obj будет ! ToObject(exprValue).
   c. Пусть iterator будет ? EnumerateObjectProperties (obj).
   d. Пусть nextMethod будет ! GetV(iterator, "next").
   е. Вернуть запись Record {[[Iterator]]: iterator, [[NextMethod]]: nextMethod, [[Done]]: false}.
7. Иначе,
   а. Утверждено: iterationKind является iterate или async-iterate.
   b. Если iterationKind является async-iterate, пусть iteratorHint будет async.
   c. В противном случае пусть iteratorHint будет sync.
   d. Вернуть ? GetIterator (exprValue, iteratorHint).

14.7.5.7 ForIn/OfBodyEvaluation ( lhs, stmt, iteratorRecord, iterationKind, lhsKind, labelSet [ , iteratorKind ] )

Абстрактная операция ForIn/OfBodyEvaluation принимает аргументы lhs, stmt, iteratorRecord, iterationKind, lhsKind (такой как assignment, varBinding или lexicalBinding), а также labelSet и необязательный аргумент iteratorKind (такой как sync или async). При вызове она выполняет следующие шаги:

1. Если iteratorKind отсутствует, установите для iteratorKind значение sync.
2. Пусть oldEnv будет LexicalEnvironment текущего контекста выполнения.
3. Пусть V является undefined(не определено).
4. Пусть деструктуризация destructuring будет IsDestructuring из lhs.
5. Если destructuring является true (истинно) и если lhsKind является assignment, то
  а. Утверждено: lhs - это выражение LeftHandSideExpression.
  b. Пусть assignmentPattern будет AssignmentPattern, который покрывается lhs.
6. Повторите,
  а. Пусть nextResult будет ? Вызов (iteratorRecord.[[NextMethod]], iteratorRecord.[[Iterator]]).
  b. Если iteratorKind является async, установите для nextResult значение ? Ожидайте Await(nextResult).
  c. Если Тип Type(nextResult) не является Object, вызовите исключение TypeError.
  d. Пусть done будет ? IteratorComplete(nextResult).
  e. Если done является true (истинно), вернуть NormalCompletion(V).
  f. Пусть nextValue будет ? IteratorValue(nextResult).
  g. Если lhsKind является либо assignment, либо varBinding, тогда
    i. Если destructuring является false (ложна), то
      1. Пусть lhsRef будет результатом вычисления lhs.(Это может быть оценено повторно.)
  h. Иначе,
    i. Утверждено: lhsKind - это lexicalBinding.
    ii. Утверждено: lhs - это ForDeclaration.
    iii. Пусть iterationEnv будет NewDeclarativeEnvironment(oldEnv).
    iv. Выполните ForDeclarationBindingInstantiation для lhs с передачей iterationEnv в качестве аргумента.
    v. Установите для LexicalEnvironment текущего контекста выполнения значение iterationEnv.
    vi. Если destructuring является false (ложна), то
      1. Утверждено: lhs связывает одно имя.
      2. Пусть lhsName будет единственным элементом BoundNames из lhs.
      3. Пусть lhsRef будет ! ResolveBinding(lhsName).
  i. Если destructuring является false (ложна), то
    i. Если lhsRef является внезапным завершением, то
      1. Пусть status будет lhsRef.
    ii. Иначе, если lhsKind является lexicalBinding, тогда
      1. Пусть status будет InitializeReferencedBinding(lhsRef, nextValue).
    iii. Иначе,
      1. Пусть status будет PutValue(lhsRef, nextValue).
  j. Иначе,
    i. Если lhsKind является assignment (присваивание), тогда
      1. Пусть status будет DestructuringAssignmentEvaluation для assignmentPattern с аргументом nextValue.
    ii. Иначе, если lhsKind является varBinding, тогда
      1. Утверждено: lhs - это ForBinding.
      2. Пусть status будет BindingInitialization из lhs с аргументами nextValue и undefined.
    iii. Иначе,
      1. Утверждено: lhsKind является lexicalBinding (лексическим связыванием).
      2. Утверждено: lhs - это ForDeclaration.
      3. Пусть status будет ForDeclarationBindingInitialization из lhs с аргументами nextValue и iterationEnv.
  k. Если status является внезапным завершением, то
    i. Установите для LexicalEnvironment текущего контекста выполнения значение oldEnv.
    ii. Если iteratorKind является async, вернуть ? AsyncIteratorClose(iteratorRecord, status).
    iii. Если iterationKind является enumerate (перечислим), то
      1. Верните status.
    iv. Иначе,
      1. Утверждено: iterationKind является iterate.
      2. Вернуть ? IteratorClose(iteratorRecord, status).
  l. Пусть result будет результатом вычисления stmt.
  m. Установите для LexicalEnvironment текущего контекста выполнения значение oldEnv.
  n. Если LoopContinues(result, labelSet) является false (ложно), то
    i. Если iterationKind является enumerate (перечислим), то
      1. Вернуть Завершение (UpdateEmpty(result, V)).
    ii. Иначе,
      1. Утверждено: iterationKind является iterate.
      2. Установите status UpdateEmpty(result, V).
      3. Если iteratorKind является async, вернуть ? AsyncIteratorClose(iteratorRecord, status).
      4. Вернуть ? IteratorClose(iteratorRecord, status).
  о. Если result.[[Value]] не является empty, установите V равным result.[[Value]].

14.7.5.8 Семантика времени выполнения: Оценка

ForBinding : BindingIdentifier

1. Пусть bindingId будет StringValue для BindingIdentifier.
2. Вернуть ? ResolveBinding(bindingId).

14.7.5.9 EnumerateObjectProperties ( O )

Абстрактная операция EnumerateObjectProperties принимает аргумент O (объект). При вызове она выполняет следующие шаги:

1. Вернуть объект Iterator (27.1.1.2), метод next которого выполняет итерацию по всем ключам со значением String перечислимых свойств O. Объект итератора никогда не доступен напрямую для кода ECMAScript. Механика и порядок перечисления свойств не указаны, но должны соответствовать правилам, указанным ниже.

Методы throw и return итератора имеют значение null и никогда не вызываются. Метод next итератора обрабатывает свойства объекта, чтобы определить, должен ли ключ свойства возвращаться как значение итератора. Возвращенные ключи свойств не включают ключи, которые являются символами. Свойства целевого объекта могут быть удалены во время перечисления. Свойство, которое удаляется перед обработкой методом next итератора, игнорируется. Если новые свойства добавляются к целевому объекту во время перечисления, не гарантируется, что новые добавленные свойства будут обработаны в активном перечислении. Имя свойства будет возвращено методом next итератора не более одного раза в любом перечислении.

Перечисление свойств целевого объекта включает рекурсивное перечисление свойств его прототипа, прототипа прототипа и так далее; но свойство прототипа не обрабатывается, если оно имеет то же имя, что и свойство, которое уже было обработано методом next итератора. Значения атрибутов [[Enumerable]] не учитываются при определении того, было ли уже обработано свойство объекта-прототипа. Имена перечислимых свойств объектов-прототипов должны быть получены путем вызова EnumerateObjectProperties, передавая объект-прототип в качестве аргумента. EnumerateObjectProperties должен получить собственные ключи свойств целевого объекта, вызвав его внутренний метод [[OwnPropertyKeys]]. Атрибуты свойства целевого объекта должны быть получены путем вызова его внутреннего метода [[GetOwnProperty]].

Кроме того, если ни O, ни какой-либо объект в его цепочке прототипов не является экзотическим прокси-объектом, экзотическим объектом с целочисленным индексом, экзотическим объектом пространства имен модуля или реализацией, предоставленной экзотическим объектом, то итератор должен вести себя так же, как итератор, заданный CreateForInIterator(O) до тех пор, пока не произойдет одно из следующих событий:

• значение внутреннего слота [[Prototype]] для O или объекта в его цепочке прототипов изменяется,
• свойство удаляется из O или объекта в его цепочке прототипов,
• свойство добавляется к объекту в цепочке прототипов O, или
• значение атрибута [[Enumerable]] свойства объекта O или объекта в его цепочке прототипов изменяется.

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;
   }
}

14.7.5.10 Объекты Итераторы For-In

Итератор For-In — это объект, который представляет определенную итерацию над некоторым конкретным объектом. Объекты For-In Iterator никогда не доступны напрямую коду ECMAScript; они существуют исключительно для иллюстрации поведения EnumerateObjectProperties.

14.7.5.10.1 CreateForInIterator ( object )

Абстрактная операция CreateForInIterator принимает аргумент object (Object). Онf используется для создания объекта итератора For-In, который выполняет итерацию по собственным и унаследованным перечислимым строковым свойствам объекта object в определенном порядке. При вызове она выполняет следующие шаги:

1. Пусть итератор iterator будет ! OrdinaryObjectCreate(%ForInIteratorPrototype%, «[[Объект]], [[ObjectWasVisited]], [[VisitedKeys]], [[RemainingKeys]]»).
2. Установите iterator. [[Object]] на object.
3. Установите iterator. [[ObjectWasVisited]] значение false.
4. Установите iterator. [[VisitedKeys]] на новый пустой Список.
5. Установите iterator. [[RemainingKeys]] на новый пустой Список.
6. Вернуть iterator.

14.7.5.10.2 Объект %ForInIteratorPrototype%

Объект %ForInIteratorPrototype%:

• имеет свойства, которые наследуются всеми объектами итераторами For-In.
• это обычный объект.
• имеет внутренний слот [[Prototype]], значение которого %IteratorPrototype%.
• никогда не доступен напрямую для кода ECMAScript.
• обладает следующими свойствами:

14.7.5.10.2.1 %ForInIteratorPrototype%.next ( )

1. Пусть O будет значением this.
2. Утверждено: Тип(O) - это объект.
3. Утверждено: O имеет все внутренние слоты экземпляра итератора For-In (14.7.5.10.3).
4. Пусть объект object будет O.[[Object]].
5. Пусть посещён visited равно O.[[VisitedKeys]].
6. Пусть осталось remaining равно O.[[RemainingKeys]].
7. Повторите,
   а. Если O.[[ObjectWasVisited]] является false (ложно), то
      i. Пусть ключи keys будут ? object.[[OwnPropertyKeys]]().
      ii. Для каждого элемента ключа key из ключей keys выполните
         1. Если Тип(key) - Строка, то
            а. Добавьте ключ key к оставшимся remaining.
      iii. Установите для O.[[ObjectWasVisited]] значение true.
   b. Повторять, пока remaining не пусто,
      i. Пусть r будет первым элементом из remaining.
      ii. Удалите первый элемент из remaining.
      iii. Если не существует элемента v из посещенного visited, такого что SameValue(r, v) является true (истинно), то
         1. Пусть desc будет ? object.[[GetOwnProperty]](r).
         2. Если desc не является undefined, тогда
            а. Добавьте r в список посещенных visited.
            b. Если desc.[[Enumerable]] является true (истинно), вернуть CreateIterResultObject(r, false).
c. Установить объект object на ? object.[[GetPrototypeOf]]().
d. Установите O.[[Object]] на object.
е. Установите O.[[ObjectWasVisited]] на значение false.
f. Если object имеет значение null, вернуть CreateIterResultObject(undefined, true).

14.7.5.10.3 Свойства экземпляров итератора For-In

Экземпляры итератора For-In — это обычные объекты, наследующие свойства от внутреннего объекта %ForInIteratorPrototype%. Экземпляры итератора For-In изначально создаются с внутренними слотами, перечисленными в Таблице 42.

14.8 Оператор continue

Синтаксис оператора continue

ContinueStatement _{[Yield, Await]} :

continue ;

continue [не LineTerminator здесь] LabelIdentifier _{[?Yield, ?Await]} ;

14.8.1 Статическая семантика: Ранние Ошибки

ContinueStatement :

continue ;

continue LabelIdentifier ;

• Это синтаксическая ошибка, если этот ContinueStatement не вложен, прямо или косвенно (но не пересекает границы функции), в IterationStatement.

14.8.2 Семантика времени выполнения: Оценка

ContinueStatement : continue ;

1. Вернуть Completion { [[Type]]: continue, [[Value]]: empty, [[Target]]: empty }.

ContinueStatement : continue LabelIdentifier ;

1. Пусть label будет StringValue из LabelIdentifier.
2. Вернуть Completion { [[Type]]: continue, [[Value]]: empty, [[Target]]: label }.

14.9 Оператор break

Синтаксис оператора break

BreakStatement _{[Yield, Await]} :

break ;

break [не LineTerminator здесь] LabelIdentifier _{[?Yield, ?Await]} ;

14.9.1 Статическая семантика: ранние ошибки

BreakStatement : break ;

• Это синтаксическая ошибка, если этот BreakStatement не вложен, прямо или косвенно (но не пересекает границы функции), в IterationStatement или SwitchStatement.

14.9.2 Семантика времени выполнения: оценка

BreakStatement : break ;

1. Вернуть Completion { [[Type]]: break, [[Value]]: empty, [[Target]]: empty }.

BreakStatement : break LabelIdentifier ;

1. Пусть label будет StringValue из LabelIdentifier.
2. Вернуть Completion { [[Type]]: break, [[Value]]: empty, [[Target]]: label}.

14.10 Оператор return

Синтаксис оператора return

ReturnStatement _{[Yield, Await]} :

return ;

return [не LineTerminator здесь] Expression _{[+In, ?Yield, ?Await]} ;

14.10.1 Семантика времени выполнения: оценка

ReturnStatement : return ;

1. Вернуть Completion { [[Type]]: return, [[Value]]: undefined, [[Target]]: empty }.

ReturnStatement : return Expression ;

1. Пусть exprRef будет результатом вычисления Expression. 
2. Пусть exprValue будет ? GetValue(exprRef). 
3. Если ! GetGeneratorKind() является async, установить exprValue на ? Await(exprValue). 
4. Вернуть Completion { [[Type]]: return, [[Value]]: exprValue, [[Target]]: empty }.

14.11 Оператор with

Синтаксис оператора with

WithStatement _{[Yield, Await, Return]} :

with ( Expression _{[+In, ?Yield, ?Await]} ) Statement _{[?Yield, ?Await, ?Return]}

14.11.1 Статическая семантика: Ранние Ошибки

WithStatement : with ( Expression ) Statement

• Это синтаксическая ошибка, если код, соответствующий этому производству, содержится в коде строгого режима.
• Это синтаксическая ошибка, если IsLabelledFunction(Statement) является true (истинно).

14.11.2 Семантика времени выполнения: Оценка

WithStatement : with ( Expression ) Statement

1. Пусть val будет результатом вычисления выражения Expression.
2. Пусть obj будет ? ToObject(? GetValue(val)).
3. Пусть oldEnv будет LexicalEnvironment текущего контекста выполнения.
4. Пусть newEnv будет NewObjectEnvironment(obj, true, oldEnv).
5. Установите для LexicalEnvironment текущего контекста выполнения значение newEnv.
6. Пусть C будет результатом оценки Statement.
7. Установите LexicalEnvironment текущего контекста выполнения на oldEnv.
8. Вернуть Завершение(UpdateEmpty (C, undefined)).

14.12 Оператор switch

Синтаксис оператора switch

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]} :

case Expression _{[+In, ?Yield, ?Await]} : StatementList _{[?Yield, ?Await, ?Return] opt}

DefaultClause _{[Yield, Await, Return]} :

default : StatementList _{[?Yield, ?Await, ?Return] opt}

14.12.1 Статическая семантика: ранние ошибки

SwitchStatement : switch ( Expression ) CaseBlock

• Это синтаксическая ошибка, если LexicallyDeclaredNames из CaseBlock содержит какие-либо повторяющиеся записи.
• Это синтаксическая ошибка, если какой-либо элемент LexicallyDeclaredNames из CaseBlock также встречается в VarDeclaredNames из CaseBlock.

14.12.2 Семантика времени выполнения: Оценка Блока Случая — CaseBlockEvaluation

С параметром input.

CaseBlock : { }

1. Вернуть NormalCompletion(undefined).

CaseBlock : { CaseClauses }

1. Пусть V будет undefined.
2. Пусть A будет Списком элементов CaseClause в CaseClauses в порядке исходного текста.
3. Пусть found (найденное) будет false.
4. Для каждого CaseClause C из A выполните
  а. Если found является false, то
    i. Установить found на ? CaseClauseIsSelected(C, input).
  b. Если found является true, то
    i. Пусть R будет результатом вычисления C.
    ii. Если R.[[Value]] не empty, установите V равным R.[[Value]].
    iii. Если R - внезапное завершение, верните завершение Completion(UpdateEmpty(R, V)).
5. Верните нормальное завершение NormalCompletion(V).

CaseBlock : { CaseClauses _opt DefaultClause CaseClauses _opt }

1. Пусть V будет undefined.
2. Если присутствует первый CaseClauses, то
  а. Пусть A будет Списком элементов CaseClause в первых CaseClauses в порядке исходного текста.
3. Иначе,
  а. Пусть A будет «».
4. Пусть found (найденное) будет false.
5. Для каждого CaseClause C из A выполните
  а. Если found является false, то
    i. Установить found на ? CaseClauseIsSelected(C, input).
  b. Если found является true, то
    i. Пусть R будет результатом вычисления C.
    ii. Если R.[[Value]] не empty, установите V равным R.[[Value]].
    iii. Если R - внезапное завершение, верните завершение Completion(UpdateEmpty(R, V)).
6. Пусть foundInB имеет значение false.
7. Если присутствует второй CaseClauses, то
  а. Пусть B будет списком элементов CaseClause во втором CaseClauses в порядке исходного текста.
8. Иначе,
  а. Пусть B будет «».
9. Если found является false, то
  а. Для каждого CaseClause C из B выполните
    i. Если foundInB является false, то
      1. Установите для foundInB значение ? CaseClauseIsSelected(C, input).
    ii. Если foundInB является true, то
      1. Пусть R будет результатом вычисления CaseClause C.
      2. Если R.[[Value]] не empty, установите V равным R.[[Value]].
      3. Если R - внезапное завершение, верните завершение Completion(UpdateEmpty(R, V)).
10. Если foundInB является true, вернуть NormalCompletion(V).
11. Пусть R будет результатом вычисления DefaultClause.
12. Если R.[[Value]] не empty, установите V равным R.[[Value]].
13. Если R - внезапное завершение, верните завершение Completion(UpdateEmpty(R, V)).
14. ПРИМЕЧАНИЕ. Ниже приводится еще одна полная итерация второго CaseClauses.
15. Для каждого CaseClause C из B выполните:
  а. Пусть R будет результатом вычисления CaseClause C.
  b. Если R.[[Value]] не empty, установите V равным R.[[Value]].
  c. Если R - внезапное завершение, верните завершение Completion(UpdateEmpty(R, V)).
16. Вернуть нормальное завершение NormalCompletion(V).

14.12.3 CaseClauseIsSelected ( C, input )

Абстрактная операция CaseClauseIsSelected принимает аргументы C (узел синтаксического анализа CaseClause) и input (значение языка ECMAScript). Он определяет, соответствует ли C вводу input. При вызове она выполняет следующие шаги:

1. Утверждено: C является экземпляром производства CaseClause : case Expression : StatementList opt.
2. Пусть exprRef будет результатом оценки выражения Expression из C.
3. Пусть clauseSelector будет ? GetValue(exprRef).
4. Верните IsStrictlyEqual(input, clauseSelector).

14.12.4 Семантика времени выполнения: Оценка

SwitchStatement : switch ( Expression ) CaseBlock

1. Пусть exprRef будет результатом вычисления Expression.
2. Пусть switchValue будет ? GetValue(exprRef).
3. Пусть oldEnv будет LexicalEnvironment текущего контекста выполнения.
4. Пусть blockEnv будет NewDeclarativeEnvironment(oldEnv).
5. Выполните создание экземпляра объявления блока BlockDeclarationInstantiation(CaseBlock, blockEnv).
6. Установите для LexicalEnvironment текущего контекста выполнения значение blockEnv.
7. Пусть R будет CaseBlockEvaluation из CaseBlock с аргументом switchValue.
8. Установите LexicalEnvironment текущего контекста выполнения на oldEnv.
9. Верните R.

CaseClause : case Expression :

1. Верните NormalCompletion(empty).

CaseClause : case Expression : StatementList

1. Верните результат вычисления StatementList.

DefaultClause : default :

1. Верните NormalCompletion(empty).

DefaultClause : default : StatementList

1. Верните результат вычисления StatementList.

14.13 Помеченные операторы

Синтаксис помеченных операторов

LabelledStatement _{[Yield, Await, Return]} :

LabelIdentifier _{[?Yield, ?Await]} : LabelledItem _{[?Yield, ?Await, ?Return]}

LabelledItem _{[Yield, Await, Return]} :

Statement _{[?Yield, ?Await, ?Return]}

FunctionDeclaration _{[?Yield, ?Await, ~Default]}

14.13.1 Статическая семантика: ранние ошибки

LabelledItem : FunctionDeclaration

• Если какой-либо исходный текст соответствует этому правилу, это является синтаксической ошибкой.

14.13.2 Статическая семантика: IsLabelledFunction ( stmt )

Абстрактная операция IsLabelledFunction (Является Ли Помеченным Оператором) принимает аргумент stmt. При вызове она выполняет следующие шаги:

1. Если stmt не является LabelledStatement, верните false.
2. Пусть item будет LabelledItem для stmt.
3. Если item является LabelledItem : FunctionDeclaration, верните true.
4. Пусть subStmt будет выражением Statement элемента item.
5. Верните IsLabelledFunction(subStmt).

14.13.3 Семантика времени выполнения: оценка

LabelledStatement : LabelIdentifier : LabelledItem

1. Пусть newLabelSet будет новым пустым Списком.
2. Верните LabelledEvaluation этого LabelledStatement с аргументом newLabelSet.

14.13.4 Семантика времени выполнения: LabelledEvaluation

С параметром labelSet.

BreakableStatement : IterationStatement

1. Пусть stmtResult будет LoopEvaluation для IterationStatement с аргументом labelSet.
2. Если stmtResult.[[Type]] является break, то
  а. Если stmtResult.[[Target]] является empty, то
    i. Если stmtResult.[[Value]] является empty, установите для stmtResult значение NormalCompletion(undefined).
    ii. В противном случае установите для stmtResult значение NormalCompletion(stmtResult.[[Value]]).
3. Вернуть завершение Completion(stmtResult).

BreakableStatement : SwitchStatement

1. Пусть stmtResult будет результатом вычисления SwitchStatement.
2. Если stmtResult.[[Type]] является break, то
  а. Если stmtResult.[[Target]] является empty, то
    i. Если stmtResult.[[Value]] является empty, установите для stmtResult значение NormalCompletion(undefined).
    ii. В противном случае установите для stmtResult значение NormalCompletion(stmtResult.[[Value]]).
3. Вернуть завершение Completion(stmtResult).

LabelledStatement : LabelIdentifier : LabelledItem

1. Пусть label будет строковым значением StringValue для LabelIdentifier.
2. Пусть newLabelSet будет конкатенацией списка labelSet и «label».
3. Пусть stmtResult будет LabelledEvaluation для LabelledItem с аргументом newLabelSet.
4. Если stmtResult.[[Type]] является break, а SameValue(stmtResult.[[Target]], label) является true, то
  а. Установите для stmtResult значение NormalCompletion(stmtResult.[[Value]]).
5. Вернуть Завершение Completion(stmtResult).

LabelledItem : FunctionDeclaration

1. Верните результат вычисления FunctionDeclaration.

Statement :

BlockStatement

VariableStatement

EmptyStatement

ExpressionStatement

IfStatement

ContinueStatement

BreakStatement

ReturnStatement

WithStatement

ThrowStatement

TryStatement

DebuggerStatement

1. Верните результат оценки Statement.

14.14 Оператор throw

Синтаксис оператора throw

ThrowStatement _{[Yield, Await]} :

throw [нет LineTerminator здесь] Expression _{[+In, ?Yield, ?Await]} ;

14.14.1 Семантика времени выполнения: Оценка

ThrowStatement : throw Expression ;

1. Пусть exprRef будет результатом вычисления выражения Expression.
2. Пусть exprValue будет ? GetValue(exprRef).
3. Вернуть ThrowCompletion(exprValue).

14.15 Оператор try

Синтаксис оператора try

TryStatement _{[Yield, Await, Return]} :

try Block _{[?Yield, ?Await, ?Return]} Catch _{[?Yield, ?Await, ?Return]}

try Block _{[?Yield, ?Await, ?Return]} Finally _{[?Yield, ?Await, ?Return]}

try Block _{[?Yield, ?Await, ?Return]} Catch _{[?Yield, ?Await, ?Return]} Finally _{[?Yield, ?Await, ?Return]}

Catch _{[Yield, Await, Return]} :

catch ( CatchParameter _{[?Yield, ?Await]} ) Block _{[?Yield, ?Await, ?Return]}

catch Block _{[?Yield, ?Await, ?Return]}

Finally _{[Yield, Await, Return]} :

finally Block _{[?Yield, ?Await, ?Return]}

CatchParameter _{[Yield, Await]} :

BindingIdentifier _{[?Yield, ?Await]}

BindingPattern _{[?Yield, ?Await]}

14.15.1 Статическая семантика: Ранние Ошибки

Catch : catch ( CatchParameter ) Block

• Это синтаксическая ошибка, если BoundNames из CatchParameter содержит какие-либо повторяющиеся элементы.
• Это синтаксическая ошибка, если какой-либо элемент BoundNames из CatchParameter также встречается в LexicallyDeclaredNames из Block.
• Это синтаксическая ошибка, если какой-либо элемент BoundNames из CatchParameter также встречается в VarDeclaredNames из Block.

14.15.2 Семантика времени выполнения: CatchClauseEvaluation

С параметром брошенного значения thrownValue.

Catch : catch ( CatchParameter ) Block

1. Пусть oldEnv будет LexicalEnvironment текущего контекста выполнения.
2. Пусть catchEnv будет NewDeclarativeEnvironment(oldEnv).
3. Для каждого элемента argName из BoundNames параметра CatchParameter выполните
  а. Выполнять ! catchEnv.CreateMutableBinding(argName, false).
4. Задайте для LexicalEnvironment текущего контекста выполнения значение catchEnv.
5. Пусть status будет BindingInitialization из CatchParameter с аргументами thrownValue и catchEnv.
6. Если status - внезапное завершение, то
  а. Установите для LexicalEnvironment текущего контекста выполнения значение oldEnv.
  b. Верните Завершение Completion(status).
7. Пусть B будет результатом вычисления блока.
8. Установите LexicalEnvironment текущего контекста выполнения на oldEnv.
9. Верните завершение (B).

Catch : catch Block

1. Верните результат оценки Block.

14.15.3 Семантика времени выполнения: Оценка

TryStatement : try Block Catch

1. Пусть B будет результатом оценки Block.
2. Если B.[[Type]] является throw, пусть C будет CatchClauseEvaluation для Catch с аргументом B.[[Value]].
3. Иначе, пусть C будет B.
4. Вернуть Завершение Completion(UpdateEmpty(C, undefined)).

TryStatement : try Block Finally

1. Пусть B будет результатом оценки Block.
2. Пусть F будет результатом вычисления Finally.
3. Если F.[[Type]] является normal, установите F на B.
4. Вернуть Завершение Completion(UpdateEmpty(F, undefined)).

TryStatement : try Block Catch Finally

1. Пусть B будет результатом оценки Block.
2. Если B.[[Type]] является throw, пусть C будет CatchClauseEvaluation для Catch с аргументом B.[[Value]].
3. Иначе, пусть C будет B.
4. Пусть F будет результатом вычисления Finally.
5. Если F.[[Type]] является normal, установите F на C.
6. Вернуть Завершение Completion(UpdateEmpty(F, undefined)).

14.16 Оператор debugger

Синтаксис оператора debugger

DebuggerStatement :

debugger ;

14.16.1 Семантика времени выполнения: Оценка

DebuggerStatement : debugger ;

1. Если средство отладки, определяемое реализацией, доступно и включено, то
  а. Выполните действие отладки, определяемое реализацией.
  b. Пусть result будет значением завершения, определяемым реализацией.
2. Иначе,
  а. Пусть result будет NormalCompletion(empty).
3. Вернуть result.

Информационные ссылки

Стандарт ECMAScript — Раздел «14 ECMAScript Language: Statements and Declarations» — https://tc39.es/ecma262/#sec-ecmascript-language-statements-and-declarations