|
CBMC
|
Find module symbol using name. More...
#include "get_module.h"#include "message.h"#include "range.h"#include "symbol_table_base.h"#include <list>#include <set>
Include dependency graph for get_module.cpp:Go to the source code of this file.
Typedefs | |
| typedef std::list< const symbolt * > | symbolptr_listt |
Functions | |
| const symbolt & | get_module_by_name (const symbol_table_baset &symbol_table, const std::string &module, message_handlert &message_handler) |
| const symbolt & | get_module (const symbol_table_baset &symbol_table, const std::string &module, message_handlert &message_handler) |
Find module symbol using name.
Definition in file get_module.cpp.
| typedef std::list<const symbolt *> symbolptr_listt |
Definition at line 21 of file get_module.cpp.
| const symbolt & get_module | ( | const symbol_table_baset & | symbol_table, |
| const std::string & | module, | ||
| message_handlert & | message_handler | ||
| ) |
Definition at line 69 of file get_module.cpp.
| const symbolt & get_module_by_name | ( | const symbol_table_baset & | symbol_table, |
| const std::string & | module, | ||
| message_handlert & | message_handler | ||
| ) |
Definition at line 23 of file get_module.cpp.