cprover
cpp_save_scopet Class Reference

#include <cpp_scopes.h>

Collaboration diagram for cpp_save_scopet:
[legend]

Public Member Functions

 cpp_save_scopet (cpp_scopest &_cpp_scopes)
 
 ~cpp_save_scopet ()
 
void restore ()
 

Protected Attributes

cpp_scopestcpp_scopes
 
cpp_scopetsaved_scope
 

Detailed Description

Definition at line 128 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 131 of file cpp_scopes.h.

§ ~cpp_save_scopet()

cpp_save_scopet::~cpp_save_scopet ( )
inline

Definition at line 137 of file cpp_scopes.h.

Member Function Documentation

§ restore()

void cpp_save_scopet::restore ( )
inline

Member Data Documentation

§ cpp_scopes

cpp_scopest& cpp_save_scopet::cpp_scopes
protected

Definition at line 148 of file cpp_scopes.h.

§ saved_scope

cpp_scopet* cpp_save_scopet::saved_scope
protected

Definition at line 149 of file cpp_scopes.h.


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