CBMC
Loading...
Searching...
No Matches
Public Member Functions | Protected Attributes | List of all members
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_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:
  • /home/runner/work/cbmc/cbmc/src/cpp/parse.cpp

AltStyle によって変換されたページ (->オリジナル) /