CBMC
|
Go to the source code of this file.
Enumerations | |
enum class | symbol_kindt { F_TYPE , F_TYPE_NON_PTR , F_EXPR , F_EXPR_FREE , F_ALL } |
Kinds of symbols to be considered by find_symbols. More... | |
Functions | |
static bool | find_symbols (symbol_kindt, const typet &, std::function< bool(const symbol_exprt &)>, std::unordered_set< irep_idt > &bindings, const std::vector< irep_idt > &subs_to_find) |
Find identifiers with id ID_symbol of the sub expressions and the subs with ID in subs_to_find considering both free and bound variables, as well as any type tags. More... | |
static bool | find_symbols (symbol_kindt kind, const exprt &src, std::function< bool(const symbol_exprt &)> op, std::unordered_set< irep_idt > &bindings, const std::vector< irep_idt > &subs_to_find) |
static bool | find_symbols (symbol_kindt kind, const typet &type, std::function< bool(const symbol_exprt &)> op, const std::vector< irep_idt > &subs_to_find={}) |
static bool | find_symbols (symbol_kindt kind, const exprt &src, std::function< bool(const symbol_exprt &)> op, const std::vector< irep_idt > &subs_to_find={}) |
void | find_symbols (const exprt &src, std::set< symbol_exprt > &dest) |
Find sub expressions with id ID_symbol, considering both free and bound variables. More... | |
bool | has_symbol_expr (const exprt &src, const irep_idt &identifier, bool include_bound_symbols) |
Returns true if one of the symbol expressions in src has identifier identifier ; if include_bound_symbols is true, then bindings are included in the search. More... | |
void | find_type_symbols (const exprt &src, find_symbols_sett &dest) |
Collect all type tags contained in src and add them to dest . More... | |
void | find_type_symbols (const typet &src, find_symbols_sett &dest) |
Collect all type tags contained in src and add them to dest . More... | |
void | find_non_pointer_type_symbols (const exprt &src, find_symbols_sett &dest) |
Collect type tags contained in src when the expression of such a type is not a pointer, and add them to dest . More... | |
void | find_non_pointer_type_symbols (const typet &src, find_symbols_sett &dest) |
Collect type tags contained in src when the expression of such a type is not a pointer, and add them to dest . More... | |
void | find_type_and_expr_symbols (const exprt &src, find_symbols_sett &dest, const std::vector< irep_idt > &subs_to_find) |
Find identifiers with id ID_symbol of the sub expressions and the subs with ID in subs_to_find considering both free and bound variables, as well as any type tags. More... | |
void | find_type_and_expr_symbols (const typet &src, find_symbols_sett &dest, const std::vector< irep_idt > &subs_to_find) |
Find identifiers with id ID_symbol of the sub expressions and the subs with ID in subs_to_find considering both free and bound variables, as well as any type tags. More... | |
void | find_symbols (const exprt &src, find_symbols_sett &dest) |
Add to the set dest the sub-expressions of src with id ID_symbol, for both free and bound variables. More... | |
|
strong |
Kinds of symbols to be considered by find_symbols.
Definition at line 15 of file find_symbols.cpp.
void find_non_pointer_type_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Collect type tags contained in src
when the expression of such a type is not a pointer, and add them to dest
.
Definition at line 296 of file find_symbols.cpp.
void find_non_pointer_type_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Collect type tags contained in src
when the expression of such a type is not a pointer, and add them to dest
.
Definition at line 307 of file find_symbols.cpp.
void find_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Add to the set dest
the sub-expressions of src
with id ID_symbol, for both free and bound variables.
Definition at line 348 of file find_symbols.cpp.
void find_symbols | ( | const exprt & | src, |
std::set< symbol_exprt > & | dest | ||
) |
Find sub expressions with id ID_symbol, considering both free and bound variables.
Definition at line 259 of file find_symbols.cpp.
|
static |
Definition at line 249 of file find_symbols.cpp.
|
static |
Definition at line 40 of file find_symbols.cpp.
|
static |
Definition at line 239 of file find_symbols.cpp.
|
static |
Find identifiers with id ID_symbol of the sub expressions and the subs with ID in subs_to_find
considering both free and bound variables, as well as any type tags.
Definition at line 152 of file find_symbols.cpp.
void find_type_and_expr_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest, | ||
const std::vector< irep_idt > & | subs_to_find | ||
) |
Find identifiers with id ID_symbol of the sub expressions and the subs with ID in subs_to_find
considering both free and bound variables, as well as any type tags.
Definition at line 318 of file find_symbols.cpp.
void find_type_and_expr_symbols | ( | const typet & | src, |
find_symbols_sett & | dest, | ||
const std::vector< irep_idt > & | subs_to_find | ||
) |
Find identifiers with id ID_symbol of the sub expressions and the subs with ID in subs_to_find
considering both free and bound variables, as well as any type tags.
Definition at line 333 of file find_symbols.cpp.
void find_type_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Collect all type tags contained in src
and add them to dest
.
Definition at line 280 of file find_symbols.cpp.
void find_type_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Collect all type tags contained in src
and add them to dest
.
Definition at line 288 of file find_symbols.cpp.
Returns true if one of the symbol expressions in src
has identifier identifier
; if include_bound_symbols
is true, then bindings are included in the search.
Definition at line 267 of file find_symbols.cpp.