JavaScript 2.0 正式な記述

08/13/2002 (Tue)

• セマンティクス表記法
• 解析手順
• Lexical Grammar Summary (also available as Word RTF) [いずれも英語]
• Lexical Grammar and Semantics (Word RTF) [いずれも英語]
• Regular Expression Grammar Summary (Word RTF) [いずれも英語]
• Regular Expression Grammar and Semantics (Word RTF) [いずれも英語]
• Syntactic Grammar Summary (Word RTF) [いずれも英語]
• Syntactic Grammar and Semantics (Word RTF) [いずれも英語]

本章では JavaScript 2.0 の正式な構文とセマンティクス (意味) を示す。記述に用いる表記法は「構文表記法」と「セマンティクス表記法」の各節で説明している。セマンティクスを表すのには型付けされたラムダ計算に基づく簡単な説明言語を使用した。

構文とセマンティクスの節は HTML 4.0 と Microsoft Word RTF 形式の両方を用意した。HTML 形式では文法の非終端記号、説明言語の値、型、フィールドについてはそれらの定義へのハイパーリンクを設け、ブラウズできるようにした。一方 RTF 形式は印刷向けである。文法とセマンティクスの種々の要素のフォント、文字色、その他の書式には全て CSS (HTML 形式) 、Word スタイル (RTF 形式) を使い、必要に応じて選択できるようにした。

構文とセマンティクスの節は、セマンティクスの型チェックと実行が直接可能な小型エンジンにコードを与えて機械的に生成したものである。このエンジンは mozilla/js2/semantics の CVS ツリーにある (入力ファイルは mozilla/js2/semantics/JS20)。

Waldemar Horwat 最終更新: 2002年8月13日 (火)