24 const std::string &module,
32 symbol_tablet::symbolst::const_iterator it2=
33 symbol_table.
symbols.find(it->second);
35 if(it2==symbol_table.
symbols.end())
43 symbolptr_list.push_back(&s);
46 if(symbolptr_list.empty())
51 else if(symbolptr_list.size()>=2)
53 message.error() <<
"module '" << module <<
"' does not uniquely resolve:\n";
55 for(
const symbolt *symbol_ptr : symbolptr_list)
56 message.error() <<
" " << symbol_ptr->name <<
'\n';
64 return *symbolptr_list.front();
69 const std::string &module,
78 for(
const auto &symbol_pair : symbol_table.
symbols)
80 const symbolt &s = symbol_pair.second;
89 symbolptr_list.push_back(&s);
92 if(symbolptr_list.empty())
97 else if(symbolptr_list.size()>=2)
100 std::set<std::string> modules;
102 for(
const symbolt *symbol_ptr : symbolptr_list)
103 modules.insert(
id2string(symbol_ptr->pretty_name));
105 message.error() <<
"multiple modules found, please select one:\n";
107 for(
const auto &s_it : modules)
108 message.error() <<
" " << s_it <<
'\n';
116 const symbolt &symbol=*symbolptr_list.front();
const irep_idt & id() const
Class that provides messages with a built-in verbosity 'level'.
const symbol_base_mapt & symbol_base_map
Read-only field, used to look up symbol names given their base names.
const symbolst & symbols
Read-only field, used to look up symbols given their names.
irep_idt base_name
Base (non-scoped) name.
typet type
Type of symbol.
irep_idt pretty_name
Language-specific display name.
const symbolt & get_module(const symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler)
std::list< const symbolt * > symbolptr_listt
const symbolt & get_module_by_name(const symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler)
Find module symbol using name.
const std::string & id2string(const irep_idt &d)
static const char * message(const statust &status)
Makes a status message string from a status.
#define forall_symbol_base_map(it, expr, base_name)