語法：

 每個(gè) else 選擇與它相關(guān)聯(lián)的 if 是不確定的，應(yīng)與此 else 最近的并且原本沒有與其對(duì)應(yīng)的 else 的可能的 if 對(duì)應(yīng)。

 語義：

 產(chǎn)生式 IfStatement : if ( Expression ) Statement else Statement 按照下面的過程執(zhí)行 :

1. 令 exprRef 為解釋執(zhí)行 Expression 的結(jié)果 .
2. 如果 ToBoolean(GetValue(exprRef)) is true ，then返回解釋執(zhí)行 the 的結(jié)果 first Statement.
3. Else,返回解釋執(zhí)行 the 的結(jié)果 second Statement.

 產(chǎn)生式 IfStatement : if ( Expression ) Statement 按照下面的過程執(zhí)行 :

1. 令 exprRef 為解釋執(zhí)行 Expression 的結(jié)果 .
2. 如果 ToBoolean(GetValue(exprRef)) is false ，return (normal, empty, empty).
3. 返回解釋執(zhí)行 Statement 的結(jié)果 .