cprover
|
Public Member Functions | |
new_scopet () | |
bool | is_type () const |
bool | is_template () const |
bool | is_named_scope () const |
void | print (std::ostream &out) const |
irep_idt | get_anon_id () |
std::string | full_name () const |
Static Public Member Functions | |
static const char * | kind2string (kindt kind) |
Public Attributes | |
kindt | kind |
irep_idt | id |
id_mapt | id_map |
unsigned | anon_count |
new_scopet * | parent |
Protected Member Functions | |
void | print_rec (std::ostream &, unsigned indent) const |
typedef std::map<irep_idt, new_scopet> new_scopet::id_mapt |
|
strong |
|
inline |
Definition at line 156 of file parse.cpp.
References full_name(), and id2string().
Referenced by full_name().
|
inlinestatic |
|
protected |
irep_idt new_scopet::id |
Definition at line 75 of file parse.cpp.
Referenced by Parser::add_id().
id_mapt new_scopet::id_map |
Definition at line 139 of file parse.cpp.
Referenced by Parser::add_id().
kindt new_scopet::kind |
Definition at line 74 of file parse.cpp.
Referenced by Parser::add_id().
new_scopet* new_scopet::parent |
Definition at line 143 of file parse.cpp.
Referenced by Parser::add_id().