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.
References restore().
|
inline |
Definition at line 142 of file cpp_scopes.h.
References cpp_scopes, cpp_scopest::current_scope_ptr, and saved_scope.
Referenced by cpp_typecheckt::convert(), cpp_typecheckt::instantiate_template(), cpp_typecheckt::typecheck_class_template_member(), and ~cpp_save_scopet().
|
protected |
Definition at line 148 of file cpp_scopes.h.
Referenced by restore().
|
protected |
Definition at line 149 of file cpp_scopes.h.
Referenced by restore().