Syntax

Block :

{ StatementList_opt }

StatementList :

Statement

StatementList Statement

Semantics

逕滓�隕丞援 Block : { } 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. (normal, empty, empty) 繧定ｿ斐☆縲�

逕滓�隕丞援 Block : { StatementList } 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. StatementList 繧定ｩ穂ｾ｡縲�
2. Result(1) 繧定ｿ斐☆縲�

逕滓�隕丞援 StatementList : Statement 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Statement 繧定ｩ穂ｾ｡縲�
2. 萓句､悶′謚輔￡繧峨ｌ縺溘ｉ縲�(throw, V, empty) 繧定ｿ斐☆縲� V 縺ｯ萓句､悶〒縺ゅｋ縲� (縺薙％縺ｧ縺ｯ萓句､悶′霑斐＆繧後↑縺�°縺ｮ繧医≧縺ｫ螳溯｡後�騾ｲ陦後☆繧九€�)
3. Result(1) 繧定ｿ斐☆縲�

逕滓�隕丞援 StatementList : StatementList Statement 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. StatementList 繧定ｩ穂ｾ｡縲�
2. Result(1) 縺御ｸｭ騾泌ｮ御ｺ�〒縺ゅｌ縺ｰ縲� Result(1) 繧定ｿ斐☆縲�
3. Statement 繧定ｩ穂ｾ｡縲�
4. 萓句､悶′謚輔￡繧峨ｌ縺溘ｉ縲�(throw, V, empty) 繧定ｿ斐☆縲� V 縺ｯ萓句､悶〒縺ゅｋ縲� (縺薙％縺ｧ縺ｯ萓句､悶′霑斐＆繧後↑縺�°縺ｮ繧医≧縺ｫ螳溯｡後�騾ｲ陦後☆繧九€�)
5. Result(3).value 縺� empty 縺ｧ縺ゅｌ縺ｰ縲� V = Result(1).value 縺ｨ縺励€√◎縺�〒縺ｪ縺代ｌ縺ｰ V = Result(3).value 縺ｨ縺吶ｋ縲�
6. (Result(3).type, V, Result(3).target) 繧定ｿ斐☆縲�

Syntax

VariableStatement :

var VariableDeclarationList ;

VariableDeclarationList :

VariableDeclaration

VariableDeclarationList , VariableDeclaration

VariableDeclarationListNoIn :

VariableDeclarationNoIn

VariableDeclarationListNoIn , VariableDeclarationNoIn

VariableDeclaration :

Identifier Initialiser_opt

VariableDeclarationNoIn :

Identifier InitialiserNoIn_opt

Initialiser :

= AssignmentExpression

InitialiserNoIn :

= AssignmentExpressionNoIn

Description

FunctionDeclaration 蜀�Κ縺ｧ螟画焚譁�′逋ｺ逕溘☆繧九↑繧峨�縲√◎縺ｮ螟画焚縺ｯ縲�繧ｻ繧ｯ繧ｷ繝ｧ繝ｳ 10.1.3 縺ｫ縺ゅｋ繧医≧縺ｫ縲√◎縺ｮ髢｢謨ｰ蜀��髢｢謨ｰ繝ｭ繝ｼ繧ｫ繝ｫ繧ｹ繧ｳ繝ｼ繝励〒螳夂ｾｩ縺輔ｌ繧九€ゅ◎縺�〒縺ｪ縺�↑繧峨�縲√◎繧後ｉ縺ｯ繝励Ο繝代ユ繧｣螻樊€ｧ { DontDelete } 縺ｮ繧ｰ繝ｭ繝ｼ繝舌Ν繧ｹ繧ｳ繝ｼ繝励〒螳夂ｾｩ縺輔ｌ繧�(縺､縺ｾ繧翫€√そ繧ｯ繧ｷ繝ｧ繝ｳ10.1.3 縺ｫ縺ゅｋ繧ｰ繝ｭ繝ｼ繝舌Ν繧ｪ繝悶ず繧ｧ繧ｯ繝医�繝｡繝ｳ繝舌→縺励※菴懈�縺輔ｌ繧�)縲ょ､画焚縺ｯ螳溯｡後せ繧ｳ繝ｼ繝励↓蜈･縺｣縺溘→縺阪↓逕滓�縺輔ｌ繧九€� Block 縺ｯ譁ｰ縺励＞螳溯｡後せ繧ｳ繝ｼ繝励ｒ螳夂ｾｩ縺励↑縺�€� Program 縺ｨ FunctionDeclaration 縺�縺代′譁ｰ縺励＞繧ｹ繧ｳ繝ｼ繝励ｒ逕滓�縺吶ｋ縲ら函謌先凾縲∝､画焚縺ｯ undefined 縺ｧ蛻晄悄蛹悶＆繧後ｋ縲ゅう繝九す繝｣繝ｩ繧､繧ｶ繧呈戟縺､螟画焚縺� AssignmentExpression 縺ｮ蛟､繧剃ｻ｣蜈･縺輔ｌ繧九�縺ｯ VariableStatement 縺悟ｮ溯｡後＆繧後ｋ縺ｨ縺阪〒縺ゅｊ縲∝､画焚縺檎函謌舌＆繧後◆縺ｨ縺阪〒縺ｯ縺ｪ縺�€�

Semantics

逕滓�隕丞援 VariableStatement : var VariableDeclarationList ; 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. VariableDeclarationList 繧定ｩ穂ｾ｡縲�
2. (normal, empty, empty) 繧定ｿ斐☆縲�

逕滓�隕丞援 VariableDeclarationList : VariableDeclaration 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. VariableDeclaration 繧定ｩ穂ｾ｡縲�

逕滓�隕丞援 VariableDeclarationList : VariableDeclarationList , VariableDeclaration 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. VariableDeclarationList 繧定ｩ穂ｾ｡縲�
2. VariableDeclaration 繧定ｩ穂ｾ｡縲�

逕滓�隕丞援 VariableDeclaration : Identifier 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Identifier 縺ｨ蜷後§譁�ｭ励す繝ｼ繧ｱ繝ｳ繧ｹ縺ｧ讒区�縺輔ｌ繧区枚蟄怜�蛟､繧定ｿ斐☆縲�

逕滓�隕丞援 VariableDeclaration : Identifier Initialiser 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. 繧ｻ繧ｯ繧ｷ繝ｧ繝ｳ 11.1.2 縺ｫ縺ゅｋ繧医≧縺ｫ Identifier 繧定ｩ穂ｾ｡縲�
2. Initialiser 繧定ｩ穂ｾ｡縲�
3. GetValue(Result(2)) 繧貞他蜃ｺ縺吶€�
4. PutValue(Result(1), Result(3)) 繧貞他蜃ｺ縺吶€�
5. Identifier 縺ｨ蜷後§譁�ｭ励す繝ｼ繧ｱ繝ｳ繧ｹ縺ｧ讒区�縺輔ｌ繧区枚蟄怜�蛟､繧定ｿ斐☆縲�

逕滓�隕丞援 Initialiser : = AssignmentExpression 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. AssignmentExpression 繧定ｩ穂ｾ｡縲�
2. Result(1) 繧定ｿ斐☆縲�

逕滓�隕丞援 VariableDeclarationListNoIn, VariableDeclarationNoIn, InitialiserNoIn 縺ｯ縲∫函謌占ｦ丞援 VariableDeclarationList, VariableDeclaration, Initialiser 縺ｨ蜷梧ｧ倥↓隧穂ｾ｡縺輔ｌ繧九′縲� VariableDeclarationList, VariableDeclaration, Initialiser, AssignmentExpression 縺ｮ莉｣繧上ｊ縺ｫ縲√◎繧後◇繧� VariableDeclarationListNoIn, VariableDeclarationNoIn, InitialiserNoIn, AssignmentExpressionNoIn 縺瑚ｩ穂ｾ｡縺輔ｌ繧九€�

Syntax

EmptyStatement :

;

Semantics

逕滓�隕丞援 EmptyStatement : ; 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. (normal, empty, empty) 繧定ｿ斐☆縲�

Syntax

ExpressionStatement :

[lookahead ∉ {{, function} ] Expression ;

Block 縺ｨ譖匁乂縺ｫ縺ｪ繧九％縺ｨ縺九ｉ縲� ExpressionStatement 縺ｯ螟ｧ諡ｬ蠑ｧ "{" 縺ｧ髢句ｧ九☆繧九％縺ｨ縺ｯ縺ｧ縺阪↑縺�％縺ｨ縺ｫ豕ｨ諢上€ゅ∪縺溘€� FunctionDeclaration 縺ｨ譖匁乂縺ｫ縺ｪ繧九％縺ｨ縺九ｉ縲� ExpressionStatement 縺ｯ function 繧ｭ繝ｼ繝ｯ繝ｼ繝峨〒髢句ｧ九☆繧九％縺ｨ繧ゅ〒縺阪↑縺�€�

Semantics

逕滓�隕丞援 ExpressionStatement : [lookahead ∉ {{, function}] Expression ; 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Expression 繧定ｩ穂ｾ｡縺吶ｋ縲�
2. GetValue(Result(1)) 繧貞他蜃ｺ縺吶€�
3. (normal, Result(2), empty) 繧定ｿ斐☆縲�

Syntax

IfStatement :

if ( Expression ) Statement else Statement

if ( Expression ) Statement

髢｢騾｣縺吶ｋ if 縺ｮ驕ｸ謚槭′譖匁乂縺ｪ else 縺ｯ縲∝庄閭ｽ縺ｪ髯舌ｊ譛€繧りｿ代＞縲�未騾｣縺励↑縺代ｌ縺ｰ隧ｲ蠖薙☆繧� else 縺後↑縺�ｈ縺�↑ if 縺ｫ縺昴ｌ縺槭ｌ髢｢騾｣縺励※縺�ｋ縲�

Semantics

逕滓�隕丞援 IfStatement : if ( Expression ) Statement else Statement 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Expression 繧定ｩ穂ｾ｡縲�
2. GetValue(Result(1)) 繧貞他蜃ｺ縺吶€�
3. ToBoolean(Result(2)) 繧貞他蜃ｺ縺吶€�
4. Result(3) 縺� false 縺ｪ繧峨�縲√せ繝�ャ繝� 7 縺ｸ縲�
5. 譛€蛻昴� Statement 繧定ｩ穂ｾ｡縲�
6. Result(5) 繧定ｿ斐☆縲�
7. 2 逡ｪ逶ｮ縺ｮ Statement 繧定ｩ穂ｾ｡縲�
8. Result(7) 繧定ｿ斐☆縲�

逕滓�隕丞援 IfStatement : if ( Expression ) Statement 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Expression 繧定ｩ穂ｾ｡縲�
2. GetValue(Result(1)) 繧貞他蜃ｺ縺吶€�
3. ToBoolean(Result(2)) 繧貞他蜃ｺ縺吶€�
4. Result(3) 縺� false 縺ｪ繧峨�縲� (normal, empty, empty) 繧定ｿ斐☆縲�
5. Result(3) 縺� false 縺ｪ繧峨�縲� (normal, empty, empty) 繧定ｿ斐☆縲�
6. Statement 繧定ｩ穂ｾ｡縲�
7. Result(5) 繧定ｿ斐☆縲�

郢ｰ霑斐＠譁�� (繧ｭ繝ｼ繝ｯ繝ｼ繝峨→諡ｬ蠑ｧ縺ｮ蛻ｶ蠕｡讒矩€�縺ｧ讒区�縺輔ｌ繧�) 繝倥ャ繝€縺ｨ (Statement 縺ｧ讒区�縺輔ｌ繧�) 譛ｬ譁�〒讒区�縺輔ｌ繧九€�

Syntax

IterationStatement :

do Statement while ( Expression );

while ( Expression ) Statement

for (ExpressionNoIn_opt; Expression_opt ; Expression_opt ) Statement

for ( var VariableDeclarationListNoIn; Expression_opt ; Expression_opt ) Statement

for ( LeftHandSideExpression in Expression ) Statement

for ( var VariableDeclarationNoIn in Expression ) Statement

Syntax

ContinueStatement :

continue [LineTerminator 辟｡縺余 Identifier_opt ;

Semantics

谺｡縺ｮ縺�★繧後°縺檎悄縺ｧ縺ゅｋ縺ｨ縺阪€√�繝ｭ繧ｰ繝ｩ繝�縺ｯ讒区枚逧�↓荳肴ｭ｣縺ｧ縺ゅｋ縺ｨ閠�∴繧峨ｌ繧�:

• 繝励Ο繧ｰ繝ｩ繝�縺碁∈謚樒噪 Identifier 繧呈戟縺溘↑縺� continue 螳｣險€縺ｧ讒区�縺輔ｌ縺ｦ縺�※縲∫峩謗･縺ｾ縺溘�髢捺磁逧�↓(髢｢謨ｰ縺ｮ蛹ｺ蛻�ｊ縺ｫ縺ｾ縺溘′繧峨↑縺�)縲� IterationStatement 蜀�↓繝阪せ繝医＠縺ｪ縺ｦ縺�↑縺�€�
• 繝励Ο繧ｰ繝ｩ繝�縺碁∈謚樒噪 Identifier 繧呈戟縺､ continue 螳｣險€縺ｧ讒区�縺輔ｌ縺ｦ縺�※縲�哩縺倥◆ (髢｢謨ｰ縺ｮ蛹ｺ蛻�ｊ縺ｫ縺ｯ縺ｾ縺溘′繧峨↑縺�) IterationStatement 縺ｮ繝ｩ繝吶Ν繧ｻ繝�ヨ蜀�↓ Identifier 縺悟�迴ｾ縺励↑縺�

Identifier 縺ｮ縺ｪ縺� ContinueStatement 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. (continue, empty, empty) 繧定ｿ斐☆縲�

Identifier 繧呈戟縺､ ContinueStatement 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. (continue, empty, Identifier) 繧定ｿ斐☆縲�

Syntax

BreakStatement :

break [LineTerminator 辟｡縺余 Identifier_opt ;

Semantics

谺｡縺ｮ縺�★繧後°縺檎悄縺ｧ縺ゅｋ蝣ｴ蜷医€√�繝ｭ繧ｰ繝ｩ繝�縺ｯ讒区枚逧�↓荳肴ｭ｣縺ｧ縺ゅｋ縺ｨ閠�∴繧峨ｌ繧�:

• 繝励Ο繧ｰ繝ｩ繝�縺碁∈謚樒噪縺ｪ Identifier 繧呈戟縺溘↑縺� break 譁�ｒ蜷ｫ縺ｿ縲√◎繧後′ IterationStatement 縺ｾ縺溘� SwitchStatement 蜀�Κ縺ｧ逶ｴ謗･逧�∪縺溘�髢捺磁逧�↓繝阪せ繝医＠縺ｦ縺�↑縺�€� (髢｢謨ｰ縺ｮ蠅�阜縺ｫ縺ｯ莠､繧上ｉ縺ｪ縺�)
• 繝励Ο繧ｰ繝ｩ繝�縺碁∈謚樒噪縺ｪ Identifier 繧呈戟縺､ break 譁�ｒ蜷ｫ縺ｿ縲� Identifier 縺� Statement 繧貞峇繧€繝ｩ繝吶Ν繧ｻ繝�ヨ蜀�↓蜃ｺ迴ｾ縺励↑縺�€� (髢｢謨ｰ縺ｮ蠅�阜縺ｫ縺ｯ莠､繧上ｉ縺ｪ縺�)

Identifier 縺ｮ縺ｪ縺� BreakStatement 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. (break, empty, empty) 繧定ｿ斐☆縲�

Identifier 縺ｮ縺ゅｋ BreakStatement 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. (break, empty, Identifier) 繧定ｿ斐☆縲�

Syntax

ReturnStatement :

return [LineTerminator 辟｡縺余 Expression_opt ;

Semantics

ECMAScript 繝励Ο繧ｰ繝ｩ繝�縺ｯ縲√◎繧後′ FunctionBody 蜀�Κ\縺ｧ縺ｪ縺� return 譁�ｒ蜷ｫ繧€蝣ｴ蜷医€∵ｧ区枚逧�↓荳肴ｭ｣縺ｨ閠�∴繧峨ｌ繧九€�return 譁��縲�未謨ｰ縺ｫ螳溯｡後ｒ蛛懈ｭ｢縺輔○縲∝€､繧貞他蜃ｺ蛛ｴ縺ｫ霑斐＆縺帙ｋ縲� Expression 縺檎怐逡･縺輔ｌ繧句�ｴ蜷医€∵綾繧雁€､縺ｯ undefined 縺ｧ縺ゅｋ縲ゅ◎縺�〒縺ｪ縺代ｌ縺ｰ縲∵綾繧雁€､縺ｯ Expression 縺ｮ蛟､縺ｧ縺ゅｋ縲�

逕滓�隕丞援 ReturnStatement : return [no LineTerminator here] Expression_opt ; 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Expression 縺悟ｭ伜惠縺励↑縺代ｌ縺ｰ (return, undefined, empty) 繧定ｿ斐☆縲�
2. Expression 繧定ｩ穂ｾ｡縲�
3. GetValue(Result(2)) 繧貞他蜃ｺ縺吶€�
4. (return, Result(3), empty) 繧定ｿ斐☆縲�

Syntax

WithStatement :

with ( Expression ) Statement

Description

with 譁��迴ｾ蝨ｨ縺ｮ螳溯｡後さ繝ｳ繝�く繧ｹ繝医�繧ｹ繧ｳ繝ｼ繝鈴€｣骼悶�蜈磯�ｭ縺ｫ邂怜�縺輔ｌ縺溘が繝悶ず繧ｧ繧ｯ繝医ｒ霑ｽ蜉�縺励€√％縺ｮ諡｡蠑ｵ縺輔ｌ縺溘せ繧ｳ繝ｼ繝鈴€｣骼悶ｒ逕ｨ縺�※譁�ｒ螳溯｡後＠縲√せ繧ｳ繝ｼ繝鈴€｣骼悶ｒ闢�ｩ阪☆繧九€�

Semantics

逕滓�隕丞援 WithStatement : with ( Expression ) Statement 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Expression 繧定ｩ穂ｾ｡縲�
2. GetValue(Result(1)) 繧貞他蜃ｺ縺吶€�
3. ToObject(Result(2)) 繧貞他蜃ｺ縺吶€�
4. 繧ｹ繧ｳ繝ｼ繝鈴€｣骼悶�蜈磯�ｭ縺ｫ Result(3) 繧定ｿｽ蜉�縲�
5. 繧ｹ繝�ャ繝� 4 縺九ｉ諡｡蠑ｵ縺輔ｌ繧九せ繧ｳ繝ｼ繝鈴€｣骼悶ｒ菴ｿ逕ｨ縺励※ Statement 繧定ｩ穂ｾ｡縲�
6. C 繧� Result(5) 縺ｨ縺吶ｋ縲ゅせ繝�ャ繝� 5 縺ｧ萓句､悶′謚輔￡繧峨ｌ縺溘ｉ縲� C 繧� (throw, V, empty) 縺ｨ縺吶ｋ縲� V 縺ｮ縺ｨ縺薙ｍ縺ｯ萓句､悶〒縺ゅｋ縲�(螳溯｡後�萓句､悶′逋ｺ逕溘＠縺ｪ縺九▲縺溘°縺ｮ繧医≧縺ｫ騾ｲ陦後☆繧九€�)
7. 繧ｹ繧ｳ繝ｼ繝鈴€｣骼悶�蜈磯�ｭ縺九ｉ Result(3) 繧貞叙繧企勁縺上€�
8. C 繧定ｿ斐☆縲�

NOTE 蝓九ａ霎ｼ縺ｾ繧後◆ Statement 縺ｫ縺ｩ縺ｮ繧医≧縺ｫ蛻ｶ蠕｡縺梧ｮ九▲縺溘→縺励※繧ゅ€�€壼ｸｸ縺ｧ繧阪≧縺ｨ荳ｭ騾泌ｮ御ｺ�ｄ萓句､悶�蠖｢蠑上〒縺ゅｍ縺�→縲√せ繧ｳ繝ｼ繝励メ繧ｧ繝ｼ繝ｳ縺ｫ縺ｯ蟶ｸ縺ｫ萓晉┯縺ｮ迥ｶ諷九′闢�ｩ阪＆繧後ｋ縲�

Syntax

SwitchStatement :

switch ( Expression ) CaseBlock

CaseBlock :

{ CaseClauses_opt }

{ CaseClauses_opt DefaultClause CaseClauses_opt }

CaseClauses :

CaseClause

CaseClauses CaseClause

CaseClause :

case Expression : StatementList_opt

DefaultClause :

default : StatementList_opt

Semantics

逕滓�隕丞援 SwitchStatement : switch ( Expression ) CaseBlock 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Expression 繧定ｩ穂ｾ｡縲�
2. GetValue(Result(1)) 繧貞他蜃ｺ縺吶€�
3. CaseBlock 繧定ｩ穂ｾ｡縺励€√ヱ繝ｩ繝｡繝ｼ繧ｿ縺ｨ縺励※ Result(2) 繧呈ｸ｡縺吶€�
4. Result(3).type 縺� break 縺ｧ Result(3).target 縺檎樟蝨ｨ縺ｮ繝ｩ繝吶Ν繧ｻ繝�ヨ縺ｪ繧峨�縲� (normal, Result(3).value, empty) 繧定ｿ斐☆縲�
5. Result(3) 繧定ｿ斐☆縲�

逕滓�隕丞援 CaseBlock : { CaseClauses_opt } 縺ｯ蜈･蜉帙ヱ繝ｩ繝｡繝ｼ繧ｿ input 繧剃ｸ弱∴繧峨ｌ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. V = empty 縺ｨ縺吶ｋ縲�
2. A 繧偵た繝ｼ繧ｹ繝�く繧ｹ繝磯��� CaseClause 鬆�岼縺ｮ繝ｪ繧ｹ繝医→縺吶ｋ縲�
3. C 繧� A 蜀��谺｡縺ｮ CaseClause 縺ｨ縺吶ｋ縲ゅ◎縺ｮ繧医≧縺ｪ CaseClause 縺後↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 16 縺ｸ縲�
4. C 繧定ｩ穂ｾ｡縺吶ｋ縲�
5. input 縺� !-- 貍皮ｮ怜ｭ舌〒螳夂ｾｩ縺輔ｌ繧九ｈ縺�↓遲峨＠縺上↑縺代ｌ縺ｰ縲� 繧ｹ繝�ャ繝� 3 縺ｸ縲�
6. C 縺� StatementList 繧呈戟縺溘↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 10 縺ｸ縲�
7. C 縺ｮ StatementList 繧定ｩ穂ｾ｡縺励€� R 繧偵◎縺ｮ邨先棡縺ｨ縺吶ｋ縲�
8. R 縺御ｸｭ騾泌ｮ御ｺ�↑繧峨�縲� R 繧定ｿ斐☆縲�
9. V = R.value 縺ｨ縺吶ｋ縲�
10. C 繧� A 蜀��谺｡縺ｮ CaseClause 縺ｨ縺吶ｋ縲ゅ◎縺ｮ繧医≧縺ｪ CaseClause 縺後↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 16 縺ｸ縲�
11. C 縺� StatementList 繧呈戟縺溘↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 10 縺ｸ縲�
12. C 縺ｮ StatementList 繧定ｩ穂ｾ｡縺励€� R 繧偵◎縺ｮ邨先棡縺ｨ縺吶ｋ縲�
13. R.value 縺� empty 縺ｧ縺ｪ縺代ｌ縺ｰ縲� V = R.value 縺ｨ縺吶ｋ縲�
14. R 縺御ｸｭ騾泌ｮ御ｺ�↑繧峨�縲� (R.type, V, R.target) 繧定ｿ斐☆縲�
15. 繧ｹ繝�ャ繝� 10 縺ｸ縲�
16. (normal, V, empty) 繧定ｿ斐☆縲�

逕滓�隕丞援 CaseBlock : { CaseClauses_opt DefaultClause CaseClauses_opt } 縺ｯ蜈･蜉帙ヱ繧峨Γ繝ｼ繧ｿ input 繧剃ｸ弱∴繧峨ｌ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. V = empty 縺ｨ縺吶ｋ縲�
2. A 繧� 1 蛟狗岼縺ｮ CaseCloses 蜀��繧ｽ繝ｼ繧ｹ繝�く繧ｹ繝磯��� CaseClause 鬆�岼縺ｮ繝ｪ繧ｹ繝医→縺吶ｋ縲�
3. C 繧� A 蜀��谺｡縺ｮ CaseClause 縺ｨ縺吶ｋ縲ゅ◎縺ｮ繧医≧縺ｪ CaseClause 縺後↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 11 縺ｸ縲�
4. C 繧定ｩ穂ｾ｡縺吶ｋ縲�
5. input 縺� Result(4) 縺ｨ !== 貍皮ｮ怜ｭ舌↓繧医ｊ螳夂ｾｩ縺輔ｌ繧九ｈ縺�↓遲峨＠縺上↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 3 縺ｸ縲�
6. C 縺� StatementList 繧呈戟縺溘↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 20 縺ｸ縲�
7. C 縺ｮ StatementList 繧定ｩ穂ｾ｡縺励€� R 繧偵◎縺ｮ邨先棡縺ｨ縺吶ｋ縲�
8. R 縺御ｸｭ騾泌ｮ御ｺ�↑繧峨�縲� R 繧定ｿ斐☆縲�
9. V = R.value 縺ｨ縺吶ｋ縲�
10. 繧ｹ繝�ャ繝� 20 縺ｸ縲�
11. B 繧� 2 蛟狗岼縺ｮ CaseClauses 蜀��繧ｽ繝ｼ繧ｹ繝�く繧ｹ繝磯��� CaseClause 鬆�岼縺ｮ繝ｪ繧ｹ繝医→縺吶ｋ縲�
12. C 繧� B 蜀��谺｡縺ｮ CaseClause 縺ｨ縺吶ｋ縲ゅ◎縺ｮ繧医≧縺ｪ CaseClause 縺後↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 26 縺ｸ縲�
13. C 繧定ｩ穂ｾ｡縺吶ｋ縲�
14. input 縺� Result(13) 縺ｨ !== 貍皮ｮ怜ｭ舌↓繧医ｊ螳夂ｾｩ縺輔ｌ繧九ｈ縺�↓遲峨＠縺上↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 12 縺ｸ縲�
15. C 縺� StatementList 繧呈戟縺溘↑縺代ｌ縺ｰ繧ｹ繝�ャ繝� 31 縺ｸ縲�
16. C 縺ｮ StatementList 繧定ｩ穂ｾ｡縺励€� R 繧堤ｵ先棡縺ｨ縺吶ｋ縲�
17. R 縺御ｸｭ騾泌ｮ御ｺ�↑繧峨� R 繧定ｿ斐☆縲�
18. V = R.value 縺ｨ縺吶ｋ縲�
19. 繧ｹ繝�ャ繝� 31 縺ｸ縲�
20. C 繧� A 蜀��谺｡縺ｮ CaseClause 縺ｨ縺吶ｋ縲ゅ◎縺ｮ繧医≧縺ｪ CaseClause 縺後↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 26 縺ｸ縲�
21. C 縺� StatementList 繧呈戟縺溘↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 20 縺ｸ縲�
22. C 縺ｮ StatementList 繧定ｩ穂ｾ｡縺励€� R 繧偵◎縺ｮ邨先棡縺ｨ縺吶ｋ縲�
23. R.value 縺� empty 縺ｧ縺ｪ縺代ｌ縺ｰ縲� V = R.value 縺ｨ縺吶ｋ縲�
24. R 縺御ｸｭ騾泌ｮ御ｺ�↑繧峨�縲� (R.type, V, R.target) 繧定ｿ斐☆縲�
25. 繧ｹ繝�ャ繝� 20 縺ｸ縲�
26. DefaultClause 縺� StatementList 繧呈戟縺溘↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 30 縺ｸ縲�
27. DefaultClause 縺ｮ StatementList 繧定ｩ穂ｾ｡縺励€� R 繧偵◎縺ｮ邨先棡縺ｨ縺吶ｋ縲�
28. R.value 縺� empty 縺ｧ縺ｪ縺代ｌ縺ｰ縲� V = R.value 縺ｨ縺吶ｋ縲�
29. R 縺御ｸｭ騾泌ｮ御ｺ�↑繧峨�縲� (R.type, V, R.target) 繧定ｿ斐☆縲�
30. B 繧� 2 蛟狗岼縺ｮ CaseClauses 蜀��繧ｽ繝ｼ繧ｹ繝�く繧ｹ繝磯��� CaseClause 鬆�岼縺ｮ繝ｪ繧ｹ繝医→縺吶ｋ縲�
31. C 繧� B 蜀��谺｡縺ｮ CaseClause 縺ｨ縺吶ｋ縲ゅ◎縺ｮ繧医≧縺ｪ CaseClause 縺後↑縺代ｌ縺ｰ縲√せ繝�ャ繝� 37 縺ｸ縲�
32. C 縺� StatementList 繧呈戟縺溘↑縺�↑繧峨�縲√せ繝�ャ繝� 31 縺ｸ縲�
33. C 縺ｮ StatementList 繧定ｩ穂ｾ｡縺励€� R 繧偵◎縺ｮ邨先棡縺ｨ縺吶ｋ縲�
34. R.value 縺� empty 縺ｧ縺ｪ縺�↑繧峨�縲� V = R.value 縺ｨ縺吶ｋ縲�
35. R 縺御ｸｭ騾泌ｮ御ｺ�↑繧峨�縲� (R.type, V, R.target) 繧定ｿ斐☆縲�
36. 繧ｹ繝�ャ繝� 31 縺ｸ縲�
37. (normal, V, empty) 繧定ｿ斐☆縲�

逕滓�隕丞援 CaseClause : case Expression : StatementList_opt 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Expression 繧定ｩ穂ｾ｡縲�
2. GetValue(Result(1)) 繧貞他蜃ｺ縺吶€�
3. Result(2) 繧定ｿ斐☆縲�

NOTE CaseClause 隧穂ｾ｡縺ｯ髢｢騾｣ StatementList 繧貞ｮ溯｡後＠縺ｪ縺�€ょ腰邏斐↓ Expression 繧定ｩ穂ｾ｡縺励€� StatementList 螳溯｡碁幕蟋句愛螳壹↓ CaseBlock 繧｢繝ｫ繧ｴ繝ｪ繧ｺ繝�縺檎畑縺�ｋ蛟､繧定ｿ斐☆縲�

Syntax

LabelledStatement :

Identifier : Statement

Semantics

Statement 縺ｫ繝ｩ繝吶Ν繧貞�陦後＆縺帙※繧医＞縲ゅΛ繝吶Ν莉倥″譁��縲√Λ繝吶Ν莉倥″ break 蜿翫� continue 譁�→縺ｨ繧ゅ↓菴ｿ逕ｨ縺輔ｌ繧九□縺代〒縺ゅｋ縲� ECMAScript 縺ｯ goto 譁�ｒ謖√◆縺ｪ縺�€�

ECMAScript 繝励Ο繧ｰ繝ｩ繝�縺ｯ縲� LabelledStatement 縺ｫ繧医▲縺ｦ繝ｩ繝吶Ν縺ｨ蜷後§ Identifier 縺ｧ髢峨§繧峨ｌ縺ｦ縺�ｋ LabelledStatement 繧貞性繧€蝣ｴ蜷医€∵ｧ区枚逧�↓荳肴ｭ｣縺ｧ縺ゅｋ縺ｨ閠�∴繧峨ｌ繧九€ゅ％繧後�縲√Λ繝吶Ν莉倥￠縺輔ｌ縺滓枚荳ｭ縺ｧ繝阪せ繝医＆繧後ｋ FunctionDeclaration 縺ｮ譛ｬ譁��縺ｫ逶ｴ謗･縺ゅｋ縺��髢捺磁逧�↓迴ｾ繧上ｌ繧九Λ繝吶Ν縺ｫ縺ｯ蠖薙※縺ｯ縺ｾ繧峨↑縺�€�

逕滓�隕丞援 Identifier : Statement 縺ｯ縲� Statement 縺ｮ繝ｩ繝吶Ν繧ｻ繝�ヨ縺ｫ Identifier 繧定ｿｽ蜉�縺吶ｋ蠖｢縺ｧ隧穂ｾ｡縺輔ｌ縲� Statement 繧定ｩ穂ｾ｡縺吶ｋ縲� LabelledStatement 閾ｪ霄ｫ縺檎ｩｺ縺ｧ縺ｪ縺�Λ繝吶Ν繧ｻ繝�ヨ繧呈戟縺､縺ｪ繧峨�縲√◎繧後ｉ縺ｮ繝ｩ繝吶Ν縺ｯ縺ｾ縺溘◎繧後′隧穂ｾ｡縺輔ｌ繧句燕縺ｫ Statement 縺ｮ繝ｩ繝吶Ν繧ｻ繝�ヨ縺ｫ霑ｽ蜉�縺輔ｌ繧九€� L 繧� Identifier 縺ｨ遲峨＠縺�→縺励※ Statement 隧穂ｾ｡縺ｮ邨先棡縺� (break, V, L) 縺ｪ繧峨�縲∫函謌占ｦ丞援縺ｯ (normal, V, empty) 繧堤ｵ先棡縺ｨ縺吶ｋ縲�

LabelledStatement 縺ｮ隧穂ｾ｡縺ｫ蜈育ｫ九▲縺ｦ縲∝性縺ｾ繧後ｋ Statement 縺ｯ遨ｺ縺ｮ繝ｩ繝吶Ν繧ｻ繝�ヨ繧呈園譛峨☆繧九→隕九↑縺輔ｌ繧九′縲√◎繧後′ IterationStatement 縺ゅｋ縺�� SwitchStatement 縺ｪ繧峨�縲√◎縺ｮ蝣ｴ蜷医◎繧後�蜊倅ｸ€縺ｮ隕∫ｴ� empty 縺九ｉ縺ｪ繧九Λ繝吶Ν繧ｻ繝�ヨ繧呈園譛峨☆繧九→隕九↑縺輔ｌ繧九€�

Syntax

ThrowStatement :

throw [LineTerminator 辟｡縺余 Expression ;

Semantics

逕滓�隕丞援 ThrowStatement : throw [no LineTerminator here] Expression ; 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Expression 繧定ｩ穂ｾ｡縲�
2. GetValue(Result(1)) 繧貞他蜃ｺ縺吶€�
3. (throw, Result(2), empty) 繧定ｿ斐☆縲�

Syntax

TryStatement :

try Block Catch

try Block Finally

try Block Catch Finally

Catch :

catch (Identifier ) Block

Finally :

finally Block

Description

try 譁��縲∝ｮ溯｡梧凾繧ｨ繝ｩ繝ｼ繧� throw 譁��繧医≧縺ｪ萓句､也噪譚｡莉ｶ縺檎匱逕溘☆繧九さ繝ｼ繝峨�繝悶Ο繝�け繧貞峇繧€縲� catch 繧ｯ繝ｭ繝ｼ繧ｺ縺ｯ萓句､悶↓繝上Φ繝峨Μ繝ｳ繧ｰ縺輔ｌ繧九さ繝ｼ繝峨ｒ謠蝉ｾ帙☆繧九€� catch 繧ｯ繝ｭ繝ｼ繧ｺ縺御ｾ句､悶ｒ蜿励￠蜿悶ｋ縺ｨ縺阪€√◎縺ｮ Identifier 縺ｯ逋ｺ逕溘＠縺滉ｾ句､悶↓繝舌う繝ｳ繝峨＆繧後ｋ縲�

Semantics

逕滓�隕丞援 TryStatement : try Block Catch 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Block 繧定ｩ穂ｾ｡縲�
2. Result(1).type 縺� throw 縺ｧ縺ｪ縺代ｌ縺ｰ縲� Result(1) 繧定ｿ斐☆縲�
3. 繝代Λ繝｡繝ｼ繧ｿ 縺ｫ Result(1) 繧剃ｻ･縺｣縺ｦ Catch 繧定ｩ穂ｾ｡縲�
4. Result(3) 繧定ｿ斐☆縲�

逕滓�隕丞援 TryStatement : try Block Finally 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Block 繧定ｩ穂ｾ｡縲�
2. Finally 繧定ｩ穂ｾ｡縲�
3. Result(2).type 縺� normal 縺ｪ繧峨�縲� Result(1) 繧定ｿ斐☆縲�
4. Result(2) 繧定ｿ斐☆縲�

逕滓�隕丞援 TryStatement : try Block Catch Finally 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Block 繧定ｩ穂ｾ｡縲�
2. C = Result(1) 縺ｨ縺吶ｋ縲�
3. Result(1).type 縺� throw 縺ｧ縺ｪ縺代ｌ縺ｰ縲√せ繝�ャ繝� 6 縺ｸ縲�
4. 繝代Λ繝｡繝ｼ繧ｿ 縺ｫ Result(1) 繧剃ｻ･縺｣縺ｦ Catch 繧定ｩ穂ｾ｡縲�
5. C = Result(4) 縺ｨ縺吶ｋ縲�
6. Finally 繧定ｩ穂ｾ｡縲�
7. Result(6).type 縺� normal 縺ｪ繧峨�縲� C 繧定ｿ斐☆縲�
8. Result(6) 繧定ｿ斐☆縲�

逕滓�隕丞援 Catch : catch ( Identifier ) Block 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. C 繧偵％縺ｮ逕滓�隕丞援縺ｫ貂｡縺輔ｌ縺ｦ縺�ｋ繝代Λ繝｡繝ｼ繧ｿ縺ｨ縺吶ｋ縲�
2. 蠑� new Object() 縺ｫ繧医ｋ繧ゅ�縺ｧ縺ゅｋ縺九�繧医≧縺ｫ縲∵眠縺励＞繧ｪ繝悶ず繧ｧ繧ｯ繝医ｒ逕滓�縺吶ｋ縲�
3. Result(2) 縺ｫ繝励Ο繝代ユ繧｣繧剃ｽ懈�縺吶ｋ縲ゅ�繝ｭ繝代ユ繧｣蜷阪� Identifier, 蛟､縺ｯ C.value, 螻樊€ｧ縺ｯ { DontDelete } 縺ｧ縺ゅｋ縲�
4. 繧ｹ繧ｳ繝ｼ繝鈴€｣骼悶�蜈磯�ｭ縺ｫ Result(2) 繧定ｿｽ蜉�縲�
5. Block 繧定ｩ穂ｾ｡縲�
6. 繧ｹ繧ｳ繝ｼ繝鈴€｣骼悶�蜈磯�ｭ縺九ｉ Result(2) 繧貞叙繧企勁縺上€�
7. Result(5) 繧定ｿ斐☆縲�

逕滓�隕丞援 Finally : finally Block 縺ｯ縲∵ｬ｡縺ｮ繧医≧縺ｫ隧穂ｾ｡縺輔ｌ繧�:

1. Block 繧定ｩ穂ｾ｡縲�
2. Result(1) 繧定ｿ斐☆縲�