別のプラグインでWPの結果を使用するにはどうすればよいですか？

Question

私はFrama-Cプラグインの作成に取り組んでいます。私のプラグインの中からWPを使って何かの弱い前提条件を得ることが可能かどうかを知りたいのですが？これまで、私は自分のプラグインでEVAプラグインの結果を使用するために、Db.Valueを使用しました。 WPのDb.Valueに類似したものはありますか？

Answer 1

WPプラグインはを構成する上位モジュールのインターフェイスを収集して生成したWP.mliファイルでAPIを公開しています。 src/plugins/wp/Wp.mliで見つけることができます。

ただし、このAPIは安定したものではなく、新しいFrama-Cバージョンでは後方互換性のない変更が導入されることに注意してください。