/*******************************************************************\ Module: C++ Language Type Checking Author: Daniel Kroening, [email protected] \*******************************************************************/ /// \file /// C++ Language Type Checking #include "cpp_name.h" irep_idt cpp_namet::get_base_name() const { const subt &sub=get_sub(); // find last "::" std::size_t base=0; for(std::size_t i=0; i=sub.size()) return irep_idt(); if(sub[base].id()==ID_name) return sub[base].get(ID_identifier); else if(base+1"; else str += irep.get_string(ID_identifier); } return str; }