cprover
save_scopet Class Reference
+ Collaboration diagram for save_scopet:

Public Member Functions

 save_scopet (new_scopet *&_scope)
 
 ~save_scopet ()
 

Protected Attributes

new_scopet *& scope_ptr
 
new_scopetold_scope
 

Detailed Description

Definition at line 168 of file parse.cpp.

Constructor & Destructor Documentation

◆ save_scopet()

save_scopet::save_scopet ( new_scopet *&  _scope)
inlineexplicit

Definition at line 171 of file parse.cpp.

◆ ~save_scopet()

save_scopet::~save_scopet ( )
inline

Definition at line 176 of file parse.cpp.

Member Data Documentation

◆ old_scope

new_scopet* save_scopet::old_scope
protected

Definition at line 183 of file parse.cpp.

◆ scope_ptr

new_scopet*& save_scopet::scope_ptr
protected

Definition at line 182 of file parse.cpp.


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