cprover
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 symboltget_module_by_name (const symbol_tablet &symbol_table, const std::string &module, message_handlert &message_handler)
 
const symboltget_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.

◆ 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.

◆ 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.