noble (1) bison.1.gz
名前
bison - GNU プロジェクトのパーサージェネレーター (yacc 互換)
書式
bison [OPTION]... FILE
説明
Bison は yacc(1) 風のパーサージェネレーターです。 yacc 用に生成された入力ファイルと、 上位互換性を有して います。 入力ファイル名は yacc の慣例に従って .y で終わるものとします。 yacc とは違って、 生成されるファイルの名前 は固定されず、 入力ファイル名を先頭につけたものとなります。 さらに入力ファイル内に C++ コードを加える必要 がある場合、 そのファイル名には C++ 流の拡張子 (.ypp や .y++) をつけます。 こうしておくと bison は、 その 拡張子に従って出力ファイル名を定めます (.cpp や .c++)。 たとえば文法を記述するファイルが parse.yxx である とすると、 生成されるパーサー用のファイルは parse.tab.cxx となります。 これが yacc であれば y.tab.c であ り、 古いバージョンの Bison では parse.tab.c となります。 bison に対して与えられるここでのオプション説明は、 bison.texi マニュアルにおけるノード Invocation から抜 粋されたものであり、 そのマニュアルが正となります。 Bison は従来からの単一英字によるオプションと、 長い名前のオプションの両方をサポートします。 長いオプショ ン名は - ではなく -- をつけます。 オプション名は、 それが唯一のものと特定できるのであれば、 短く省略して 指定することができます。 --file-prefix などのように長いオプションが引数を取る場合、 オプション名と引数値 の間には = を記述します。 LALR(1), IELR(1), あるいは正規 LR(1) パーサーテーブルを用いて、 決定的 LR (deterministic LR) パーサー、 または一般化 LR (generated LR; GLR) パーサーを生成します。 長いオプションに必須の引数は短いオプションにも必須です. オプションの引数についても同様です。 操作モード -h, --help ヘルプを表示して終了します。 -V, --version バージョン情報を表示して終了します。 --print-localedir ローケル依存データがあるディレクトリを表示して終了します。 --print-datadir スケルトンと XSLT があるディレクトリを表示して終了します。 -u, --update ソース文法ファイルに修正を適用して終了します。 -f, --feature[=FEATURES] さまざまな機能を有効にします。 FEATURES は、 以下の単語をカンマ (,) で区切ったリストです。 caret, diagnostics-show-caret ^ をつけてエラーを表示します。 fixit, diagnostics-parseable-fixits マシン読み込み用の修正を表示します。 syntax-only ファイル生成を行いません。 all 上記すべてを有効にします。 none 上記すべてを無効にします。 診断 -W, --warnings[=CATEGORY] CATEGORY に属する警告を表示します。 --color[=WHEN] 診断結果への色のつけ方を指示します。 --style=FILE 診断結果に色をつける CSS ファイル FILE を指定します。 警告カテゴリには以下があります。 conflicts-sr S/R 競合 (デフォルトで有効)。 conflicts-rr R/R 競合 (デフォルトで有効)。 counterexamples, cex 競合の反例を生成します。 dangling-alias 文字列エイリアスとシンボルが対応していません。 deprecated かつての構造。 empty-rule %empty がない空の規則。 midrule-values midrule 値が設定されていない、 または使われていません。 precedence 意味のない precedence と associativity。 yacc POSIX Yacc と非互換。 other その他の警告すべて (デフォルトで有効)。 all 'counterexamples' と 'dangling-alias' と 'yacc' 以外の警告すべて。 no-CATEGORY CATEGORY の警告をオフにします。 none すべての警告をオフにします。 error[=CATEGORY] 警告をエラー扱いにします。 WHEN は、 以下のいずれかです。 always, yes 出力に色をつけます。 never, no 出力に色をつけません。 auto, tty 出力デバイスが tty の時だけ色をつけます。 パーサーの調整 -L, --language=LANGUAGE 出力するプログラミング言語を指定します。 -S, --skeleton=FILE 利用するスケルトンを指定します。 -t, --debug パーサーをトレースモードにします。 '-Dparse.trace' と同じです。 --locations 計算結果位置サポートを有効にします。 -D, --define=NAME[=VALUE] '%define NAME VALUE' と同様です。 -F, --force-define=NAME[=VALUE] '%define NAME VALUE' を上書きします。 -p, --name-prefix=PREFIX '-Dapi.prefix={PREFIX}' によって古くなった外部シンボルに PREFIX をつけます。 -l, --no-lines '#line' ディレクティブを生成しません。 -k, --token-table トークン名のテーブルを含めます。 -y, --yacc POSIX の Yacc をエミュレートします。 出力ファイル -H, --header=[FILE] ヘッダーファイルも生成します。 -d 同様ですが FILE の指定はできません (POSIX Yacc の場合)。 -r, --report=THINGS オートマトン上に詳細の生成も行います。 --report-file=FILE レポートを FILE に書き出します。 -v, --verbose '--report=state' と同様です。 -b, --file-prefix=PREFIX 出力ファイルのプレフィックスを指定します。 -o, --output=FILE 出力結果を FILE に保存します。 -g, --graph[=FILE] オートマトングラフも出力します。 --html[=FILE] オートマトンの HTML 報告も出力します。 -x, --xml[=FILE] オートマトンの XML 報告も出力します。 -M, --file-prefix-map=OLD=NEW ファイルパスの出力の際に、 出力ファイルのプリフィックス OLD を NEW に置き換えます。 THINGS は、 以下の単語をカンマ (,) で区切ったリストです。 states 状態を説明します。 itemsets クロージャーを呼び出してコアアイテムセットを完成させます。 lookaheads lookahead トークンを明示的にアイテムに結合します。 solved 解決しているシフト/還元について説明します。 counterexamples, cex 競合の反例を生成します。 all 上記の情報をすべて含みます。 none 報告を無効にします。
著者
Robert Corbett と Richard Stallman によって書かれました
バグ報告
バグを発見したら <bug-bison@gnu.org> まで報告して下さい。 GNU Bison ホームページ: <https://www.gnu.org/software/bison/>. GNU ソフトウェアの全般的なヘルプ: <https://www.gnu.org/gethelp/>. 完全なドキュメントを見るには info bison を実行してください。
著作権
Copyright © 2021 Free Software Foundation, Inc.
This is free software; see the source for copying conditions. There is NO warranty; not even for
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
関連項目
lex(1), flex(1), yacc(1). bison の完全なドキュメントは Texinfo マニュアルとしてメンテナンスされています。 info と bison の両プログ ラムが適切にインストールされていれば、 以下のコマンド info bison を実行して完全なマニュアルを参照できます。