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 .
|
create_project_from_visitor [File] |
Return a new project with a new cil file representation by visiting the
file of the current project.
|
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] | |
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] | |
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.
|
iter [State_builder.Hashtbl] | |
J | |
journalized_get [Register] | |
L | |
length [State_builder.Hashtbl] |
Length of the table.
|
M | |
main [Register] | |
mem [State_builder.Hashtbl] | |
memo [State_builder.Hashtbl] |
Memoization.
|
N | |
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 .
|
P | |
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_ast [File] |
Print the project CIL file on the given Formatter.
|
R | |
remove [State_builder.Hashtbl] | |
replace [State_builder.Hashtbl] |
Add a new binding.
|