get_module.h File Reference

#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 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.h.

Function Documentation

get_module()

const symbolt& get_module	(	const symbol_tablet &	symbol_table,
		const std::string &	module,
		message_handlert &	message_handler
	)

Definition at line 69 of file get_module.cpp.