CBMC
get_module.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Find module symbol using name
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_UTIL_GET_MODULE_H
13 #define CPROVER_UTIL_GET_MODULE_H
14 
15 #include <string>
16 
17 class symbol_tablet;
18 class message_handlert;
19 class symbolt;
20 
21 const symbolt &get_module(
22  const symbol_tablet &symbol_table,
23  const std::string &module,
24  message_handlert &message_handler);
25 
26 #endif // CPROVER_UTIL_GET_MODULE_H
symbol_tablet
The symbol table.
Definition: symbol_table.h:13
get_module
const symbolt & get_module(const symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler)
Definition: get_module.cpp:69
message_handlert
Definition: message.h:27
symbolt
Symbol table entry.
Definition: symbol.h:27
symbolt::module
irep_idt module
Name of module the symbol belongs to.
Definition: symbol.h:43