CBMC
Loading...
Searching...
No Matches
get_module.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Find module symbol using name
4
5Author: 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
17class symbol_table_baset;
18class message_handlert;
19class symbolt;
20
21const symbolt &get_module(
22 const symbol_table_baset &,
23 const std::string &module,
24 message_handlert &);
25
26#endif // CPROVER_UTIL_GET_MODULE_H
ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562
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
get_module
const symbolt & get_module(const symbol_table_baset &, const std::string &module, message_handlert &)
Definition get_module.cpp:69