CBMC
Public Member Functions | Protected Attributes | List of all members
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_scopet * old_scope
 

Detailed Description

Definition at line 164 of file parse.cpp.

Constructor & Destructor Documentation

◆ save_scopet()

save_scopet::save_scopet ( new_scopet *&  _scope)
inlineexplicit

Definition at line 167 of file parse.cpp.

◆ ~save_scopet()

save_scopet::~save_scopet ( )
inline

Definition at line 172 of file parse.cpp.

Member Data Documentation

◆ old_scope

new_scopet* save_scopet::old_scope
protected

Definition at line 179 of file parse.cpp.

◆ scope_ptr

new_scopet*& save_scopet::scope_ptr
protected

Definition at line 178 of file parse.cpp.

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