標簽語句

語法：

 語義：

 一個 Statement 可以由一個標簽作為前綴。標簽語句僅與標簽化的 break 和 continue 語句一起使用。ECMAScript 沒有 goto 語句。

 如果一個 ECMAScript 程序包含有相同 Identifier 作為標簽的 LabelledStatement 閉合的 LabelledStatement，那么認為它是是語法錯誤的 。這不適用于直接或間接嵌套在標簽語句里面的 FunctionDeclaration 的 body 里出現(xiàn)標簽的情況。

 產生式 Identifier : Statement 的解釋執(zhí)行方式是，先添加 Identifier 到 Statement 的標簽組，再解釋執(zhí)行 Statement。如果 LabelledStatement 自身有一個非空標簽組，這些標簽還是會添加到解釋執(zhí)行前的 Statement 的標簽組里。如果 Statement 的解釋執(zhí)行結果是 (break, V, L)，這里的 L 等于 Identifier，則產生式的結果是 (normal, V, empty)。

 在解釋執(zhí)行 LabelledStatement 之前，認為包含的 Statement 擁有一個空標簽組，除非它是 IterationStatement 或 SwitchStatement，這種情況下認為它擁有一個包含單個元素 empty 的標簽組。