12 #ifndef CPROVER_CPP_CPP_SCOPE_H 13 #define CPROVER_CPP_CPP_SCOPE_H 50 cpp_id_mapt::iterator it=
51 sub.insert(std::pair<irep_idt, cpp_idt>
54 it->second.base_name=_base_name;
55 it->second.set_parent(*
this);
62 cpp_id_mapt::iterator it=
63 sub.insert(std::pair<irep_idt, cpp_idt>
66 it->second.set_parent(*
this);
131 #endif // CPROVER_CPP_CPP_SCOPE_H
void lookup(const irep_idt &base_name, lookup_kindt kind, id_sett &id_set)
cpp_idt & get_parent() const
class cpp_scopet & new_scope(const irep_idt &new_scope_name)
cpp_scopet & get_parent() const
void add_secondary_scope(cpp_scopet &other)
C++ Language Type Checking.
cpp_idt & insert(const cpp_idt &cpp_id)
bool is_global_scope() const
bool contains(const irep_idt &base_name)
std::ostream & operator<<(std::ostream &out, cpp_scopet::lookup_kindt)
scope_listt secondary_scopes
bool is_root_scope() const
cpp_idt & insert(const irep_idt &_base_name)
std::set< cpp_idt * > id_sett
cpp_scopet & get_global_scope()
bool is_template_scope() const
void lookup_identifier(const irep_idt &identifier, cpp_idt::id_classt id_class, id_sett &id_set)
void add_using_scope(cpp_scopet &other)