CBMC
get_module.cpp File Reference

Find module symbol using name. More...

#include "get_module.h"
#include "message.h"
#include "range.h"
#include "symbol_table_base.h"
#include <list>
#include <set>
+ Include dependency graph for get_module.cpp:

Go to the source code of this file.

Typedefs

typedef std::list< const symbolt * > symbolptr_listt
 

Functions

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

Detailed Description

Find module symbol using name.

Definition in file get_module.cpp.

Typedef Documentation

◆ symbolptr_listt

typedef std::list<const symbolt *> symbolptr_listt

Definition at line 21 of file get_module.cpp.

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.

◆ get_module_by_name()

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

Definition at line 23 of file get_module.cpp.