CBMC
Public Types | Public Member Functions | Public Attributes | Protected Member Functions | List of all members
rename_symbolt Class Reference

#include <rename_symbol.h>

+ Collaboration diagram for rename_symbolt:

Public Types

typedef std::unordered_map< irep_idt, irep_idt > expr_mapt
 
typedef std::unordered_map< irep_idt, irep_idt > type_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)
 
bool operator() (exprt &dest) const
 Rename symbols in dest. More...
 
bool operator() (typet &dest) const
 Rename symbols in dest. More...
 
 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

typedef std::unordered_map<irep_idt, irep_idt> rename_symbolt::expr_mapt

Definition at line 28 of file rename_symbol.h.

◆ type_mapt

typedef std::unordered_map<irep_idt, irep_idt> rename_symbolt::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

Definition at line 83 of file rename_symbol.cpp.

◆ have_to_rename() [2/2]

bool rename_symbolt::have_to_rename ( const typet &  type) const
protected

Definition at line 223 of file rename_symbol.cpp.

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

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

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

◆ operator()() [1/2]

bool rename_symbolt::operator() ( exprt &  dest) const
inline

Rename symbols in dest.

Returns
True if, and only if, the expression was not modified.

Definition at line 48 of file rename_symbol.h.

◆ operator()() [2/2]

bool rename_symbolt::operator() ( typet &  dest) const
inline

Rename symbols in dest.

Returns
True if, and only if, the type was not modified.

Definition at line 55 of file rename_symbol.h.

◆ rename() [1/2]

bool rename_symbolt::rename ( exprt &  dest) const
protected

Definition at line 29 of file rename_symbol.cpp.

◆ rename() [2/2]

bool rename_symbolt::rename ( typet &  dest) const
protected

Definition at line 122 of file rename_symbol.cpp.

Member Data Documentation

◆ expr_map

expr_mapt rename_symbolt::expr_map

Definition at line 63 of file rename_symbol.h.

◆ type_map

type_mapt rename_symbolt::type_map

Definition at line 64 of file rename_symbol.h.

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