Up
Index of values
A
al_comments
[
Ast_c
]
al_info
[
Ast_c
]
al_info_cpp
[
Ast_c
]
B
basename_pos
[
Coccilib
]
convert the filename of a pos to its basename
build_link
[
Coccilib
]
C
cocci_version
[
Coccilib
]
col_of_info
[
Ast_c
]
compare_pos
[
Ast_c
]
compare_posl
[
Ast_c
]
contains_int
[
Coccilib.Ana
]
true if the result range contains the given integer.
D
defaultInt
[
Ast_c
]
dir
[
Coccilib
]
E
emptyAnnot
[
Ast_c
]
emptyAnnotCocci
[
Ast_c
]
emptyComments
[
Ast_c
]
emptyMetavarsBinding
[
Ast_c
]
equal_posl
[
Ast_c
]
exists
[
Coccilib.Ana
]
true if the predicate is satisfied for at least one result of a given position.
exit
[
Coccilib
]
If called, aborts the treatment of the current file.
exited
[
Coccilib
]
See exit
F
fakeInfo
[
Ast_c
]
fieldname_of_fieldkind
[
Ast_c
]
file_of_info
[
Ast_c
]
files
[
Coccilib
]
find
[
Coccilib.Ana
]
finds the analysis results for a given position.
for_all
[
Coccilib.Ana
]
predicate over all analysis results of a given position.
for_all1
[
Coccilib.Ana
]
predicate over all analysis results (at least one) of a given position.
G
get_annot_info
[
Ast_c
]
get_comments_after
[
Ast_c
]
get_comments_before
[
Ast_c
]
get_e_and_ii
[
Ast_c
]
get_ii_expr_take_care
[
Ast_c
]
get_ii_st_take_care
[
Ast_c
]
get_ii_typeC_take_care
[
Ast_c
]
get_info
[
Ast_c
]
get_local_ii_of_expr_inlining_ii_of_name
[
Ast_c
]
get_local_ii_of_st_inlining_ii_of_name
[
Ast_c
]
get_local_ii_of_tybis_inlining_ii_of_name
[
Ast_c
]
get_onlylocal_expr
[
Ast_c
]
get_onlytype_expr
[
Ast_c
]
get_opi
[
Ast_c
]
get_orig_info
[
Ast_c
]
get_pi
[
Ast_c
]
get_s_and_ii_of_name
[
Ast_c
]
get_s_and_info_of_name
[
Ast_c
]
get_st_and_ii
[
Ast_c
]
get_ty_and_ii
[
Ast_c
]
get_type_expr
[
Ast_c
]
H
has_also_int
[
Coccilib.Ana
]
analysis result of the position contains also the given integer.
has_also_nul
[
Coccilib.Ana
]
analysis result of the position contains also the zero value.
has_any
[
Coccilib.Ana
]
true if an analysis result exists for the given position.
has_only_nul
[
Coccilib.Ana
]
analysis result of the position has only the zero value.
I
ii_of_name
[
Ast_c
]
inc_match
[
Coccilib
]
See include_match.
include_match
[
Coccilib
]
If the argument is true, retain the environment with respect to which the ocaml script code is being executed for use in subsequent rules.
info_of_name
[
Ast_c
]
info_of_type
[
Ast_c
]
info_to_fixpos
[
Ast_c
]
inter
[
Coccilib.Ana
]
computes the intersection of analysis results, if possible.
is_fake
[
Ast_c
]
is_origintok
[
Ast_c
]
is_test
[
Ast_c
]
L
line_of_info
[
Ast_c
]
load_results
[
Coccilib.Ana
]
loads some analysis results from the given file.
M
magic_real_number
[
Ast_c
]
make_expanded
[
Ast_c
]
make_expr
[
Coccilib
]
make_expr_with_env
[
Coccilib
]
make_ident
[
Coccilib
]
make_listlen
[
Coccilib
]
make_position
[
Coccilib
]
make_stmt
[
Coccilib
]
make_stmt_with_env
[
Coccilib
]
make_type
[
Coccilib
]
mcode_and_env_of_cocciref
[
Ast_c
]
mcode_of_info
[
Ast_c
]
mk_e
[
Ast_c
]
mk_e_bis
[
Ast_c
]
mk_st
[
Ast_c
]
mk_ty
[
Ast_c
]
mk_tybis
[
Ast_c
]
N
nQ
[
Ast_c
]
name_of_parameter
[
Ast_c
]
noInIfdef
[
Ast_c
]
noInstr
[
Ast_c
]
noRelPos
[
Ast_c
]
noType
[
Ast_c
]
noTypedefDef
[
Ast_c
]
no_format
[
Coccilib
]
no_virt_pos
[
Ast_c
]
noattr
[
Ast_c
]
noi_content
[
Ast_c
]
noii
[
Ast_c
]
nullQualif
[
Ast_c
]
O
opos_of_info
[
Ast_c
]
P
parse_info_of_info
[
Ast_c
]
pinfo_of_info
[
Ast_c
]
pos_of_info
[
Ast_c
]
print_link
[
Coccilib
]
print_main
[
Coccilib
]
print_safe_link
[
Coccilib
]
print_safe_todo
[
Coccilib
]
print_sec
[
Coccilib
]
print_secs
[
Coccilib
]
print_todo
[
Coccilib
]
put_annot_info
[
Ast_c
]
R
real_al_info
[
Ast_c
]
real_al_info_cpp
[
Ast_c
]
rewrap_expr
[
Ast_c
]
rewrap_pinfo
[
Ast_c
]
rewrap_str
[
Ast_c
]
rewrap_typeC
[
Ast_c
]
S
s_of_attr
[
Ast_c
]
s_of_inc_file
[
Ast_c
]
s_of_inc_file_bis
[
Ast_c
]
satisfy
[
Coccilib.Ana
]
predicate over a list of analysis results of a given position.
satisfy1
[
Coccilib.Ana
]
predicate over the intersection of analysis results.
semi_al_info
[
Ast_c
]
semi_al_info_cpp
[
Ast_c
]
set_type_expr
[
Ast_c
]
show_bound
[
Coccilib.Ana
]
convert a bound to a string for showing.
show_result
[
Coccilib.Ana
]
convert a result value to a string for showing.
single_int
[
Coccilib.Ana
]
true if the result contains only a single integer as range
str_of_info
[
Ast_c
]
str_of_name
[
Ast_c
]
string_of_inc_file
[
Ast_c
]
string_of_toplevel
[
Ast_c
]
strloc_of_info
[
Ast_c
]
U
unwrap
[
Ast_c
]
unwrap2
[
Ast_c
]
unwrap_expr
[
Ast_c
]
unwrap_st
[
Ast_c
]
unwrap_typeC
[
Ast_c
]
unwrap_typeCbis
[
Ast_c
]