symbol_table_base.cpp

Go to the documentation of this file.

 
#include "symbol_table_base.h"
 
#include <ostream>
#include <algorithm>
 
symbol_table_baset::~symbol_table_baset()
{
}
 
 
bool symbol_table_baset::add(const symbolt &symbol)
{
  return !insert(symbol).second;
}
 
bool symbol_table_baset::remove(const irep_idt &name)
{
  symbolst::const_iterator entry = symbols.find(name);
  if(entry == symbols.end())
    return true;
  erase(entry);
  return false;
}
 
std::vector<irep_idt> symbol_table_baset::sorted_symbol_names() const
{
  std::vector<irep_idt> sorted_names;
  sorted_names.reserve(symbols.size());
 
  for(const auto &elem : symbols)
    sorted_names.push_back(elem.first);
 
  std::sort(
    sorted_names.begin(),
    sorted_names.end(),
    [](const irep_idt &a, const irep_idt &b) { return a.compare(b) < 0; });
 
  return sorted_names;
}
 
void symbol_table_baset::show(std::ostream &out) const
{
  out << "\n"
      << "Symbols:"
      << "\n";
  for(const auto &name : sorted_symbol_names())
    out << symbols.at(name);
}
 
symbol_table_baset::const_iteratort symbol_table_baset::end() const
{
  return symbols.end();
}
 
symbol_table_baset::const_iteratort symbol_table_baset::begin() const
{
  return symbols.begin();
}
 
std::ostream &
operator<<(std::ostream &out, const symbol_table_baset &symbol_table)
{
  symbol_table.show(out);
  return out;
}