A | |
add [State_builder.Hashtbl] |
Add a new binding.
|
add_code_transformation_after_cleanup [File] |
Same as above, but the hook is applied after clean up.
|
add_code_transformation_before_cleanup [File] | add_code_transformation_before_cleanup name hook
adds an hook in the corresponding category
that will be called during the normalization of a linked
file, before clean up and removal of temps and unused declarations.
|
B | |
blit [String] |
Same as
Bytes.blit_string .
|
C | |
capitalize [String] |
Return a copy of the argument, with the first character set to uppercase.
|
clear [State_builder.Hashtbl] |
Clear the table.
|
compare [String] |
The comparison function for strings, with the same specification as
Pervasives.compare .
|
compute [Register] | |
concat [String] | String.concat sep sl concatenates the list of strings sl ,
inserting the separator string sep between each.
|
contains [String] | String.contains s c tests if character c
appears in the string s .
|
contains_from [String] | String.contains_from s start c tests if character c
appears in s after position start .
|
copy [Datatype.S] |
Deep copy: no possible sharing between
x and copy x .
|
copy [String] |
Return a copy of the given string.
|
create [String] | String.create n returns a fresh byte sequence of length n .
|
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.
|
E | |
escaped [String] |
Return a copy of the argument, with special characters
represented by escape sequences, following the lexical
conventions of OCaml.
|
F | |
fill [String] | String.fill s start len c modifies byte sequence s in place,
replacing len bytes with c , starting at start .
|
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 [String] | String.get s n returns the character at index n in string s .
|
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 | |
index [String] | String.index s c returns the index of the first
occurrence of character c in string s .
|
index_from [String] | String.index_from s i c returns the index of the
first occurrence of character c in string s after position i .
|
init [String] | String.init n f returns a string of length n , with character
i initialized to the result of f i (called in increasing
index order).
|
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 .
|
iter [State_builder.Hashtbl] | |
iter [String] | String.iter f s applies function f in turn to all
the characters of s .
|
iter_sorted [State_builder.Hashtbl] | |
iteri [String] |
Same as
String.iter , but the
function is applied to the index of the element as first argument
(counting from 0), and the character itself as second argument.
|
J | |
journalized_get [Register] | |
L | |
length [State_builder.Hashtbl] |
Length of the table.
|
length [String] |
Return the length (number of characters) of the given string.
|
lowercase [String] |
Return a copy of the argument, with all uppercase letters
translated to lowercase, including accented letters of the ISO
Latin-1 (8859-1) character set.
|
M | |
main [Register] | |
make [String] | String.make n c returns a fresh string of length n ,
filled with the character c .
|
make_type [Datatype.Hashtbl] | |
map [String] | String.map f s applies function f in turn to all the
characters of s (in increasing index order) and stores the
results in a new string that is returned.
|
mapi [String] | String.mapi f s calls f with each character of s and its
index (in increasing index order) and stores the results in a new
string that is returned.
|
mem [State_builder.Hashtbl] | |
memo [State_builder.Hashtbl] |
Memoization.
|
memo [Datatype.Hashtbl] | memo tbl k f returns the binding of k in tbl .
|
must_recompute_cfg [File] | must_recompute_cfg f must be called by code transformation hooks
when they modify statements in function f .
|
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 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" my_machdep_implem)
|
P | |
plus_pi [Register] | |
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 | |
rcontains_from [String] | String.rcontains_from s stop c tests if character c
appears in s before position stop+1 .
|
register_code_transformation_category [File] |
Adds a new category of code transformation
|
remove [State_builder.Hashtbl] | |
reorder_ast [File] |
reorder globals so that all uses of an identifier are preceded by its
declaration.
|
reorder_custom_ast [File] | |
replace [State_builder.Hashtbl] |
Add a new binding.
|
rindex [String] | String.rindex s c returns the index of the last
occurrence of character c in string s .
|
rindex_from [String] | String.rindex_from s i c returns the index of the
last occurrence of character c in string s before position i+1 .
|
S | |
selection_command_line_option [Register] | |
set [String] | String.set s n c modifies byte sequence s in place,
replacing the byte at index n with c .
|
sub [String] | String.sub s start len returns a fresh string of length len ,
containing the substring of s that starts at position start and
has length len .
|
T | |
trim [String] |
Return a copy of the argument, without leading and trailing
whitespace.
|
U | |
uncapitalize [String] |
Return a copy of the argument, with the first character set to lowercase.
|
uppercase [String] |
Return a copy of the argument, with all lowercase letters
translated to uppercase, including accented letters of the ISO
Latin-1 (8859-1) character set.
|