JavaScript 2.0 正式な記述 解析手順

10/15/2002 (Tue)

ソースコードは以下の手順で処理される:

1. 必要に応じてソースコードを UTF-16 正規形 C に変換する。
2. ソースコードから Unicode 制御文字 (分類 Cf) を全て取り除く。
3. 同時に字句文法とセマンティクスによりソースコードを入力要素に分割し、構文文法を使って解析して解析木 P を得る。
4. 構文セマンティクスでアクション Eval により P を評価する。

字句解析と構文解析

第3段階の処理は以下のように行われる:

1. inputElements を入力要素 (構文文法の終端記号と改行) の空の配列とする。
2. input を Unicode 文字の入力シーケンスとし、特別なプレースホルダ End を input の末尾に追加する。
3. state を、定数 re 、div 、num のいずれかを格納する変数とする。初期値は re とする。
4. input の可能な限り最も長い接頭辞を解析するために字句文法を適用する。state が re 、div 、num のいずれであるかにより、開始シンボルはそれぞれ NextInputElement^re 、NextInputElement^div 、NextInputElement^num を使用する。解析の結果は字句文法解析木 T となっているべきである。解析に失敗した場合は構文エラーを返す。
5. T 上でアクション InputElement を処理し、InputElement e を得る。
6. e が入力要素 endOfInput であれば手順15に移動する。
7. input の字句解析の終わっていない接尾辞だけが残っていれば、T にマッチした文字を input から取り除く。
8. 以下のようにして e を構文文法の終端記号か改行 として解釈する:
   • lineBreak は1つの改行として解釈され、それ自身は終端記号ではないが、2終端記号の間の1つ以上の改行を示す。これにより lineBreak が現れた位置に [no line break] 注釈を持つ生成規則に構文文法がマッチしなくなる。
   • Identifier s は終端記号 Identifier として解釈される。アクション Name を Identifier に適用すると String 値 s.name が得られる。
   • Keyword s は予約語、将来の予約語、或いは Keyword の String s に対応する非予約語の終端記号として解釈される。
   • Punctuator s は区切りトークンか、Punctuator の String s に対応する将来の区切りトークン終端記号として解釈される。
   • NumberToken x は終端記号 Number として解釈される。アクション Value を Number に適用すると GeneralNumber 値 x.value が得られる。
   • 値が 2⁶³ である long 数値トークンの結果である negatedMinLong は終端記号 NegatedMinLong として解釈される。
   • StringToken s は終端記号 String として解釈される。アクション Value を String に適用すると String 値 s.value が得られる。
   • RegularExpression z は終端記号 RegularExpression として解釈される。
9. 得られた終端記号か改行 を配列 inputElements の末尾に追加する。
10. 配列 inputElements が構文文法で定義される文脈自由言語の正しい接頭辞を形成する場合は手順13に移動する。
11. が lineBreak でなく、inputElements 配列の1つ前の要素が lineBreak であれば、inputElements 配列中の lineBreak と の間に終端記号 VirtualSemicolon を挿入する。
12. この時点で配列 inputElements が構文文法で定義される文脈自由言語の正しい接頭辞を形成していない場合は構文エラーを出し、停止する。
13. が Number か NegatedMinLong であれば state を num に設定する。それ以外の場合で inputElements 配列のすぐ後ろに / が続き、その配列が構文文法で定義される文脈自由言語の正しい接頭辞を形成する場合は state を div に設定する。いずれにも該当しない場合は state を re に設定する。
14. 手順4に戻る。
15. 配列 inputElements が構文文法で定義される文脈自由言語の正しい文を形成していない場合は構文エラーを出し、停止する。
16. 配列 inputElements により形成される文を構文文法で展開することにより得られた構文木を返す。

Waldemar Horwat Last modified Tuesday, October 15, 2002