ANTLR4：インクルードファイル処理のようなCを実装するための最善のアプローチは何ですか？

Question

私は、リアルタイム言語OpenPEARL用のレクサー/パーサーを実装しています。私のtestsuiteのより良いstruturingのために私はC/C++に似てインクルードファイルの処理を実装したい。それ自体パーサは訪問者を使用します。これを実装する最良の方法は何でしょうか？ネストされたパーサーをインスタンス化する際に私が気になることの1つは、インクルードされたファイルに含まれる場所に応じて完全なプログラムを含む必要はありません。

乾杯

マルセル

Answer 1

私はANTLRのために話すが、一般的なものでレクサーでCのようなプリプロセッサを実装することはできません。

これは、スタックの入力ストリームであり、スタックのベースはソースファイルです。スタックの上にあるストリームから入力を読み込みます。

レクサーのインクルードがになると、新しいストリームがスタックの一番上にプッシュされ、読み込みが続けられます（新しいストリームから）。ストリームがEOFに遭遇すると、スタックをポップして続行します。スタックが空の場合、レクサーはEOFトークンを発行します。

これらのストリームを乱用してマクロを実装できます。マクロ呼び出しでは、単にマクロ本体を表す新しいストリームをプッシュします。マクロパラメータ名に遭遇したら、対応するマクロに渡された引数のストリームをプッシュします。

Answer 2

私は、（構文解析）文法でインクルード処理が行われている実装を見てきました。アイラのようなレクサーでそれをすることは確かに可能ですが、余分な作業が必要です。

しかし、完全なインクルード処理は、#if（def）コマンドのエバリュエーターとして、入力ストリーム、つまりマクロ処理、ラインスプライシング、トリグラフ処理、チャーティングおよび文字列化を切り替えるだけではありません。私がWindows Resource File Parserに実装しているのは、ANTLR 2.7のために書かれたもので、アップデートが必要ですが、確かにアイデアを得るのに良いものです。

このプロジェクトでは、通常のANTLR解析チェーンの外にあるインクルードファイルを扱います。これは、C/C++でよく見られるプリプロセッサのアプローチに続きます。