#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) |
|
std::unordered_map< irep_idt, irep_idt > | rename_symbols (const symbol_table_baset &, const std::unordered_set< irep_idt > &needs_to_be_renamed) |
|
void | copy_symbols (const symbol_table_baset &, const std::unordered_map< irep_idt, irep_idt > &) |
|
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 |
|
bool | detailed_conflict_report_rec (const symbolt &old_symbol, const symbolt &new_symbol, const typet &type1, const typet &type2, unsigned depth, exprt &conflict_path) |
| Returns true iff the conflict report on a particular branch of the tree of types was a definitive result, and not contingent on conflicts within a tag type.
|
|
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 (const symbol_table_baset &, const irep_idt &) |
|
Definition at line 34 of file linking_class.h.
◆ linkingt()
◆ adjust_object_type()
◆ adjust_object_type_rec()
◆ copy_symbols()
◆ detailed_conflict_report()
◆ detailed_conflict_report_rec()
Returns true iff the conflict report on a particular branch of the tree of types was a definitive result, and not contingent on conflicts within a tag type.
Definition at line 194 of file linking.cpp.
◆ duplicate_code_symbol()
◆ duplicate_non_type_symbol()
◆ duplicate_object_symbol()
◆ duplicate_type_symbol()
◆ expr_to_string()
◆ link()
Merges the symbol table src_symbol_table
into main_symbol_table
, renaming symbols from src_symbol_table
when necessary.
- Returns
- True, iff linking failed with unresolvable conflicts.
Definition at line 1522 of file linking.cpp.
◆ link_error()
◆ link_warning()
◆ needs_renaming()
◆ needs_renaming_non_type()
◆ needs_renaming_type()
◆ rename()
◆ rename_symbols()
◆ show_struct_diff()
◆ type_to_string()
◆ type_to_string_verbose() [1/2]
std::string linkingt::type_to_string_verbose |
( |
const symbolt & |
symbol | ) |
const |
|
inlineprotected |
◆ type_to_string_verbose() [2/2]
◆ main_symbol_table
◆ message_handler
◆ ns
◆ object_type_updates
◆ rename_symbol
◆ renamed_ids
std::unordered_set<irep_idt> linkingt::renamed_ids |
|
protected |
The documentation for this class was generated from the following files: