cprover
Loading...
Searching...
No Matches
get_module.h File Reference

Find module symbol using name. More...

#include <string>
Include dependency graph for get_module.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

const symboltget_module (const symbol_table_baset &, const std::string &module, message_handlert &)

Detailed Description

Find module symbol using name.

Definition in file get_module.h.

Function Documentation

◆ get_module()

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.