cprover
|
Go to the source code of this file.
Enumerations | |
enum | kindt { kindt::F_TYPE, kindt::F_TYPE_NON_PTR, kindt::F_EXPR, kindt::F_BOTH } |
|
strong |
Enumerator | |
---|---|
F_TYPE | |
F_TYPE_NON_PTR | |
F_EXPR | |
F_BOTH |
Definition at line 14 of file find_symbols.cpp.
void find_non_pointer_type_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 199 of file find_symbols.cpp.
References F_TYPE_NON_PTR, and find_symbols().
Referenced by dump_ct::convert_compound().
void find_non_pointer_type_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 206 of file find_symbols.cpp.
References F_TYPE_NON_PTR, and find_symbols().
void find_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 16 of file find_symbols.cpp.
References find_symbols().
Referenced by full_slicert::add_decl_dead(), acceleratet::add_dirty_checks(), concurrency_instrumentationt::collect(), preconditiont::compute_rec(), dump_ct::convert_global_variable(), find_non_pointer_type_symbols(), find_symbols(), find_type_and_expr_symbols(), find_type_symbols(), bv_refinementt::freeze_lazy_constraints(), expr2ct::get_shorthands(), concurrency_instrumentationt::instrument(), instrument_intervals(), postconditiont::is_used(), slice_global_inits(), acceleration_utilst::stash_variables(), and polynomial_acceleratort::stash_variables().
void find_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest, | ||
bool | current, | ||
bool | next | ||
) |
Definition at line 23 of file find_symbols.cpp.
References find_symbols(), forall_operands, irept::get(), irept::id(), and to_symbol_expr().
Definition at line 67 of file find_symbols.cpp.
References find_symbols(), forall_operands, and irept::id().
void find_symbols | ( | const exprt & | src, |
std::set< symbol_exprt > & | dest | ||
) |
Definition at line 80 of file find_symbols.cpp.
References find_symbols(), forall_operands, irept::id(), and to_symbol_expr().
void find_symbols | ( | kindt | kind, |
const typet & | src, | ||
find_symbols_sett & | dest | ||
) |
Definition at line 121 of file find_symbols.cpp.
References struct_union_typet::components(), dstringt::empty(), F_TYPE_NON_PTR, find_symbols(), forall_subtypes, irept::get(), typet::has_subtype(), irept::id(), code_typet::parameters(), code_typet::return_type(), typet::subtype(), to_array_type(), to_c_enum_tag_type(), to_code_type(), to_struct_tag_type(), to_struct_union_type(), to_symbol_type(), and to_union_tag_type().
void find_symbols | ( | kindt | kind, |
const exprt & | src, | ||
find_symbols_sett & | dest | ||
) |
Definition at line 95 of file find_symbols.cpp.
References F_BOTH, F_EXPR, irept::find(), find_symbols(), forall_operands, irept::get(), irept::id(), irept::is_not_nil(), to_symbol_expr(), and exprt::type().
void find_type_and_expr_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 213 of file find_symbols.cpp.
References F_BOTH, and find_symbols().
Referenced by linkingt::do_type_dependencies(), find_block_position_rec(), and get_symbols_rec().
void find_type_and_expr_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 218 of file find_symbols.cpp.
References F_BOTH, and find_symbols().
void find_type_symbols | ( | const exprt & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 189 of file find_symbols.cpp.
References F_TYPE, and find_symbols().
void find_type_symbols | ( | const typet & | src, |
find_symbols_sett & | dest | ||
) |
Definition at line 194 of file find_symbols.cpp.
References F_TYPE, and find_symbols().
bool has_symbol | ( | const exprt & | src, |
const find_symbols_sett & | symbols, | ||
bool | current, | ||
bool | next | ||
) |
Definition at line 40 of file find_symbols.cpp.
References forall_operands, irept::get(), irept::id(), and to_symbol_expr().
Referenced by has_symbol(), and goto_checkt::invalidate().
bool has_symbol | ( | const exprt & | src, |
const find_symbols_sett & | symbols | ||
) |
Definition at line 60 of file find_symbols.cpp.
References has_symbol().