cprover
new_scopet Class Reference
Collaboration diagram for new_scopet:
[legend]

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_scopetid_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
 
unsigned anon_count
 
new_scopetparent
 

Protected Member Functions

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

Detailed Description

Definition at line 48 of file parse.cpp.

Member Typedef Documentation

§ id_mapt

Definition at line 138 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 55 of file parse.cpp.

Constructor & Destructor Documentation

§ new_scopet()

new_scopet::new_scopet ( )
inline

Definition at line 51 of file parse.cpp.

Member Function Documentation

§ full_name()

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

Definition at line 156 of file parse.cpp.

References full_name(), and id2string().

Referenced by full_name().

§ get_anon_id()

irep_idt new_scopet::get_anon_id ( )
inline

Definition at line 150 of file parse.cpp.

§ is_named_scope()

bool new_scopet::is_named_scope ( ) const
inline

Definition at line 92 of file parse.cpp.

§ is_template()

bool new_scopet::is_template ( ) const
inline

Definition at line 85 of file parse.cpp.

§ is_type()

bool new_scopet::is_type ( ) const
inline

Definition at line 77 of file parse.cpp.

§ kind2string()

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

Definition at line 99 of file parse.cpp.

§ print()

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

Definition at line 145 of file parse.cpp.

§ print_rec()

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

Definition at line 184 of file parse.cpp.

References id_map.

Member Data Documentation

§ anon_count

unsigned new_scopet::anon_count

Definition at line 141 of file parse.cpp.

§ id

irep_idt new_scopet::id

Definition at line 75 of file parse.cpp.

Referenced by Parser::add_id().

§ id_map

id_mapt new_scopet::id_map

Definition at line 139 of file parse.cpp.

Referenced by Parser::add_id().

§ kind

kindt new_scopet::kind

Definition at line 74 of file parse.cpp.

Referenced by Parser::add_id().

§ parent

new_scopet* new_scopet::parent

Definition at line 143 of file parse.cpp.

Referenced by Parser::add_id().


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