cprover
|
#include <cpp_scopes.h>
Public Member Functions | |
cpp_save_scopet (cpp_scopest &_cpp_scopes) | |
~cpp_save_scopet () | |
void | restore () |
Protected Attributes | |
cpp_scopest & | cpp_scopes |
cpp_scopet * | saved_scope |
Definition at line 128 of file cpp_scopes.h.
|
inlineexplicit |
Definition at line 131 of file cpp_scopes.h.
|
inline |
Definition at line 137 of file cpp_scopes.h.
|
inline |
Definition at line 142 of file cpp_scopes.h.
|
protected |
Definition at line 148 of file cpp_scopes.h.
|
protected |
Definition at line 149 of file cpp_scopes.h.