Man page - bison(1)

Packages contains this manual

Available languages:

en pl vi sv ja ro el

Manual

BISON

名 前
書 式
説 明
操 作 モ ー ド
FEATURES は 、 以 下 の 単 語 を カ ン マ (,) で 区 切 っ た リ ス ト で す 。
診 断
警 告 カ テ ゴ リ に は 以 下 が あ り ま す 。
WHEN は 、 以 下 の い ず れ か で す 。
パ ー サ ー の 調 整
出 力 フ ァ イ ル
THINGS は 、 以 下 の 単 語 を カ ン マ (,) で 区 切 っ た リ ス ト で す 。
著 者
バ グ 報 告
著 作 権
関 連 項 目

名 前

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

を 実 行 し て 完 全 な マ ニ ュ ア ル を 参 照 で き ま す 。