cprover
|
#include <ansi_c_scope.h>
Public Types | |
typedef std::unordered_map< irep_idt, ansi_c_identifiert, irep_id_hash > | name_mapt |
Public Member Functions | |
ansi_c_scopet () | |
void | swap (ansi_c_scopet &scope) |
void | print (std::ostream &out) const |
Public Attributes | |
name_mapt | name_map |
std::string | prefix |
irep_idt | last_declarator |
unsigned | compound_counter |
unsigned | anon_counter |
Definition at line 37 of file ansi_c_scope.h.
typedef std::unordered_map<irep_idt, ansi_c_identifiert, irep_id_hash> ansi_c_scopet::name_mapt |
Definition at line 43 of file ansi_c_scope.h.
|
inline |
Definition at line 56 of file ansi_c_scope.h.
void ansi_c_scopet::print | ( | std::ostream & | out | ) | const |
Definition at line 13 of file ansi_c_scope.cpp.
|
inline |
Definition at line 58 of file ansi_c_scope.h.
References compound_counter, last_declarator, name_map, prefix, and dstringt::swap().
unsigned ansi_c_scopet::anon_counter |
Definition at line 54 of file ansi_c_scope.h.
unsigned ansi_c_scopet::compound_counter |
Definition at line 53 of file ansi_c_scope.h.
Referenced by swap().
irep_idt ansi_c_scopet::last_declarator |
Definition at line 50 of file ansi_c_scope.h.
Referenced by swap().
name_mapt ansi_c_scopet::name_map |
Definition at line 44 of file ansi_c_scope.h.
Referenced by ansi_c_parsert::add_declarator(), ansi_c_parsert::add_tag_with_body(), ansi_c_parsert::lookup(), print(), and swap().
std::string ansi_c_scopet::prefix |
Definition at line 46 of file ansi_c_scope.h.
Referenced by ansi_c_parsert::add_declarator(), ansi_c_parsert::add_tag_with_body(), ansi_c_parsert::lookup(), ansi_c_parsert::new_scope(), print(), and swap().