cprover
|
#include <rename_symbol.h>
Public Types | |
typedef std::unordered_map< irep_idt, irep_idt > | expr_mapt |
typedef std::unordered_map< irep_idt, irep_idt > | type_mapt |
Public Member Functions | |
void | insert_expr (const irep_idt &old_id, const irep_idt &new_id) |
void | insert (const class symbol_exprt &old_expr, const class symbol_exprt &new_expr) |
void | insert_type (const irep_idt &old_id, const irep_idt &new_id) |
void | operator() (exprt &dest) const |
void | operator() (typet &dest) const |
rename_symbolt () | |
virtual | ~rename_symbolt () |
Public Attributes | |
expr_mapt | expr_map |
type_mapt | type_map |
Protected Member Functions | |
bool | rename (exprt &dest) const |
bool | rename (typet &dest) const |
bool | have_to_rename (const exprt &dest) const |
bool | have_to_rename (const typet &type) const |
Definition at line 25 of file rename_symbol.h.
typedef std::unordered_map<irep_idt, irep_idt> rename_symbolt::expr_mapt |
Definition at line 28 of file rename_symbol.h.
typedef std::unordered_map<irep_idt, irep_idt> rename_symbolt::type_mapt |
Definition at line 29 of file rename_symbol.h.
rename_symbolt::rename_symbolt | ( | ) |
Definition at line 15 of file rename_symbol.cpp.
|
virtual |
Definition at line 19 of file rename_symbol.cpp.
|
protected |
Definition at line 84 of file rename_symbol.cpp.
References expr_map, irept::find(), forall_operands, symbol_exprt::get_identifier(), irept::id(), irept::is_not_nil(), to_symbol_expr(), exprt::type(), and type_map.
Referenced by have_to_rename(), and rename().
|
protected |
Definition at line 207 of file rename_symbol.cpp.
References struct_union_typet::components(), expr_map, forall_subtypes, symbol_typet::get_identifier(), typet::has_subtype(), have_to_rename(), irept::id(), code_typet::parameters(), code_typet::return_type(), array_typet::size(), typet::subtype(), to_array_type(), to_code_type(), to_struct_union_type(), to_symbol_type(), to_tag_type(), and type_map.
void rename_symbolt::insert | ( | const class symbol_exprt & | old_expr, |
const class symbol_exprt & | new_expr | ||
) |
Definition at line 23 of file rename_symbol.cpp.
References symbol_exprt::get_identifier(), and insert_expr().
Definition at line 31 of file rename_symbol.h.
References expr_map.
Referenced by insert(), link_functions(), and linkingt::rename_symbols().
Definition at line 40 of file rename_symbol.h.
References type_map.
Referenced by linkingt::rename_symbols().
|
inline |
Definition at line 46 of file rename_symbol.h.
References rename().
|
inline |
Definition at line 51 of file rename_symbol.h.
References rename().
|
protected |
Definition at line 30 of file rename_symbol.cpp.
References irept::add(), exprt::depth_begin(), exprt::depth_end(), expr_map, symbol_exprt::get_identifier(), have_to_rename(), irept::is_not_nil(), symbol_exprt::set_identifier(), to_symbol_expr(), and exprt::type().
Referenced by operator()(), and rename().
|
protected |
Definition at line 121 of file rename_symbol.cpp.
References struct_union_typet::components(), expr_map, Forall_subtypes, typet::has_subtype(), have_to_rename(), irept::id(), code_typet::parameters(), rename(), code_typet::return_type(), symbol_typet::set_identifier(), tag_typet::set_identifier(), array_typet::size(), typet::subtype(), to_array_type(), to_code_type(), to_struct_union_type(), to_symbol_type(), to_tag_type(), and type_map.
expr_mapt rename_symbolt::expr_map |
Definition at line 59 of file rename_symbol.h.
Referenced by have_to_rename(), insert_expr(), link_functions(), and rename().
type_mapt rename_symbolt::type_map |
Definition at line 60 of file rename_symbol.h.
Referenced by have_to_rename(), insert_type(), and rename().