renaming::level1t Struct Reference

#include <renaming.h>

Inheritance diagram for renaming::level1t:

Classes
class	name_record
struct	name_rec_hash

Public Types
typedef persistent_map< name_record, unsigned, name_rec_hash >	current_namest

Public Member Functions
void	rename (expr2tc &expr) override
void	get_ident_name (expr2tc &symbol) const override
void	remove (const expr2tc &symbol) override
void	rename (const expr2tc &symbol, unsigned frame)
void	get_original_name (expr2tc &expr) const override
unsigned int	current_number (const irep_idt &name) const
	level1t ()=default
	~level1t () override=default
virtual void	print (std::ostream &out) const
Public Member Functions inherited from renaming::renaming_levelt
virtual	~renaming_levelt ()=default

Public Attributes
current_namest	current_names
unsigned int	thread_id
const namespacet *	ns = nullptr

Additional Inherited Members
Static Public Member Functions inherited from renaming::renaming_levelt
static void	get_original_name (expr2tc &expr, symbol2t::renaming_level lev)

Member Typedef Documentation

current_namest

typedef persistent_map<name_record, unsigned, name_rec_hash> renaming::level1t::current_namest

Constructor & Destructor Documentation

level1t()

renaming::level1t::level1t ( )

default

~level1t()

renaming::level1t::~level1t ( )

overridedefault

Member Function Documentation

current_number()

unsigned int renaming::level1t::current_number

(

const irep_idt &

name

)

const

get_ident_name()

void renaming::level1t::get_ident_name ( expr2tc & symbol ) const

overridevirtual

Implements renaming::renaming_levelt.

get_original_name()

void renaming::level1t::get_original_name ( expr2tc & expr ) const

inlineoverridevirtual

Implements renaming::renaming_levelt.

print()

void renaming::level1t::print ( std::ostream & out ) const

virtual

remove()

void renaming::level1t::remove ( const expr2tc & symbol )

inlineoverridevirtual

Implements renaming::renaming_levelt.

rename() [1/2]

void renaming::level1t::rename ( const expr2tc & symbol, unsigned frame )

inline

rename() [2/2]

void renaming::level1t::rename ( expr2tc & expr )

overridevirtual

Implements renaming::renaming_levelt.

Member Data Documentation

current_names

current_namest renaming::level1t::current_names

ns

const namespacet* renaming::level1t::ns = nullptr

thread_id

unsigned int renaming::level1t::thread_id

---

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

• src/goto-symex/state/renaming.h
• src/goto-symex/state/renaming.cpp