Yaccのソースコード

getargs → open_files → reader → lr0 → lalr → make_parser → verbose → outputの順番

オプションを解析している

• b
• d
• l
• o <output_file_name> 出力ファイル名を指定する
• p
• r
• t
• v

オプションの後に引数が必ず１つ
-なら標準入力、それ以外ならそのファイルを入力にする

引数が違う場合は使い方を出力して終了する

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/main.c#L105-L110

fopen関数でファイルを開いている

• input_file
• action_file 一時ファイル
• text_file 一時ファイル
• verbose_file -vがあるとき
• defines_file -dがあるとき
• union_file 一時ファイル -dがあるとき
• output_file
• code_file -rがあるとき、output_fileとは別で開く

create_temp関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/main.c#L238-L247

tmpfile関数を使って一時ファイルを開いている

write_section関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/skeleton.c#L393-L403

文字列のリストを1行ずつコードファイルに書き込む

create_symbol_table関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/symtab.c#L115-L131

bucket型？のリストを作っている
エラーのbucketを作っている

bucket構造体

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/defs.h#L145-L158

make_bucket関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/symtab.c#L67-L89

• link bucketポインタ
• next bucketポインタ
• name 文字列 bucketの名前
• tag 文字列
• value
• index
• prec
• class
• assoc

read_declarations関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/reader.c#L1034-L1086

yaccファイルの宣言部を読み込んでいる？

read_grammar関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/reader.c#L1535-L1563

yaccファイルの文法部を読み込んでいる

free_symbol_table関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/symtab.c#L134-L139

free_tags関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/reader.c#L1566-L1579

symbol_tableとtag_tableのメモリを開放してる

pack_names関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/reader.c#L1582-L1606

bucket関数の名前の文字列をまとめて1列のメモリに配置しなおしている

check_symbols関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/reader.c#L1609-L1623

クラスがUNKNOWNのbucket構造体を見つけてエラーや警告を出す

pack_symbols関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/reader.c#L1626-L1742

たぶんsymbolのリストを1列にしている
bucketは構造体の型で、それのフィールドの値をそれぞれ別のリストにして、同じインデックスで同じbucketの値にアクセスできるようになっている

pack_grammar関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/reader.c#L1745-L1804

文法を１列にしている

free_symbols関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/symtab.c#L142-L151

symbols(bucket構造体)のメモリを開放している

print_grammar関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/reader.c#L1806-L1838

文法を表示する
-vがなければ何もしない

まとめ

文法ファイルを読み込んで、アクセスしやすいように整理している

set_derives関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/lr0.c#L396-L421

derivesとrulesの配列を作っている

set_nullable関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/lr0.c#L451-L491

ritemからnullableの配列を作っている
nullableはそのルールがemptyになる可能性があるかどうか
j = rlhs[-j];はわからない

generate_states関数

https://github.com/ibara/yacc/blob/84fb35c388f3ae877f5164ea480d4020fad1ec65/lr0.c#L160-L183