2

Cil_types を使用して、frama-c でプラグインを開発しています。このプラグインは、デフォルトで C プログラムの AST (Cil_types.file) を入力として受け取ります。このファイルの名前を取得したいのですが、Cil_types を使用するとできませんでした。他の方法でこの情報を取得できますか?

4

2 に答える 2

2
  • Kernel.Files.get()Frama-C に与えられた入力ファイルのリストを返します。
  • Globals.FileIndex.get_files ()現在の AST の少なくとも 1 つのグローバル シンボルが宣言/定義されているファイルのリストを返します。ディレクティブがある場合は#include、上記とは異なる場合があります。
于 2014-03-10T14:24:59.093 に答える