21 is_static_member(false),
37 for(cpp_id_mapt::const_iterator it=
sub.begin();
40 it->second.print(out, indent+2);
48 for(
unsigned i=0; i<indent; i++) out <<
' ';
51 for(
unsigned i=0; i<indent; i++) out <<
' ';
52 out <<
" prefix=" <<
prefix <<
'\n';
54 for(
unsigned i=0; i<indent; i++) out <<
' ';
55 out <<
" suffix=" <<
suffix <<
'\n';
57 for(
unsigned i=0; i<indent; i++) out <<
' ';
58 out <<
" base_name=" <<
base_name <<
'\n';
60 for(
unsigned i=0; i<indent; i++) out <<
' ';
63 for(
unsigned i=0; i<indent; i++) out <<
' ';
66 for(scope_listt::const_iterator
71 for(
unsigned i=0; i<indent; i++) out <<
' ';
72 out <<
" secondary_scope=" << (*it)->identifier <<
'\n';
75 for(scope_listt::const_iterator
80 for(
unsigned i=0; i<indent; i++) out <<
' ';
81 out <<
" using_scope=" << (*it)->identifier <<
'\n';
84 for(
unsigned i=0; i<indent; i++) out <<
' ';
87 out <<
" constructor";
93 out <<
" static_member";
96 for(
unsigned i=0; i<indent; i++) out <<
' ';
97 out <<
" id_class=" <<
id_class <<
'\n';
102 cpp_id.
print(out, 0);
120 default:
return out <<
"(OTHER)";
const irept & get_nil_irep()
static bool is_constructor(const irep_idt &method_name)
void print(std::ostream &out, unsigned indent=0) const
void print_fields(std::ostream &out, unsigned indent=0) const
std::ostream & operator<<(std::ostream &out, const cpp_idt &cpp_id)
C++ Language Type Checking.
irep_idt class_identifier
C++ Language Type Checking.
Base class for all expressions.
scope_listt secondary_scopes