CBMC
Public Types | Public Member Functions | Static Public Member Functions | Public Attributes | Protected Member Functions | List of all members
new_scopet Class Reference
+ Collaboration diagram for new_scopet:

Public Types

enum  kindt {
  kindt::NONE, kindt::TEMPLATE, kindt::MEMBER, kindt::FUNCTION,
  kindt::VARIABLE, kindt::TYPEDEF, kindt::TAG, kindt::NAMESPACE,
  kindt::CLASS_TEMPLATE, kindt::MEMBER_TEMPLATE, kindt::FUNCTION_TEMPLATE, kindt::BLOCK,
  kindt::NON_TYPE_TEMPLATE_PARAMETER, kindt::TYPE_TEMPLATE_PARAMETER, kindt::TEMPLATE_TEMPLATE_PARAMETER
}
 
typedef std::map< irep_idt, new_scopet > id_mapt
 

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
 
std::size_t anon_count
 
new_scopet * parent
 

Protected Member Functions

void print_rec (std::ostream &, unsigned indent) const
 

Detailed Description

Definition at line 46 of file parse.cpp.

Member Typedef Documentation

◆ id_mapt

typedef std::map<irep_idt, new_scopet> new_scopet::id_mapt

Definition at line 136 of file parse.cpp.

Member Enumeration Documentation

◆ kindt

enum new_scopet::kindt
strong
Enumerator
NONE 
TEMPLATE 
MEMBER 
FUNCTION 
VARIABLE 
TYPEDEF 
TAG 
NAMESPACE 
CLASS_TEMPLATE 
MEMBER_TEMPLATE 
FUNCTION_TEMPLATE 
BLOCK 
NON_TYPE_TEMPLATE_PARAMETER 
TYPE_TEMPLATE_PARAMETER 
TEMPLATE_TEMPLATE_PARAMETER 

Definition at line 53 of file parse.cpp.

Constructor & Destructor Documentation

◆ new_scopet()

new_scopet::new_scopet ( )
inline

Definition at line 49 of file parse.cpp.

Member Function Documentation

◆ full_name()

std::string new_scopet::full_name ( ) const
inline

Definition at line 154 of file parse.cpp.

◆ get_anon_id()

irep_idt new_scopet::get_anon_id ( )
inline

Definition at line 148 of file parse.cpp.

◆ is_named_scope()

bool new_scopet::is_named_scope ( ) const
inline

Definition at line 90 of file parse.cpp.

◆ is_template()

bool new_scopet::is_template ( ) const
inline

Definition at line 83 of file parse.cpp.

◆ is_type()

bool new_scopet::is_type ( ) const
inline

Definition at line 75 of file parse.cpp.

◆ kind2string()

static const char* new_scopet::kind2string ( kindt  kind)
inlinestatic

Definition at line 97 of file parse.cpp.

◆ print()

void new_scopet::print ( std::ostream &  out) const
inline

Definition at line 143 of file parse.cpp.

◆ print_rec()

void new_scopet::print_rec ( std::ostream &  out,
unsigned  indent 
) const
protected

Definition at line 182 of file parse.cpp.

Member Data Documentation

◆ anon_count

std::size_t new_scopet::anon_count

Definition at line 139 of file parse.cpp.

◆ id

irep_idt new_scopet::id

Definition at line 73 of file parse.cpp.

◆ id_map

id_mapt new_scopet::id_map

Definition at line 137 of file parse.cpp.

◆ kind

kindt new_scopet::kind

Definition at line 72 of file parse.cpp.

◆ parent

new_scopet* new_scopet::parent

Definition at line 141 of file parse.cpp.

The documentation for this class was generated from the following file: