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:

/home/runner/work/cbmc/cbmc/src/cpp/parse.cpp

new_scopet
Generated by doxygen 1.9.8