cprover
|
Find module symbol using name. More...
#include <string>
Go to the source code of this file.
Functions | |
const symbolt & | get_module (const symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler) |
Find module symbol using name.
Definition in file get_module.h.
const symbolt& get_module | ( | const symbol_tablet & | symbol_table, |
const std::string & | module, | ||
message_handlert & | message_handler | ||
) |
Definition at line 75 of file get_module.cpp.
References symbolt::base_name, messaget::eom(), messaget::error(), forall_symbolptr_list, forall_symbols, get_module_by_name(), irept::id(), id2string(), symbolt::pretty_name, messaget::status(), symbol_tablet::symbols, and symbolt::type.