Find module symbol using name. More...
#include "get_module.h"#include <list>#include <set>#include "message.h"#include "symbol_table.h"
Include dependency graph for get_module.cpp:Go to the source code of this file.
Macros | |
| #define | forall_symbolptr_list(it, list) |
| #define | Forall_symbolptr_list(it, list) |
Typedefs | |
| typedef std::list< const symbolt * > | symbolptr_listt |
Functions | |
| const symbolt & | get_module_by_name (const symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler) |
| const symbolt & | get_module (const symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler) |
Detailed Description
Find module symbol using name.
Definition in file get_module.cpp.
Macro Definition Documentation
◆ forall_symbolptr_list
| #define forall_symbolptr_list | ( | it, | |
| list | |||
| ) |
Value:
for(symbolptr_listt::const_iterator it=(list).begin(); \
it!=(list).end(); ++it)
Definition at line 22 of file get_module.cpp.
◆ Forall_symbolptr_list
| #define Forall_symbolptr_list | ( | it, | |
| list | |||
| ) |
Value:
for(symbolptr_listt::iterator it=(list).begin(); \
it!=(list).end(); ++it)
Definition at line 26 of file get_module.cpp.
Typedef Documentation
◆ symbolptr_listt
| typedef std::list<const symbolt *> symbolptr_listt |
Definition at line 20 of file get_module.cpp.
Function Documentation
◆ get_module()
| 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.
◆ get_module_by_name()
| const symbolt& get_module_by_name | ( | const symbol_tablet & | symbol_table, |
| const std::string & | module, | ||
| message_handlert & | message_handler | ||
| ) |
Definition at line 30 of file get_module.cpp.
