Index of values

A
add_compinfo [Environment]
add_enuminfo [Environment]
add_function [Environment]
add_global [Environment]
add_typeinfo [Environment]
add_vpar [Generic]
aggregator_call [Standard]
array_init [Va_build]
attributes_less_equal [Extends.Typ]
B
break [Extends.List]
build_fun_spec [Standard]
C
call [Va_build]
can_cast [Standard]
cast_arg [Standard]
category [Register]
check_arg_matching [Standard]
check_call_matching [Standard]
check_f_format [Format_parser]
check_f_specification [Format_parser]
check_format [Format_parser]
check_s_format [Format_parser]
check_s_specification [Format_parser]
classify [Classify]
classify_std [Classify]
constPtrType [Extends.Cil]
D
does_fit [Standard]
doublePtrType [Extends.Cil]
drop [Extends.List]
E
empty [Environment]
expose [Standard]
extended_integer_typenames [Standard]
F
f_format_to_cstring [Format_pprint]

Rewrites the format as its string representation.

filter_map [Extends.List]
filter_matching_prototypes [Standard]
find_enum [Environment]
find_field [Standard]
find_function [Classify]
find_function [Environment]
find_global [Standard]
find_global [Environment]
find_null [Standard]
find_predicate [Standard]
find_predicate_by_width [Standard]
find_struct [Environment]
find_type [Environment]
find_typedef [Environment]
find_union [Environment]
first [Extends.List]
format_fun_call [Standard]
format_to_cstring [Format_pprint]
from_file [Environment]
function_declaration [Va_build]
G
get_char [Format_string]
get_fundec_return_type [Extends.Cil]
get_inst_loc [Extends.Cil]
get_kf_attributes [Extends.Cil]
get_stmt_loc [Extends.Cil]
get_wchar [Format_string]
I
ifind [Extends.List]
integer_promotion [Extends.Cil]

integer_promotion t1 t2 returns true if t1 < t2

integer_ranking_comp [Extends.Cil]

integer_ranking_comp t1 t2

integral_rep [Standard]
is_extended_integer_type [Standard]
is_folded_zero [Extends.Cil]
is_framac_builtin [Translate]
is_function [Extends.Cil]
is_integer_ptr_type [Extends.Cil]
is_integer_type [Extends.Cil]
is_signed_integer_type [Extends.Cil]
is_unsigned_integer_type [Extends.Cil]
is_variadic [Extends.Typ]
is_variadic_function [Extends.Cil]
iteri [Extends.List]
iteri2 [Extends.List]
L
last [Extends.List]
longPtrType [Extends.Cil]
longlongPtrType [Extends.Cil]
lvar [Va_build]
M
make [Extends.List]
map_fold_left [Extends.List]
mapi [Extends.List]
mapi2 [Extends.List]
match_args [Standard]
match_call [Standard]
mk_aggregator [Classify]
mk_format_fun [Classify]
mk_overload [Classify]
N
new_globals [Standard]
O
of_opt [Extends.List]
off [Parameter_sig.Bool]

Set the boolean to false.

on [Parameter_sig.Bool]

Set the boolean to true.

overloaded_call [Standard]
P
params [Extends.Typ]
params_count [Extends.Typ]
params_types [Standard]
params_types [Extends.Typ]
parse_f_format [Format_parser]
parse_format [Format_parser]
parse_s_format [Format_parser]
pp_cs [Format_pprint]
pp_f_format [Format_pprint]
pp_f_specification [Format_pprint]
pp_flag [Format_pprint]
pp_flags [Format_pprint]
pp_format [Format_pprint]
pp_fw [Format_pprint]
pp_lm [Format_pprint]
pp_overload [Standard]
pp_precision [Format_pprint]
pp_prototype [Standard]
pp_s_format [Format_pprint]
pp_s_specification [Format_pprint]
pretty_typ [Standard]
ptrType [Extends.Cil]
R
reduce_left [Extends.List]
reduce_right [Extends.List]
replace [Extends.List]

replace i v l returns a new list where l.(i) = v

rev_mapi [Extends.List]
S
s_format_to_cstring [Format_pprint]
shortPtrType [Extends.Cil]
shortType [Extends.Cil]
signedIntegerPtrTypes [Extends.Cil]
signedIntegerTypes [Extends.Cil]

Standard integer types in C99 (Cf.

sort_unique [Extends.List]
static_string [Standard]
sub_string [Format_string]
T
take [Extends.List]
tapp [Va_build]
tbinop [Va_build]
tlval [Va_build]
tminus [Va_build]
to_opt [Extends.List]
to_scalar [Extends.List]
tone [Va_build]
tplus [Va_build]
trange [Va_build]
trange_from_vi [Va_build]
translate_call [Generic]
translate_type [Generic]
translate_va_builtin [Generic]
translate_variadics [Translate]
tresult [Va_build]
tvar [Va_build]
tvarfield [Va_build]
tvarmem [Va_build]
type_f_format [Format_typer]
type_f_specifier [Format_typer]
type_format [Format_typer]
type_s_format [Format_typer]
type_s_specifier [Format_typer]
tzero [Va_build]
U
ulongPtrType [Extends.Cil]
ulonglongPtrType [Extends.Cil]
unique_sorted [Extends.List]
unsignedIntegerPtrTypes [Extends.Cil]
unsignedIntegerTypes [Extends.Cil]
ushortPtrType [Extends.Cil]
ushortType [Extends.Cil]
V
va_builtins [Translate]
vi_init [Va_build]
vpar [Generic]
vpar_name [Generic]
vpar_typ [Generic]