23 is_static_member(false),
39 for(
const auto &s :
sub)
40 s.second.print(out, indent + 2);
48 out << std::string(indent,
' ');
51 out << std::string(indent,
' ');
52 out <<
" prefix=" <<
prefix <<
'\n';
54 out << std::string(indent,
' ');
55 out <<
" suffix=" <<
suffix <<
'\n';
57 out << std::string(indent,
' ');
58 out <<
" base_name=" <<
base_name <<
'\n';
60 out << std::string(indent,
' ');
63 out << std::string(indent,
' ');
68 out << std::string(indent,
' ');
69 out <<
" secondary_scope=" << s->identifier <<
'\n';
74 out << std::string(indent,
' ');
75 out <<
" using_scope=" << s->identifier <<
'\n';
78 out << std::string(indent,
' ');
81 out <<
" constructor";
87 out <<
" static_member";
90 out << std::string(indent,
' ');
91 out <<
" id_class=" <<
id_class <<
'\n';
void print(std::ostream &out, unsigned indent=0) const
void print_fields(std::ostream &out, unsigned indent=0) const
scope_listt secondary_scopes
irep_idt class_identifier
Base class for all expressions.
std::ostream & operator<<(std::ostream &out, const cpp_idt &cpp_id)
C++ Language Type Checking.
C++ Language Type Checking.
const irept & get_nil_irep()
static bool is_constructor(const irep_idt &method_name)
#define UNREACHABLE
This should be used to mark dead code.