Module Ast
module Ast: sig
.. end
Access to the Cil AST which must be used from Frama-C.
Consult the Plugin Development Guide for additional details.
exception Bad_Initialisation of string
May be raised by function
Ast.get
below.
module UntypedFiles: sig
.. end
val get : unit -> Cil_types.file
val compute : unit -> unit
val is_computed : unit -> bool
Returns true if the AST has been computed.
val self : Project.Computation.t
val depend : Project.Computation.t -> unit
val set_file : Cil_types.file -> unit
Should not be used by casual users.
val set_default_initialization : (unit -> unit) -> unit
Should not be used by casual users.
val mark_as_computed : unit -> unit
Should not be used by casual users.
Since Beryllium-20090901