37 if(lower_it!=
sub.end())
42 for(cpp_id_mapt::iterator n_it=lower_it;
43 n_it!=upper_it; n_it++)
44 id_set.insert(&n_it->second);
54 for(scope_listt::iterator
70 for(scope_listt::iterator
103 std::cout <<
"K: " << kind <<
'\n';
104 std::cout <<
"I: " <<
id_class <<
'\n';
105 std::cout <<
"THIS: " << this->base_name <<
" " << this->id_class
109 cpp_id_mapt::iterator
112 if(lower_it!=
sub.end())
114 cpp_id_mapt::iterator
117 for(cpp_id_mapt::iterator n_it=lower_it;
118 n_it!=upper_it; n_it++)
120 if(n_it->second.id_class ==
id_class)
121 id_set.insert(&n_it->second);
133 for(scope_listt::iterator
149 for(scope_listt::iterator
177 for(cpp_id_mapt::iterator n_it=
sub.begin();
178 n_it!=
sub.end(); n_it++)
181 && n_it->second.id_class ==
id_class)
182 id_set.insert(&n_it->second);
190 for(std::size_t i=0; i<parents_size(); i++)
const std::string & id2string(const irep_idt &d)
void lookup(const irep_idt &base_name, lookup_kindt kind, id_sett &id_set)
class cpp_scopet & new_scope(const irep_idt &new_scope_name)
cpp_scopet & get_parent() const
std::ostream & operator<<(std::ostream &out, cpp_scopet::lookup_kindt kind)
irep_idt class_identifier
C++ Language Type Checking.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
C++ Language Type Checking.
bool contains(const irep_idt &base_name)
scope_listt secondary_scopes
bool is_root_scope() const
cpp_idt & insert(const irep_idt &_base_name)
std::set< cpp_idt * > id_sett
void lookup_identifier(const irep_idt &identifier, cpp_idt::id_classt id_class, id_sett &id_set)