Module Globals.FileIndex


module FileIndex: sig .. end
Globals associated to filename.

val self : Project.Computation.t
The state kind corresponding to the table of global C symbols.
Since Boron-20100401

Getters


val get_symbols : filename:string -> Cil_types.global list
All global C symbols of the given module.
Since Boron-20100401
val find : filename:string -> string * Cil_types.global list
All global C symbols for valviewer. The file name to display is returned, and the global list reversed.
val get_files : unit -> string list
Get the files list containing all global C symbols.

Searching among all global C symbols


val get_globals : filename:string -> (Cil_types.varinfo * Cil_types.initinfo) list
Global variables of the given module for the kernel user interface
val get_functions : filename:string -> Db_types.kernel_function list
Global functions of the given module for the kernel user interface
val kernel_function_of_local_var_or_param_varinfo : Cil_types.varinfo -> Db_types.kernel_function * bool
kernel_function where the local variable or formal parameter is declared. The boolean result is true for a formal parameter.
Raises Not_found if the varinfo is a global one.