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_Initialization of string
May be raised by function Ast.get below.
exception NoUntypedAst
Might be raised by Ast.UntypedFiles.get below
Since Nitrogen-20111001
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 : State.t
The state kind associated to the cil AST.
Consult the Plugin Development Guide for additional details.

Internals

Functions below should not be called by casual users.

val set_file : Cil_types.file -> unit
val set_default_initialization : (unit -> unit) -> unit
val mark_as_computed : unit -> unit
Since Beryllium-20090901