12.6 反復ステートメント / Iteration Statements / Standard ECMA-262 5.1 Edition

【構文】
IterationStatement :
	do Statement while ( Expression );
	while ( Expression ) Statement
	for (ExpressionNoInopt; Expressionopt ; Expressionopt ) Statement
	for ( var VariableDeclarationListNoIn; Expressionopt ; Expressionopt ) Statement
	for ( LeftHandSideExpression in Expression ) Statement
	for ( var VariableDeclarationNoIn in Expression ) Statement

do Statement while ( Expression );

1. V = empty とする
2. iteratingは、trueとする
3. iteratingが、trueの間、繰り返し
	a. stmt は、Statementを評価した結果とする
	b. stmt.value が、emptyではない場合、 V = stmt.valueとする
	c. stmt.type が、continueでない、または、 stmt.target が、現在のラベルのセットではない場合、
		i. stmt.type が、breakで且つ、 stmt.target が現在のラベルのセットである場合、return (normal, V, empty)
		ii. stmt が、途中完了(an abrupt completion)である場合、 stmt を返す
	d. exprRef は、Expressionを評価した結果とする
	e. ToBoolean(GetValue(exprRef)) が、falseである場合、iteratingにfalseを設定
4. return (normal, V, empty)

IterationStatement : while ( Expression ) Statement

1. V = empty とする
2.繰り返す
	a. exprRef は、Expressionを評価した結果とする
	b. ToBoolean(GetValue(exprRef)) が、 falseである場合、return (normal, V, empty)
	c. stmt は、Statementを評価した結果とする
	d. stmt.value が、emptyではない場合、 V = stmt.value とする
	e. stmt.type が、continueでない、または、 stmt.target が、現在のラベルのセットではない場合、
		i. stmt.type が、breakで且つ、 stmt.target が、現在のラベルのセット内にある場合、
			1. return (normal, V, empty)
		ii. stmt が、途中完了(an abrupt completion)である場合、 stmt を返す

IterationStatement : for (ExpressionNoInopt ; Expressionopt ; Expressionopt) Statement

1. ExpressionNoIn が存在する場合、
	a. exprRef は、ExpressionNoInを評価した結果とする
	b. GetValue(exprRef)を呼ぶ(この値は使われないが、副作用を持つ場合がある)
2. V = empty とする
3.繰り返す
	a.1つめのExpressionが存在する場合、
		i. testExprRef は、1つめのExpressionを評価した結果とする
		ii. ToBoolean(GetValue(testExprRef)) が、 falseである場合、 return (normal, V, empty)
	b. stmt は、Statementを評価した結果とする
	c. stmt.value が、emptyではない場合、 V = stmt.value とする
	d. stmt.type が、breakで且つ、 stmt.target が現在のラベルのセット内にある場合、return (normal, V, empty)
	e. stmt.type が、continueでない、または、 stmt.target が、現在のラベルのセット内にない場合、
		i. stmt が、途中完了(an abrupt completion)である場合、 stmt を返す
	f.2つめのExpressionが存在する場合、
		i. incExprRef は、2つめのExpressionを評価した結果とする
		ii. GetValue(incExprRef) を呼ぶ(この値は使用されない)

IterationStatement : for ( var VariableDeclarationListNoIn ; Expressionopt ; Expressionopt ) Statement

1. VariableDeclarationListNoInを評価
2. V = empty とする
3.繰り返す
	a.1つめのExpressionが存在する場合、
		i. testExprRef は、1つめのExpressionを評価した結果とする
		ii. ToBoolean(GetValue(testExprRef)) が、 falseである場合、 return (normal, V, empty)
	b. stmt は、Statementを評価した結果とする
	c. stmt.value が、emptyではない場合、 V = stmt.value とする
	d. stmt.type が、breakで且つ、 stmt.target が、現在のラベルのセット内にある場合、 return (normal, V, empty)
	e. stmt.type が、continueでない、または、 stmt.target が、現在のラベルのセット内にない場合、
		i. stmt が、途中完了(an abrupt completion)である場合、 stmt を返す
	f.2つめのExpressionが存在する場合、
		i. incExprRef は、2つめのExpressionを評価した結果とする
		ii. GetValue(incExprRef)を呼ぶ(この値は使用されない)

IterationStatement : for ( LeftHandSideExpression in Expression ) Statement

1. exprRef は、Expressionを評価した結果とする
2. experValue は、 GetValue(exprRef) とする
3. experValue が、 null または、 undefinedである場合、 return (normal, empty, empty)
4. obj は、 ToObject(experValue) とする
5. V = empty とする
6.繰り返す
	a. P は、[[Enumerable]]属性が、trueである obj の次のプロパティの名称とする、そのようなプロパティがない場合、 return (normal, V, empty)
	b. lhsRef は、 LeftHandSideExpression を評価した結果とする (それは繰り返しと評価される場合がある)
	c. PutValue(lhsRef, P) を呼ぶ
	d. stmt は、Statementを評価した結果とする
	e. stmt.value が、 emptyである場合、 V = stmt.value とする
	f. stmt.type が、 breakで且つ stmt.target が、現在のラベルのセット内にある場合、 return (normal, V, empty)
	g. stmt.type が、continueでない、または、 stmt.target が、現在のラベルのセット内にない場合、
		i. stmt が、途中完了(an abrupt completion)である場合、 stmt を返す

IterationStatement : for ( var VariableDeclarationNoIn in Expression ) Statement

1. varName は、VariableDeclarationNoInを評価した結果とする
2. exprRef は、Expressionを評価した結果とする
3. experValue は、 GetValue(exprRef) とする
4. experValue が、 null または、 undefinedである場合、return (normal, empty, empty)
5. obj は、 ToObject(experValue) とする
6. V = empty とする
7.繰り返す
	a. P は、[[Enumerable]]属性がtrueである obj の次のプロパティの名称とする、そのようなプロパティがない場合には、 return (normal, V, empty)
	b. varRef は、識別子参照 (11.1.2)にあったように varName を評価した結果とする、それは繰り返しと評価される場合がある
	c. PutValue(varRef, P) を呼ぶ
	d. stmt は、Statementを評価した結果とする
	e. stmt.value が、emptyではない場合、 let V = stmt.value とする
	f. stmt.type が、 breakで且つ、stmt.target が、現在のラベルのセット内にある場合、 return (normal, V, empty)
	g. stmt.type が、continueでない、または、 stmt.target が現在のラベルのセット内にない場合、
		i. stmt が、途中完了(an abrupt completion)である場合、 stmt を返す