31 const auto id_set =
cpp_scopes.current_scope().lookup(
39 error() <<
"using " << (using_directive ?
"namespace" :
"identifier")
40 <<
" '" << base_name <<
"' not found" <<
eom;
47 for(cpp_scopest::id_sett::iterator
bool is_qualified() const
const source_locationt & source_location() const
cpp_scopet & resolve_scope(const cpp_namet &cpp_name, irep_idt &base_name, cpp_template_args_non_tct &template_args)
void convert(cpp_linkage_spect &)
friend class cpp_typecheck_resolvet
bool get_namespace() const
source_locationt source_location
C++ Language Type Checking.