Index of values


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.
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.

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.
new_machdep [File]
new_machdep name public func registers a new machdep name 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.