module FileIndex: sig
.. end
Globals associated to filename.
val self : State.t
The state kind corresponding to the table of global C symbols.
Since Boron-20100401
Getters
val get_symbols : Datatype.Filepath.t -> Cil_types.global list
All global C symbols of the given module.
Since Boron-20100401
val find : Datatype.Filepath.t -> Datatype.Filepath.t * Cil_types.global list
Deprecated.18.0-Argon use get_symbols
instead.
find path
returns all global C symbols associated with path
,
plus path
itself. The returned global
list is reversed.
val get_files : unit -> Datatype.Filepath.t list
Get the files list containing all global
C symbols.
Searching among all global
C symbols
val get_globals : Datatype.Filepath.t -> (Cil_types.varinfo * Cil_types.initinfo) list
Global variables of the given module for the kernel user interface
val get_global_annotations : Datatype.Filepath.t -> Cil_types.global_annotation list
Global annotations of the given module for the kernel user interface
Since Nitrogen-20111001
val get_functions : ?declarations:bool -> Datatype.Filepath.t -> Cil_types.kernel_function list
Global functions of the given module for the kernel user interface.
If declarations
is true, functions declared in a module but defined
in another module are only reported in the latter (default is false).
val kernel_function_of_local_var_or_param_varinfo : Cil_types.varinfo -> Cil_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.
val remove_global_annotations : Cil_types.global_annotation -> unit
Since Oxygen-20120901