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
Get the cil file representation. One of the initialisation function of module File has to be called before using this function.
Raises Bad_Initialization if neither File.init_from_c_files nor File.init_project_from_cil_file nor File.init_from_cmdline was called before.
Consult the Plugin Development Guide for additional details.
val compute : unit -> unit
Enforce the computation of the AST.
Raises Bad_Initialization if neither File.init_from_c_files nor File.init_project_from_cil_file nor File.init_from_cmdline was called before.
val is_computed : unit -> bool
Returns true if the AST has been computed.
val self : Project.Computation.t
The state kind associated to the cil AST.
Consult the Plugin Development Guide for additional details.
val depend : Project.Computation.t -> unit
Add a dependency toward Ast.self.
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