cprover
rename_symbolt Class Reference

#include <rename_symbol.h>

Collaboration diagram for rename_symbolt:
[legend]

Public Types

typedef std::unordered_map< irep_idt, irep_idt, irep_id_hashexpr_mapt
 
typedef std::unordered_map< irep_idt, irep_idt, irep_id_hashtype_mapt
 

Public Member Functions

void insert_expr (const irep_idt &old_id, const irep_idt &new_id)
 
void insert (const class symbol_exprt &old_expr, const class symbol_exprt &new_expr)
 
void insert_type (const irep_idt &old_id, const irep_idt &new_id)
 
void operator() (exprt &dest) const
 
void operator() (typet &dest) const
 
 rename_symbolt ()
 
virtual ~rename_symbolt ()
 

Public Attributes

expr_mapt expr_map
 
type_mapt type_map
 

Protected Member Functions

bool rename (exprt &dest) const
 
bool rename (typet &dest) const
 
bool have_to_rename (const exprt &dest) const
 
bool have_to_rename (const typet &type) const
 

Detailed Description

Definition at line 25 of file rename_symbol.h.

Member Typedef Documentation

◆ expr_mapt

Definition at line 28 of file rename_symbol.h.

◆ type_mapt

Definition at line 29 of file rename_symbol.h.

Constructor & Destructor Documentation

◆ rename_symbolt()

rename_symbolt::rename_symbolt ( )

Definition at line 14 of file rename_symbol.cpp.

◆ ~rename_symbolt()

rename_symbolt::~rename_symbolt ( )
virtual

Definition at line 18 of file rename_symbol.cpp.

Member Function Documentation

◆ have_to_rename() [1/2]

bool rename_symbolt::have_to_rename ( const exprt dest) const
protected

◆ have_to_rename() [2/2]

◆ insert()

void rename_symbolt::insert ( const class symbol_exprt old_expr,
const class symbol_exprt new_expr 
)

Definition at line 22 of file rename_symbol.cpp.

References symbol_exprt::get_identifier(), and insert_expr().

◆ insert_expr()

void rename_symbolt::insert_expr ( const irep_idt old_id,
const irep_idt new_id 
)
inline

Definition at line 31 of file rename_symbol.h.

References expr_map.

Referenced by insert(), link_functions(), and linkingt::rename_symbols().

◆ insert_type()

void rename_symbolt::insert_type ( const irep_idt old_id,
const irep_idt new_id 
)
inline

Definition at line 40 of file rename_symbol.h.

References type_map.

Referenced by linkingt::rename_symbols().

◆ operator()() [1/2]

void rename_symbolt::operator() ( exprt dest) const
inline

Definition at line 46 of file rename_symbol.h.

References rename().

◆ operator()() [2/2]

void rename_symbolt::operator() ( typet dest) const
inline

Definition at line 51 of file rename_symbol.h.

References rename().

◆ rename() [1/2]

bool rename_symbolt::rename ( exprt dest) const
protected

◆ rename() [2/2]

Member Data Documentation

◆ expr_map

expr_mapt rename_symbolt::expr_map

Definition at line 59 of file rename_symbol.h.

Referenced by have_to_rename(), insert_expr(), link_functions(), and rename().

◆ type_map

type_mapt rename_symbolt::type_map

Definition at line 60 of file rename_symbol.h.

Referenced by have_to_rename(), insert_type(), and rename().


The documentation for this class was generated from the following files: