cprover
save_scopet Class Reference
Collaboration diagram for save_scopet:
[legend]

Public Member Functions

 save_scopet (new_scopet *&_scope)
 
 ~save_scopet ()
 

Protected Attributes

new_scopet *& scope_ptr
 
new_scopetold_scope
 

Detailed Description

Definition at line 166 of file parse.cpp.

Constructor & Destructor Documentation

§ save_scopet()

save_scopet::save_scopet ( new_scopet *&  _scope)
inlineexplicit

Definition at line 169 of file parse.cpp.

§ ~save_scopet()

save_scopet::~save_scopet ( )
inline

Definition at line 174 of file parse.cpp.

Member Data Documentation

§ old_scope

new_scopet* save_scopet::old_scope
protected

Definition at line 181 of file parse.cpp.

§ scope_ptr

new_scopet*& save_scopet::scope_ptr
protected

Definition at line 180 of file parse.cpp.


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