cprover
Loading...
Searching...
No Matches
rename_symbolt Class Reference

#include <rename_symbol.h>

Collaboration diagram for rename_symbolt:

Public Types

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