40 <<
" '" << base_name <<
"' not found" <<
eom;
47 for(cpp_scopest::id_sett::iterator
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
cpp_scopet & current_scope()
cpp_idt & insert(const irep_idt &_base_name)
void add_using_scope(cpp_scopet &other)
id_sett lookup(const irep_idt &base_name_to_lookup, lookup_kindt kind)
void convert(cpp_linkage_spect &)
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
source_locationt source_location
C++ Language Type Checking.