A | |
add [State_builder.Hashtbl] |
Add a new binding.
|
C | |
clear [State_builder.Hashtbl] |
Clear the table.
|
compute [Register] | |
copy [Datatype.S] |
Deep copy: no possible sharing between
x and copy x .
|
copy [Datatype.Set] | |
create_project_from_visitor [File] |
Return a new project with a new cil file representation by visiting the
file of the current project.
|
create_rebuilt_project_from_visitor [File] |
Like
File.create_project_from_visitor , but the new generated cil file is
generated into a temp .i or .c file according to preprocess , then re-built
by Frama-C in the returned project.
|
D | |
descr [Datatype.Set] | |
F | |
find [State_builder.Hashtbl] |
Return the current binding of the given key.
|
find_all [State_builder.Hashtbl] |
Return the list of all data associated with the given key.
|
fold [State_builder.Hashtbl] | |
fold_sorted [State_builder.Hashtbl] | |
from_filename [File] |
Build a file from its name.
|
G | |
get [Register] | |
get_all [File] |
Return the list of toplevel files.
|
get_name [File] |
File name.
|
get_preprocessor_command [File] |
Return the preprocessor command to use.
|
get_suffixes [File] | |
H | |
hash [Datatype.Set] | |
I | |
init_from_c_files [File] |
Initialize the cil file representation of the current project.
|
init_from_cmdline [File] |
Initialize the cil file representation with the file given on the
command line.
|
init_project_from_cil_file [File] |
Initialize the cil file representation with the given file for the
given project from the current one.
|
init_project_from_visitor [File] | init_project_from_visitor prj vis initialize the cil file
representation of prj .
|
internal_pretty_code [Datatype.Set] | |
iter [State_builder.Hashtbl] | |
iter_sorted [State_builder.Hashtbl] | |
J | |
journalized_get [Register] | |
L | |
length [State_builder.Hashtbl] |
Length of the table.
|
M | |
main [Register] | |
make_type [Datatype.Hashtbl] | |
mem [State_builder.Hashtbl] | |
mem_project [Datatype.Set] | |
memo [State_builder.Hashtbl] |
Memoization.
|
memo [Datatype.Hashtbl] | memo tbl k f returns the binding of k in tbl .
|
N | |
name [Datatype.Set] | |
new_file_type [File] | new_file_type suffix func funcname registers a new type of files (with
corresponding suffix) as recognized by Frama-C through func .
|
new_machdep [File] | new_machdep name module registers a new machdep name as recognized by
Frama-C through The usual uses is
Cmdline.run_after_loading_stage
(fun () -> File.new_machdep
"my_machdep"
(module My_machdep_implem: Cil.Machdeps))
|
P | |
packed_descr [Datatype.Set] | |
pre_register [File] |
Register some file as source file before command-line files
|
prepare_from_c_files [File] |
Initialize the AST of the current project according to the current
filename list.
|
pretty [Datatype.Set] | |
pretty_ast [File] |
Print the project CIL file on the given Formatter.
|
pretty_code [Datatype.Set] | |
R | |
remove [State_builder.Hashtbl] | |
reorder_ast [File] |
reorder globals so that all uses of an identifier are preceded by its
declaration.
|
replace [State_builder.Hashtbl] |
Add a new binding.
|
reprs [Datatype.Set] | |
T | |
ty [Datatype.Set] | |
V | |
varname [Datatype.Set] |