address_of_aware_replace_symbolt::set_require_lvalue_and_backupt Class Reference

Public Member Functions
	set_require_lvalue_and_backupt (bool &require_lvalue, const bool value)
	~set_require_lvalue_and_backupt ()

Private Attributes
bool &	require_lvalue
bool	prev_value

Detailed Description

Definition at line 131 of file replace_symbol.h.

Constructor & Destructor Documentation

set_require_lvalue_and_backupt()

address_of_aware_replace_symbolt::set_require_lvalue_and_backupt::set_require_lvalue_and_backupt ( bool & require_lvalue, const bool value )

inline

Definition at line 134 of file replace_symbol.h.

~set_require_lvalue_and_backupt()

address_of_aware_replace_symbolt::set_require_lvalue_and_backupt::~set_require_lvalue_and_backupt ( )

inline

Definition at line 140 of file replace_symbol.h.

Member Data Documentation

prev_value

bool address_of_aware_replace_symbolt::set_require_lvalue_and_backupt::prev_value

private

Definition at line 147 of file replace_symbol.h.

require_lvalue

bool& address_of_aware_replace_symbolt::set_require_lvalue_and_backupt::require_lvalue

private

Definition at line 146 of file replace_symbol.h.

---

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

• util/replace_symbol.h