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();