if 语句

语法：

 每个 else 选择与它相关联的 if 是不确定的，应与此 else 最近的并且原本没有与其对应的 else 的可能的 if 对应。

 语义：

 产生式 IfStatement : if ( Expression ) Statement else Statement 按照下面的过程执行 :

1. 令 exprRef 为解释执行 Expression 的结果 .
2. 如果 ToBoolean(GetValue(exprRef)) is true ，then返回解释执行 the 的结果 first Statement.
3. Else,返回解释执行 the 的结果 second Statement.

 产生式 IfStatement : if ( Expression ) Statement 按照下面的过程执行 :

1. 令 exprRef 为解释执行 Expression 的结果 .
2. 如果 ToBoolean(GetValue(exprRef)) is false ，return (normal, empty, empty).
3. 返回解释执行 Statement 的结果 .