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_table_baset;
18 class message_handlert;
19 class symbolt;
20 
21 const symbolt &get_module(
22  const symbol_table_baset &,
23  const std::string &module,
24  message_handlert &);
25 
26 #endif // CPROVER_UTIL_GET_MODULE_H
message_handlert
Definition: message.h:27
symbol_table_baset
The symbol table base class interface.
Definition: symbol_table_base.h:23
symbolt
Symbol table entry.
Definition: symbol.h:28
symbolt::module
irep_idt module
Name of module the symbol belongs to.
Definition: symbol.h:43
get_module
const symbolt & get_module(const symbol_table_baset &, const std::string &module, message_handlert &)
Definition: get_module.cpp:69