cpp_save_scopet Class Reference

#include <cpp_scopes.h>

Collaboration diagram for cpp_save_scopet:

Public Member Functions
	cpp_save_scopet (cpp_scopest &_cpp_scopes)
	~cpp_save_scopet ()
void	restore ()

Protected Attributes
cpp_scopest &	cpp_scopes
cpp_scopet *	saved_scope

Detailed Description

Definition at line 127 of file cpp_scopes.h.

Constructor & Destructor Documentation

cpp_save_scopet()

cpp_save_scopet::cpp_save_scopet ( cpp_scopest &  _cpp_scopes )

inlineexplicit

Definition at line 130 of file cpp_scopes.h.

~cpp_save_scopet()

cpp_save_scopet::~cpp_save_scopet ( )

inline

Definition at line 136 of file cpp_scopes.h.

Member Function Documentation

restore()

void cpp_save_scopet::restore ( )

inline

Definition at line 141 of file cpp_scopes.h.

Member Data Documentation

cpp_scopes

cpp_scopest& cpp_save_scopet::cpp_scopes

protected

Definition at line 147 of file cpp_scopes.h.

saved_scope

cpp_scopet* cpp_save_scopet::saved_scope

protected

Definition at line 148 of file cpp_scopes.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/cpp/cpp_scopes.h