程序

語法：

 語義：

 產(chǎn)生式 Program : SourceElementsopt 依照下面的步驟來解釋執(zhí)行 :

1. 若 SourceElements 的指令序言 ( 參考 14.1 章 ) 中 , 包含嚴格模式指令 , 或者滿足 10.1.1 章節(jié)所描述的任何一個條件 . 則 Program 的代碼 . 就是一段嚴格模式代碼 . 并對應性的 , 以嚴格模式或非嚴格模式 , 依照下面列出的步驟來解釋執(zhí)行代碼 .
2. 若沒有 SourceElements 部分 , 則返回 (normal, empty, empty).
3. 令 progCxt 為一個新的 , 如 10.4.1 章節(jié)所描述的 , 應用于全局代碼的執(zhí)行環(huán)境 .
4. 令 result 為解釋執(zhí)行 SourceElements 的結(jié)果 .
5. 退出 progCxt 這個執(zhí)行環(huán)境 .
6. 返回 result.

 本規(guī)范不會規(guī)定 , 具體如何解釋執(zhí)行一個 Program 以及如何處理其結(jié)果 . 其具體行為由 ECMAScript 實現(xiàn) , 自行定義

 產(chǎn)生式 SourceElements : SourceElements SourceElement 依照下面的步驟來解釋執(zhí)行 :

1. 令 headResult 為解釋執(zhí)行 SourceElements 的結(jié)果 .
2. 若 headResult 是非常規(guī)性完結(jié)的 , 返回 headResult.
3. 令 tailResult 為解釋執(zhí)行 SourceElement 的結(jié)果 .
4. 若 tailResult.value 為 empty, 令 V = headResult.value, 其他情況 , 另 V = tailResult.value.
5. 返回 (tailResult.type, V, tailResult.target).

 產(chǎn)生式 : SourceElement : Statement 依照下面的步驟來解釋執(zhí)行 :

1. 返回解釋執(zhí)行 Statement 的結(jié)果 .

 產(chǎn)生式 : SourceElement : FunctionDeclaration 依照下面的步驟來解釋執(zhí)行 :

1. 返回 (normal, empty, empty)