get_module.cpp File Reference

Find module symbol using name. More...

#include "get_module.h"
#include <list>
#include <set>
#include "message.h"
#include "symbol_table.h"

Include dependency graph for get_module.cpp:

Go to the source code of this file.

Macros
#define	forall_symbolptr_list(it, list)
#define	Forall_symbolptr_list(it, list)

Typedefs
typedef std::list< const symbolt * >	symbolptr_listt

Functions
const symbolt &	get_module_by_name (const symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler)
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.cpp.

Macro Definition Documentation

forall_symbolptr_list

#define forall_symbolptr_list	(		it,
			list
	)

Value:

for(symbolptr_listt::const_iterator it=(list).begin(); \
      it!=(list).end(); ++it)

Definition at line 22 of file get_module.cpp.

Referenced by get_module(), and get_module_by_name().

Forall_symbolptr_list

#define Forall_symbolptr_list	(		it,
			list
	)

Value:

for(symbolptr_listt::iterator it=(list).begin(); \
      it!=(list).end(); ++it)

Definition at line 26 of file get_module.cpp.

Typedef Documentation

symbolptr_listt

typedef std::list<const symbolt *> symbolptr_listt

Definition at line 20 of file get_module.cpp.

Function Documentation

get_module()

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

Definition at line 75 of file get_module.cpp.

References symbolt::base_name, messaget::eom(), messaget::error(), forall_symbolptr_list, forall_symbols, get_module_by_name(), irept::id(), id2string(), symbolt::pretty_name, messaget::status(), symbol_tablet::symbols, and symbolt::type.

get_module_by_name()

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

Definition at line 30 of file get_module.cpp.

References messaget::eom(), messaget::error(), forall_symbol_base_map, forall_symbolptr_list, irept::id(), symbolt::is_type, symbol_tablet::symbol_base_map, symbol_tablet::symbols, and symbolt::type.

Referenced by get_module().