Module Db.Main

module Main: sig .. end
Frama-C main interface.
Since Lithium-20081201
Consult the Plugin Development Guide for additional details.

val extend : (unit -> unit) -> unit
Register a function to be called by the Frama-C main entry point.
Consult the Plugin Development Guide for additional details.
val play : (unit -> unit) Pervasives.ref
Run all the Frama-C analyses. This function should be called only by toplevels.
Since Beryllium-20090901