racc 1.4.9-java

data/rdoc/ja/NEWS.ja.rdoc

@@ -0,0 +1,307 @@
+= NEWS
+
+=== 1.4.6
+
+* バグの修正
+
+  * bin/racc -g オプションを -t に改名
+  * racc/compiler.rb を削除
+  * '|' が meta rules によって許可
+  * Ruby 1.8.7 互換性を修正
+  * Ruby 1.9 互換性を修正
+
+=== 1.4.5 (2005-11-21)
+  * [FEATURE CHANGE] --no-extensions オプションを削除
+  * [fix] racc パッケージのみで -E を使えるように修正
+  * [fix] --no-omit-actions が動作していなかったのを修正
+  * setup.rb 3.4.1.
+
+=== 1.4.4 (2003-10-12)
+  * Ruby 1.8.0 に対応するリリース。本体に変更はなし
+  * -all パッケージに strscan, amstd の同梱するのをやめた
+  * setup.rb 3.2.1
+
+=== 1.4.3 (2002-11-14)
+  * [fix] ruby 1.8 の警告を消した
+
+=== 1.4.2 (2002-01-29)
+  * [new] 新しいオプション --no-extentions
+
+=== 1.4.1 (2001-12-02)
+  * amstd 非依存になった (ただし -all パッケージへバンドルは継続)
+  * y2racc racc2y を 1.4 対応にした
+
+=== 1.4.0 (2001-11-30)
+  * ランタイムを Ruby の CVS に入れたのにあわせてマイナーバージョンアップ
+  * RaccParser, RaccScanner → GrammarFileParser, GrammarFileScanner
+  * ハズい typo を修正 (grammer → grammar)
+
+=== 1.3.12 (2001-11-22)
+  * インストーラのバグを修正 (thanks Tanaka Akira)
+  * アクション中の正規表現や % 文字列、グローバル変数の検出を向上させた
+
+=== 1.3.11 (2001-08-28)
+  * アクション中の $' $` $/ などを正しくスキャン
+
+=== 1.3.10 (2001-08-12)
+  * cparse.c のプロトタイプ違いを直した
+
+=== 1.3.9 (2001-04-07)
+  * Ruby 1.4 に(再び)対応した
+
+=== 1.3.8 (2001-03-17)
+  * パースエラーの時に記号名も出力するようにした
+  * Racc::Parser#token_to_s
+
+=== 1.3.7 (2001-02-04)
+  * サンプルを増やした
+
+=== 1.3.6 (2001-01-22)
+  * cparse がスタティックリンクされても動くようにした
+
+=== 1.3.5 (2001-01-18)
+  * % 文字列のスキャンがバグってた
+  * 新しい命令 expect
+
+=== 1.3.4 (2001-01-11)
+  * cparse: シンボルのタイプチェックを入れた
+  * cparse: depend を消した
+  * cparse: rb_iterate 中の GC で落ちるバグを修正
+
+=== 1.3.3 (2000-12-25)
+  * ジェネレータに致命的なバグ。1.3.1 から混入 (format.rb)
+  * racc --runtime-version
+
+=== 1.3.2 (2000-12-21)
+  * -E が失敗するのを直した
+  * 再度 strscan を同梱 (y2racc/racc2y に必要)
+
+=== 1.3.1 (2000-12-17)
+  * 正規表現の繰り返し指定の上限を動的に決定する (RE_DUP_MAX)
+  * パースルーチンが常に Ruby 版になっていた (消し忘れ)
+
+=== 1.3.0 (2000-11-30)
+  * スキャナから yield でトークンを渡せるようになった
+
+=== 1.2.6 (2000-11-28)
+  * class M::C を許した
+
+=== 1.2.5 (2000-11-20)
+  * オプションに大変動。非互換オプションは -h -f -p -i -n -c -A
+  * ロングオプションをサポート
+  * y2racc, racc2y はデフォルトでアクションを残すようにした
+
+=== 1.2.4 (2000-09-13)
+  * インストーラとドキュメントを更新
+
+=== 1.2.3 (2000-08-14)
+  * 使われない規則と非終端記号を出力 (強力版)
+  * S/R conflict の時 nonassoc で解決するならばエラー
+
+=== 1.2.2 (2000-08-12)
+  * 内部の変更
+
+=== 1.2.1 (2000-08-05)
+  * yacc との変換コマンド racc2y・y2racc を添付
+
+=== 1.2.0 (2000-08-02)
+  * 先読みアルゴリズムを bison のものに変更
+
+=== 1.1.6 (2000-07-25)
+  * 新たなキーワード options とその引数 no_result_var
+
+=== 1.1.5 (2000-07-21)
+  * [重要] token を convert に変更
+  * 「新たな」キーワード token (終端記号の宣言)
+
+=== 1.1.4 (2000-07-13)
+  * サンプルがバグってた
+
+=== 1.1.3 (2000-06-30)
+  * 空アクションの呼び出しを省略しないようにするオプション -a
+
+=== 1.1.2 (2000-06-29)
+  * スキャナで strscan を使わないようにした
+  * ScanError -> Racc::ScanError, ParseError -> Racc::ParseError
+  * エラーメッセージを強化
+
+=== 1.1.1 (2000-06-15)
+  * requireミス (thanks Toshさん)
+  * -v をつけるとconflictが報告されなくなっていた
+
+=== 1.1.0 (2000-06-12)
+  * 新しい 状態遷移表生成アルゴリズム
+
+=== 1.0.4 (2000-06-04)
+  * S/R conflict がおきると .output 出力で落ちるバグ修正 (Tosh さんの報告)
+  * 使われない非終端記号・規則を表示
+
+=== 1.0.3 (2000-06-03)
+  * filter -> collect!
+
+=== 1.0.2 (2000-05-16)
+  * インストーラをアップデート
+
+=== 1.0.1 (2000-05-12)
+  * state.rb:  先読みルーチンをちょっとだけ高速化 && 追加デバッグ
+  * コードを整理した。著作権表示全体を全部のファイルにつけた。
+  * amstd アップデート (1.7.0)
+
+=== 1.0.0 (2000-05-06)
+  * バージョン 1.0
+
+=== 0.14.6 (2000-05-05)
+  * デバッグ出力を詳細にした
+
+=== 0.14.5 (2000-05-01)
+  * インストーラを ruby 1.4.4 系の新しいパスに対応させた
+
+=== 0.14.4 (2000-04-09)
+  * パーサの定数を削減(Racc_arg にまとめた)
+  * state 生成を微妙に高速化(コアを文字列に変換)
+
+=== 0.14.3 (2000-04-04)
+  * cparse の SYM2ID と ID2SYM のチェックを分離 (thanks 小松さん)
+
+=== 0.14.2 (2000-04-03)
+  * 一行目の class がパースエラーになっていた (thanks 和田さん)
+  * 新しいフラグ racc -V
+
+=== 0.14.1 (2000-03-31)
+
+=== 0.14.0 (2000-03-21)
+  * 高速テーブルを実装
+  * 一時的にファイル名/行番号の変換をやめた(Rubyのバグのため。)
+
+=== 0.13.1 (2000-03-21)
+  * --version --copyright などがうまく働いてなかった (thanks ふなばさん)
+
+=== 0.13.0 (2000-03-20)
+  * yyerror/yyerrok/yyaccept を実装
+
+=== 0.12.2 (2000-03-19)
+  * -E フラグがバグってた (thanks ふなばさん)
+
+=== 0.12.1 (2000-03-16)
+  * デフォルトアクションの決め方をちょっと修正(元に戻しただけ)
+
+=== 0.12.0 (2000-03-15)
+  * 完全な LALR を実装したら遅くなったので SLR も併用するようにした。効果絶大。
+
+=== 0.11.3 (2000-03-09)
+  * 状態遷移表生成のバグの修正がまだ甘かった。さらに別のバグもあるようだ。
+
+=== 0.11.2 (2000-03-09)
+  * cparse が Symbol に対応できてなかった
+
+=== 0.11.1 (2000-03-08)
+  * ruby 1.5 の Symbol に対応
+  * strscan を最新に
+
+=== 0.11.0 (2000-02-19)
+  * 例外のとき、元のファイルの行番号が出るようにした
+
+=== 0.10.9 (2000-01-19)
+  * セットアップ方法など細かな変更
+
+=== 0.10.8 (2000-01-03)
+  * 忘れてしまったけどたしかインストーラ関係の修正
+  * (1/17 repacked) ドキュメントの追加と修正
+
+=== 0.10.7 (2000-01-03)
+  * setup.rb compile.rb amstd/inst などのバグ修正
+
+=== 0.10.6 (1999-12-24)
+  * racc -e ruby でデフォルトパスを使用
+  * 空のアクションの呼びだしは省略するようにした
+
+=== 0.10.5 (1999-12-21)
+  * 埋めこみアクションの実装がすさまじくバグってた
+  * setup.rb が inst.rb の変化に追従してなかった
+  * calc.y calc2.y を 0.10 用に修正
+
+=== 0.10.4 (1999-12-19)
+  * エラー回復モードを実装
+  * racc -E で単体で動作するパーサを生成
+  * Racc は class から module になった
+
+=== 0.10.3 (1999-12-01)
+  * 埋めこみアクションをサポート
+  * .output の出力内容にバグがあったのを修正
+
+=== 0.10.2 (1999-11-27)
+  * ドキュメントの訂正と更新
+  * libracc.rb を分割
+
+=== 0.10.1 (1999-11-19)
+  * C でランタイムを書きなおした
+  * next_token が false を返したらもう読みこまない
+  * アクションがトークンによらず決まるときは next_token を呼ばない
+  * $end 廃止
+  * LALRactionTable
+
+=== 0.10.0 (1999-11-06)
+  * next_* を next_token に一本化、peep_token 廃止
+  * @__debug__ -< @yydebug など変数名を大幅変更
+  * 文法ファイルの構造が class...rule...end に変わった
+  * コアのコードを一新、高速化
+  * strscan を併合
+  * ライブラリを racc/ ディレクトリに移動
+
+=== 0.9.5 (1999-10-03)
+  * 0.9.4 の変更がすごくバグってた
+  * $end が通らなかったのを修正
+  * __show_stack__ の引数が違ってた
+
+=== 0.9.4 (1999-09-??)
+  * Parser::Reporter をなくしてメソッドに戻した
+  * d.format.rb を再編成
+
+=== 0.9.3 (1999-09-03)
+  * racc.rb -> racc
+
+=== 0.9.2 (1999-06-26)
+  * strscan使用
+
+=== 0.9.1 (1999-06-08)
+  * アクション中の正規表現に対応 ( /= にも注意だ)
+  * アクション中の # コメントに対応
+
+=== 0.9.0 (1999-06-03)
+  * アクションを { } 形式にした
+  * ユーザーコードを '----' を使う形式にした
+
+=== 0.8.11 (?)
+  * -g の出力をわかりやすくした
+
+=== 0.8.10 (?)
+  * アクションからreturnできるようにした
+
+=== 0.8.9 (1999-03-21)
+  * -g + @__debug__をつかったデバッグメッセージ操作
+  * エラー発生時のバグを修正
+  * TOKEN_TO_S_TABLEを付加するようにした
+
+=== 0.8.8 (1999-03-20)
+  * 100倍程度の高速化
+  * defaultトークンを加えた
+  * デバッグ用ソースを出力するオプション-gをくわえた
+  * user_initializeを廃止し、普通にinitializeを使えるようにした
+  * parse_initialize/finalize,parseメソッドを廃止
+  * next_token,next_value,peep_tokenのデフォルトを廃止
+  * %precと同等の機能を加えた
+
+=== 0.8.7 (1999-03-01)
+  * 内部構造が大幅に変化
+  * マニュアルがHTMLになった
+
+=== 0.8.0 (1999-01-16)
+  * 文法がブロック型に変化
+
+=== 0.5.0 (1999-01-07)
+  * 演算子優先順位が実装されたようだ
+  * スタート規則が実装されたようだ
+  * トークン値の置換が実装されたようだ(後に致命的なバグ発見)
+
+=== 0.1.0 (1999-01-01)
+  * とにかく動くようになった

data/rdoc/ja/command.ja.html

@@ -0,0 +1,94 @@
+<h1>Raccコマンドリファレンス</h1>
+<p>
+racc [-o<var>filename</var>] [--output-file=<var>filename</var>]
+     [-e<var>rubypath</var>] [--embedded=<var>rubypath</var>]
+     [-v] [--verbose]
+     [-O<var>filename</var>] [--log-file=<var>filename</var>]
+     [-g] [--debug]
+     [-E] [--embedded]
+     [-l] [--no-line-convert]
+     [-c] [--line-convert-all]
+     [-a] [--no-omit-actions]
+     [-C] [--check-only]
+     [-S] [--output-status]
+     [--version] [--copyright] [--help] <var>grammarfile</var>
+</p>
+
+<dl>
+<dt><var>filename</var>
+<dd>
+Raccの文法ファイルを指定します。拡張子には特に制限はありません。
+</dd>
+<dt>-o<var>outfile</var>, --output-file=<var>outfile</var>
+<dd>
+作成するクラスをかきこむファイル名を指定します。デフォルトは<filename>.tab.rbです。
+</dd>
+<dt>-O<var>filename</var>, --log-file=<var>filename</var>
+<dd>
+-v オプションをつけた時に生成するログファイルの名前を
+<var>filename</var> に変更します。
+デフォルトは <var>filename</var>.output です。
+</dd>
+<dt>-e<var>rubypath</var>, --executable=<var>rubypath</var>
+<dd>
+実行可能ファイルを生成します。<var>rubypath</var>は Ruby 本体のパスです。
+<var>rubypath</var>を単に 'ruby' にした時には Racc が動作している
+Ruby のパスを使用します。
+</dd>
+<dt>-v, --verbose
+<dd>
+ファイル "filename".output に詳細な解析情報を出力します。
+</dd>
+<dt>-g, --debug
+<dd>
+出力するコードにデバッグ用コードを加えます。-g をつけて生成したパーサで
+@yydebug を true にセットすると、デバッグ用のコードが出力されます。<br>
+-g をつけるだけでは何もおこりませんので注意してください。
+</dd>
+<dt>-E, --embedded
+<dd>
+ランタイムルーチンをすべて含んだコードを生成します。
+つまり、このオプションをつけて生成したコードは Ruby さえあれば動きます。
+</dd>
+<dt>-C, --check-only
+<dd>
+(文法ファイルの) 文法のチェックだけをして終了します。
+</dd>
+<dt>-S, --output-status
+<dd>
+進行状況を逐一報告します。
+</dd>
+<dt>-l, --no-line-convert
+<dd>
+<p>
+Ruby では例外が発生した時のファイル名や行番号を表示してくれますが、
+Racc の生成したパーサは、デフォルトではこの場合のファイル名・行番号を
+文法ファイルでのものに置きかえます。このフラグはその機能をオフにします。
+</p>
+<p>
+ruby 1.4.3 以前のバージョンではバグのために定数の参照に失敗する
+場合があるので、定数参照に関してなにかおかしいことがおこったらこのフラグを
+試してみてください。
+</p>
+</dd>
+<dt>-c, --line-convert-all
+<dd>
+アクションと inner に加え header footer の行番号も変換します。
+header と footer がつながっているような場合には使わないでください。
+<dt>-a, --no-omit-actions
+<dd>
+全てのアクションに対応するメソッド定義と呼び出しを行います。
+例えアクションが省略されていても空のメソッドを生成します。
+</dd>
+<dt>--version
+<dd>
+Racc のバージョンを出力して終了します。
+</dd>
+<dt>--copyright
+<dd>
+著作権表示を出力して終了します。
+<dt>--help
+<dd>
+オプションの簡単な説明を出力して終了します。
+</dd>
+</dl>

data/rdoc/ja/debug.ja.rdoc

@@ -0,0 +1,36 @@
+= パーサのデバッグ
+
+ここでは、Racc を使っていくうえで遭遇しそうな問題について書きます。
+
+== 文法ファイルがパースエラーになる
+
+エラーメッセージに出ている行番号のあたりを見て間違いを
+探してください。ブロックを閉じる行でエラーになる場合は、
+どこかで開き括弧などを増やしてしまっている可能性が高いです。
+
+== なんたら conflict って言われた
+
+一番ありがちで一番面倒な問題は衝突 (conflict) でしょう。
+文法中に衝突があると、racc はコンパイル後に
+「5 shift/reduce conflict」のようなメッセージを表示します。
+-v をつけると出力される .output ファイルからはさらに詳しい情報が得られます。
+それをどう使うか、とかそういうことに関しては、それなりの本を読んでください。
+とてもここに書けるような単純な話ではありません。
+当然ながら『Ruby を 256 倍使うための本 無道編』(青木峰郎著)がお勧めです。
+
+== パーサは問題なく生成できたけど予想どおりに動かない
+
+racc に -g オプションをつけてパーサを出力すると、デバッグ用のコードが
+付加されます。ここで、パーサクラスのインスタンス変数 @yydebug を true に
+しておいてから do_parse/yyparse を呼ぶと、デバッグ用メッセージが出力
+されます。パーサが動作する様子が直接見えますので、完全に現在の状態を
+把握できます。これを見てどこがおかしいのかわかったらあとは直すだけ。
+
+== next_token に関して
+
+いまだ自分でも忘れることが多いのが
+「送るトークンが尽きたら [false,なにか] を送る」ということです。
+ちなみに Racc 0.10.2 以降では一度 [false,なにか] を受け取ったら
+それ以上 next_token は呼ばないことが保証されています。
+
+追記： 最近は [false,なにか] ではなく nil でもよいことになった。

data/rdoc/ja/grammar.ja.rdoc

@@ -0,0 +1,348 @@
+= 規則ファイル文法リファレンス
+
+== 文法に関する前バージョンとの非互換
+
+  * (1.2.5) ユーザーコードを連結する時、外部ファイルよりも
+            埋めこんであるコードを先に連結します。
+  * (1.1.6) 新しいディレクティブ options が追加されました。
+  * (1.1.5) 予約語 token の意味が変更になりました。
+  * (0.14) ルールの最後のセミコロンが省略可能になりました。
+           また、token prechigh などが予約語でなくなりました。
+  * (10.2) prepare が header に driver が footer になりました。
+           今はそのままでも使えますが、2.0 からは対応しません。
+  * (0.10) class に対応する end がなくなりました。
+  * (0.9) ダサダサのピリオド方式をやめて { と } で囲むようにしました。
+
+== 全体の構造
+
+トップレベルは、規則部とユーザーコード部に分けられます。
+ユーザーコード部はクラス定義の後に来なければいけません。
+
+=== コメント
+
+文法ファイルには、一部例外を除いて、ほとんどどこにでもコメントを
+書くことができます。コメントは、Rubyの #.....(行末) スタイルと、
+Cの /*......*/ スタイルを使うことができます。
+
+=== 規則部
+
+規則部は以下のような形をしています。
+--
+class クラス名 [< スーパークラス]
+  [演算子順位]
+  [トークン宣言]
+  [オプション]
+  [expect]
+  [トークンシンボル値おきかえ]
+  [スタート規則]
+rule
+  文法記述
+--
+"クラス名"はここで定義するパーサクラスの名前です。
+これはそのままRubyのクラス名になります。
+
+また M::C のように「::」を使った名前を使うと、クラス定義を
+モジュール M の中にネストさせます。つまり class M::C ならば
+--
+module M
+  class C < Racc::Parser
+    いろいろ
+  end
+end
+--
+のように出力します。
+
+さらに、Ruby と同じ構文でスーパークラスを指定できます。
+ただしこの指定をするとパーサの動作に重大な影響を与えるので、
+特に必要がない限り指定してはいけません。これは将来の拡張の
+ために用意したもので、現在指定する必然性はあまりありません。
+
+=== 文法の記述
+
+racc で生成するパーサが理解できる文法を記述します。
+文法は、予約語 rule と end の間に、以下のような書式で書きます。
+--
+トークン: トークンの並び アクション
+
+トークン: トークンの並び アクション
+        | トークンの並び アクション
+        | トークンの並び アクション
+             (必要なだけ同じようにつづける)
+--
+アクションは { } で囲みます。アクションでは Ruby の文はほとんど
+使えますが、一部だけは非対応です。対応していないものは以下のとおり。
+
+  * ヒアドキュメント
+  * =begin ... =end 型コメント
+  * スペースで始まる正規表現
+  * ごくまれに % の演算。普通に演算子のまわりにスペースを入れていれば問題なし
+
+このあたりに関しては完全な対応はまず無理です。あきらめてください。
+
+左辺の値($$)は、オプションによって返し方がかわります。まずデフォルトでは
+ローカル変数 result (そのデフォルト値は val[0])が 左辺値を表し、アクション
+ブロックを抜けた時の result の値が左辺値になります。または明示的に return
+で返した場合もこの値になります。一方、options で no_result_var を指定した
+場合、左辺値はアクションブロックの最後の文の値になります (Ruby のメソッドと
+同じ)。
+
+どちらの場合でもアクションは省略でき、省略した場合の左辺値は常に val[0] です。
+
+以下に文法記述の全体の例をしめします。
+--
+rule
+  goal: def ruls source
+        {
+          result = val
+        }
+
+  def : /* none */
+        {
+          result = []
+        }
+      | def startdesig
+        {
+          result[0] = val[1]
+        }
+      | def
+          precrule   # これは上の行の続き
+        {
+          result[1] = val[1]
+        }
+(略)
+--
+アクション内では特別な意味をもった変数がいくつか使えます。
+そのような変数を以下に示します。括弧の中は yacc での表記です。
+
+  * result ($$)
+
+左辺の値。初期値は val[0] です。
+
+  * val ($1,$2,$3…)
+
+右辺の記号の値の配列。Ruby の配列なので当然インデックスはゼロから始まります。
+この配列は毎回作られるので自由に変更したり捨てたりして構いません。
+
+  * _values (...,$-2,$-1,$0)
+
+値スタック。Racc コアが使っているオブジェクトがそのまま渡されます。
+この変数の意味がわかる人以外は<em>絶対に</em>変更してはいけません。
+
+またアクションの特別な形式に、埋めこみアクションというものがあります。
+これはトークン列の途中の好きなところに記述することができます。
+以下に埋めこみアクションの例を示します。
+--
+target: A B { puts 'test test' } C D { normal action }
+--
+このように記述すると A B を検出した時点で puts が実行されます。
+また、埋めこみアクションはそれ自体が値を持ちます。つまり、以下の例において
+--
+target: A { result = 1 } B { p val[1] }
+--
+最後にある p val[1] は埋めこみアクションの値 1 を表示します。
+B の値ではありません。
+
+意味的には、埋めこみアクションは空の規則を持つ非終端記号を追加することと
+全く同じ働きをします。つまり、上の例は次のコードと完全に同じ意味です。
+--
+target  : A nonterm B { p val[1] }
+nonterm : /* 空の規則 */ { result = 1 }
+--
+
+=== 演算子優先順位
+
+あるトークン上でシフト・還元衝突がおこったとき、そのトークンに
+演算子優先順位が設定してあると衝突を解消できる場合があります。
+そのようなものとして特に有名なのは数式の演算子と if...else 構文です。
+
+優先順位で解決できる文法は、うまく文法をくみかえてやれば
+優先順位なしでも同じ効果を得ることができます。しかしたいていの
+場合は優先順位を設定して解決するほうが文法を簡単にできます。
+
+シフト・還元衝突がおこったとき、Racc はまずその規則に順位が設定
+されているか調べます。規則の順位は、その規則で一番うしろにある
+終端トークンの優先順位です。たとえば
+--
+target: TERM_A nonterm_a TERM_B nonterm_b
+--
+のような規則の順位はTERM_Bの優先順位になります。もしTERM_Bに
+優先順位が設定されていなかったら、優先順位で衝突を解決することは
+できないと判断し、「Shift/Reduce conflict」を報告します。
+
+演算子の優先順位はつぎのように書いて定義します。
+--
+prechigh
+  nonassoc PLUSPLUS
+  left     MULTI DEVIDE
+  left     PLUS MINUS
+  right    '='
+preclow
+--
+prechigh に近い行にあるほど優先順位の高いトークンです。上下をまるごと
+さかさまにして preclow...prechigh の順番に書くこともできます。left
+などは必ず行の最初になければいけません。
+
+left right nonassoc はそれぞれ「結合性」を表します。結合性によって、
+同じ順位の演算子の規則が衝突した場合にシフト還元のどちらをとるかが
+決まります。たとえば
+--
+a - b - c
+--
+が
+--
+(a - b) - c
+--
+になるのが左結合 (left) です。四則演算は普通これです。
+一方
+--
+a - (b - c)
+--
+になるのが右結合 (right) です。代入のクオートは普通 right です。
+またこのように演算子が重なるのはエラーである場合、非結合 (nonassoc) です。
+C 言語の ++ や単項のマイナスなどがこれにあたります。
+
+ところで、説明したとおり通常は還元する規則の最後のトークンが順位を
+決めるのですが、ある規則に限ってそのトークンとは違う順位にしたいことも
+あります。例えば符号反転のマイナスは引き算のマイナスより順位を高く
+しないといけません。このような場合 yacc では %prec を使います。
+racc ではイコール記号を使って同じことをできます。
+--
+prechigh
+  nonassoc UMINUS
+  left '*' '/'
+  left '+' '-'
+preclow
+(略)
+exp: exp '*' exp
+   | exp '-' exp
+   | '-' exp     = UMINUS    # ここだけ順位を上げる
+--
+このように記述すると、'-' exp の規則の順位が UMINUS の順位になります。
+こうすることで符号反転の '-' は '*' よりも順位が高くなるので、
+意図どおりになります。
+
+=== トークン宣言
+
+トークン(終端記号)のつづりを間違えるというのはよくあることですが、
+発見するのはなかなか難しいものです。1.1.5 からはトークンを明示的に
+宣言することで、宣言にないトークン / 宣言にだけあるトークンに対して
+警告が出るようになりました。yacc の %token と似ていますが最大の違いは
+racc では必須ではなく、しかもエラーにならず警告だけ、という点です。
+
+トークン宣言は以下のように書きます。
+--
+token A B C D
+        E F G H
+--
+トークンのリストを複数行にわたって書けることに注目してください。
+racc では一般に「予約語」は行の先頭に来た時だけ予約語とみなされるので
+prechigh などもシンボルとして使えます。ただし深淵な理由から end だけは
+どうやっても予約語になってしまいます。
+
+=== オプション
+
+racc のコマンドラインオプションの一部をファイル中にデフォルト値
+として記述することができます。
+--
+options オプション オプション …
+--
+現在ここで使えるのは
+
+  * omit_action_call
+
+空のアクション呼び出しを省略する
+
+  * result_var
+
+変数 result を使う
+
+です。
+それぞれ no_ を頭につけることで意味を反転できます。
+
+=== expect
+
+実用になるパーサはたいてい無害な shift/reduce conflict を含みます。
+しかし文法ファイルを書いた本人はそれを知っているからいいですが、
+ユーザが文法ファイルを処理した時に「conflict」と表示されたら
+不安に思うでしょう。そのような場合、以下のように書いておくと
+shift/reduce conflict のメッセージを抑制できます。
+--
+expect 3
+--
+この場合 shift/reduce conflict はぴったり三つでなければいけません。
+三つでない場合はやはり表示が出ます (ゼロでも出ます)。
+また reduce/reduce conflict の表示は抑制できません。
+
+=== トークンシンボル値の変更
+
+トークンシンボルを表す値は、デフォルトでは
+
+  * 文法中、引用符でかこまれていないもの (RULEとかXENDとか)
+    →その名前の文字列を intern して得られるシンボル (1.4 では Fixnum)
+  * 引用符でかこまれているもの(':'とか'.'とか)
+    →その文字列そのまま
+
+となっていますが、たとえば他の形式のスキャナがすでに存在する場合などは、
+これにあわせなければならず、このままでは不便です。このような場合には、
+convert 節を加えることで、トークンシンボルを表す値を変えることができます。
+以下がその例です。
+--
+convert
+  PLUS 'PlusClass'      #→ PlusClass
+  MIN  'MinusClass'     #→ MinusClass
+end
+--
+デフォルトではトークンシンボル PLUS に対してはトークンシンボル値は
+:PLUS ですが、上のような記述がある場合は PlusClass になります。
+変換後の値は false・nil 以外ならなんでも使えます。
+
+変換後の値として文字列を使うときは、次のように引用符を重ねる必要があります。
+--
+convert
+  PLUS '"plus"'       #→ "plus"
+end
+--
+また、「'」を使っても生成された Ruby のコード上では「"」になるので
+注意してください。バックスラッシュによるクオートは有効ですが、バック
+スラッシュは消えずにそのまま残ります。
+--
+PLUS '"plus\n"'          #→ "plus\n"
+MIN  "\"minus#{val}\""   #→ \"minus#{val}\"
+--
+
+=== スタート規則
+
+パーサをつくるためには、どの規則が「最初の」規則か、ということを Racc におしえて
+やらなければいけません。それを明示的に書くのがスタート規則です。スタート規則は
+次のように書きます。
+--
+start real_target
+--
+start は行の最初にこなければいけません。このように書くと、ファイルで
+一番最初に出てくる real_target の規則をスタート規則として使います。
+省略した場合は、ファイルの最初の規則がスタート規則になります。普通は
+最初の規則を一番上にかくほうが書きやすく、わかりやすくなりますから、
+この記法はあまりつかう必要はないでしょう。
+
+=== ユーザーコード部
+
+ユーザーコードは、パーサクラスが書きこまれるファイルに、
+アクションの他にもコードを含めたい時に使います。このようなものは
+書きこまれる場所に応じて三つ存在し、パーサクラスの定義の前が
+header、クラスの定義中(の冒頭)が inner、定義の後が footer です。
+ユーザコードとして書いたものは全く手を加えずにそのまま連結されます。
+
+ユーザーコード部の書式は以下の通りです。
+--
+---- 識別子
+  ruby の文
+  ruby の文
+  ruby の文
+
+---- 識別子
+  ruby の文
+     :
+--
+行の先頭から四つ以上連続した「-」(マイナス)があるとユーザーコードと
+みなされます。識別子は一つの単語で、そのあとには「=」以外なら何を
+書いてもかまいません。