#include <linking_class.h>
|
bool | needs_renaming_type (const symbolt &old_symbol, const symbolt &new_symbol) |
|
bool | needs_renaming_non_type (const symbolt &old_symbol, const symbolt &new_symbol) |
|
bool | needs_renaming (const symbolt &old_symbol, const symbolt &new_symbol) |
|
void | do_type_dependencies (std::unordered_set< irep_idt > &) |
|
void | rename_symbols (const std::unordered_set< irep_idt > &needs_to_be_renamed) |
|
void | copy_symbols () |
|
void | duplicate_non_type_symbol (symbolt &old_symbol, symbolt &new_symbol) |
|
void | duplicate_code_symbol (symbolt &old_symbol, symbolt &new_symbol) |
|
void | duplicate_object_symbol (symbolt &old_symbol, symbolt &new_symbol) |
|
bool | adjust_object_type (const symbolt &old_symbol, const symbolt &new_symbol, bool &set_to_new) |
|
bool | adjust_object_type_rec (const typet &type1, const typet &type2, adjust_type_infot &info) |
|
void | duplicate_type_symbol (symbolt &old_symbol, const symbolt &new_symbol) |
|
std::string | expr_to_string (const irep_idt &identifier, const exprt &expr) const |
|
std::string | type_to_string (const irep_idt &identifier, const typet &type) const |
|
std::string | type_to_string_verbose (const symbolt &symbol, const typet &type) const |
|
std::string | type_to_string_verbose (const symbolt &symbol) const |
|
void | detailed_conflict_report_rec (const symbolt &old_symbol, const symbolt &new_symbol, const typet &type1, const typet &type2, unsigned depth, exprt &conflict_path) |
|
void | detailed_conflict_report (const symbolt &old_symbol, const symbolt &new_symbol, const typet &type1, const typet &type2) |
|
void | link_error (const symbolt &old_symbol, const symbolt &new_symbol, const std::string &msg) |
|
void | link_warning (const symbolt &old_symbol, const symbolt &new_symbol, const std::string &msg) |
|
void | show_struct_diff (const struct_typet &old_type, const struct_typet &new_type) |
|
irep_idt | rename (irep_idt) |
|
Definition at line 27 of file linking_class.h.
◆ used_byt
◆ linkingt()
◆ adjust_object_type()
bool linkingt::adjust_object_type |
( |
const symbolt & |
old_symbol, |
|
|
const symbolt & |
new_symbol, |
|
|
bool & |
set_to_new |
|
) |
| |
|
protected |
◆ adjust_object_type_rec()
◆ copy_symbols()
void linkingt::copy_symbols |
( |
| ) |
|
|
protected |
◆ detailed_conflict_report()
void linkingt::detailed_conflict_report |
( |
const symbolt & |
old_symbol, |
|
|
const symbolt & |
new_symbol, |
|
|
const typet & |
type1, |
|
|
const typet & |
type2 |
|
) |
| |
|
inlineprotected |
◆ detailed_conflict_report_rec()
void linkingt::detailed_conflict_report_rec |
( |
const symbolt & |
old_symbol, |
|
|
const symbolt & |
new_symbol, |
|
|
const typet & |
type1, |
|
|
const typet & |
type2, |
|
|
unsigned |
depth, |
|
|
exprt & |
conflict_path |
|
) |
| |
|
protected |
◆ do_type_dependencies()
void linkingt::do_type_dependencies |
( |
std::unordered_set< irep_idt > & |
needs_to_be_renamed | ) |
|
|
protected |
◆ duplicate_code_symbol()
void linkingt::duplicate_code_symbol |
( |
symbolt & |
old_symbol, |
|
|
symbolt & |
new_symbol |
|
) |
| |
|
protected |
◆ duplicate_non_type_symbol()
void linkingt::duplicate_non_type_symbol |
( |
symbolt & |
old_symbol, |
|
|
symbolt & |
new_symbol |
|
) |
| |
|
protected |
◆ duplicate_object_symbol()
void linkingt::duplicate_object_symbol |
( |
symbolt & |
old_symbol, |
|
|
symbolt & |
new_symbol |
|
) |
| |
|
protected |
◆ duplicate_type_symbol()
void linkingt::duplicate_type_symbol |
( |
symbolt & |
old_symbol, |
|
|
const symbolt & |
new_symbol |
|
) |
| |
|
protected |
◆ expr_to_string()
std::string linkingt::expr_to_string |
( |
const irep_idt & |
identifier, |
|
|
const exprt & |
expr |
|
) |
| const |
|
protected |
◆ link_error()
void linkingt::link_error |
( |
const symbolt & |
old_symbol, |
|
|
const symbolt & |
new_symbol, |
|
|
const std::string & |
msg |
|
) |
| |
|
protected |
◆ link_warning()
void linkingt::link_warning |
( |
const symbolt & |
old_symbol, |
|
|
const symbolt & |
new_symbol, |
|
|
const std::string & |
msg |
|
) |
| |
|
protected |
◆ needs_renaming()
bool linkingt::needs_renaming |
( |
const symbolt & |
old_symbol, |
|
|
const symbolt & |
new_symbol |
|
) |
| |
|
inlineprotected |
◆ needs_renaming_non_type()
bool linkingt::needs_renaming_non_type |
( |
const symbolt & |
old_symbol, |
|
|
const symbolt & |
new_symbol |
|
) |
| |
|
protected |
◆ needs_renaming_type()
bool linkingt::needs_renaming_type |
( |
const symbolt & |
old_symbol, |
|
|
const symbolt & |
new_symbol |
|
) |
| |
|
protected |
◆ rename()
◆ rename_symbols()
void linkingt::rename_symbols |
( |
const std::unordered_set< irep_idt > & |
needs_to_be_renamed | ) |
|
|
protected |
◆ show_struct_diff()
◆ type_to_string()
std::string linkingt::type_to_string |
( |
const irep_idt & |
identifier, |
|
|
const typet & |
type |
|
) |
| const |
|
protected |
◆ type_to_string_verbose() [1/2]
std::string linkingt::type_to_string_verbose |
( |
const symbolt & |
symbol | ) |
const |
|
inlineprotected |
◆ type_to_string_verbose() [2/2]
std::string linkingt::type_to_string_verbose |
( |
const symbolt & |
symbol, |
|
|
const typet & |
type |
|
) |
| const |
|
protected |
◆ typecheck()
void linkingt::typecheck |
( |
| ) |
|
|
virtual |
◆ main_symbol_table
◆ ns
◆ object_type_updates
◆ rename_symbol
◆ renamed_ids
std::unordered_set<irep_idt> linkingt::renamed_ids |
|
protected |
◆ src_symbol_table
The documentation for this class was generated from the following files: