module Ast:Access to the CIL AST which must be used from Frama-C.sig
..end
exception Bad_Initialization of string
Ast.get
below.exception NoUntypedAst
module UntypedFiles:sig
..end
val get : unit -> Cil_types.file
File
has to be called
before using this function.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 compute : unit -> unit
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
val self : State.t
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