cpp_name.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module: C++ Language Type Checking
 
Author: Daniel Kroening, kroening@cs.cmu.edu
 
\*******************************************************************/
 
 
#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(); i++)
  {
    if(sub[i].id()=="::")
      base=i+1;
  }
 
  if(base>=sub.size())
    return irep_idt();
 
  if(sub[base].id()==ID_name)
    return sub[base].get(ID_identifier);
  else if(base+1<sub.size() && sub[base].id()==ID_operator)
    return "operator"+sub[base+1].id_string();
  else if(base+1<sub.size() && sub[base].id()=="~" && sub[base+1].id()==ID_name)
    return "~"+sub[base+1].get_string(ID_identifier);
 
  return irep_idt();
}
irep_idt cpp_namet::get_base_name() const {…}
 
#if 0
void cpp_namet::convert(
  std::string &identifier,
  std::string &base_name) const
{
  for(const auto &irep : get_sub())
  {
    const irep_idt id = irep.id();
 
    std::string name_component;
 
    if(id==ID_name)
      name_component = irep.get_string(ID_identifier);
    else if(id==ID_template_args)
    {
      std::stringstream ss;
      ss << location() << '\n';
      ss << "no template arguments allowed here";
      throw ss.str();
    }
    else
      name_component = irep.id_string();
 
    identifier+=name_component;
 
    if(id=="::")
      base_name.clear();
    else
      base_name+=name_component;
  }
}
#endif
 
std::string cpp_namet::to_string() const
{
  std::string str;
 
  for(const auto &irep : get_sub())
  {
    if(irep.id() == "::")
      str += irep.id_string();
    else if(irep.id() == ID_template_args)
      str += "<...>";
    else
      str += irep.get_string(ID_identifier);
  }
 
  return str;
}
std::string cpp_namet::to_string() const {…}