語法：

 語義：

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

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

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

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