Wie verwende ich die Ergebnisse von WP in einem anderen Plug-in?

Question

Ich arbeite am Schreiben eines Frama-C-Plug-Ins und ich würde gerne wissen, ob es möglich ist, die schwächste Bedingung für etwas zu bekommen, das WP aus meinem Plug-In verwendet, und wenn ja, wie genau? In der Vergangenheit habe ich beispielsweise "Db.Value" verwendet, um die Ergebnisse des EVA Plug-ins in meinem eigenen Plug-In zu verwenden. Gibt es etwas ähnliches wie Db.Value für WP?

Answer 1

Das WP Plugin stellt seine API in der Datei WP.mli dar, die durch das Sammeln der Schnittstellen der übergeordneten Module generiert wird, die Wp bilden. Sie können es in src/plugins/wp/Wp.mli finden.

Sie sollten sich jedoch darüber im Klaren sein, dass diese API nicht als stabil betrachtet werden sollte und in neueren Frama-C-Versionen möglicherweise nicht rückwärtskompatible Änderungen eingeführt werden.