cbmc/rename_8cpp_source.html

/*******************************************************************\


Module:


Author: Daniel Kroening, kroening@kroening.com


\*******************************************************************/


#include "rename.h"


#include <string>


#include "namespace.h"


irep_idt


get_new_name(const irep_idt &name, const namespacet &ns, char delimiter)

{

  const symbolt *symbol;

  if(ns.lookup(name, symbol))

    return name;


  std::string prefix = id2string(name) + delimiter;


  return prefix + std::to_string(ns.smallest_unused_suffix(prefix));

}

get_new_name(const irep_idt &name, const namespacet &ns, char delimiter) {…}

ait
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
Definition ai.h:562

dstringt
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
Definition dstring.h:38

namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition namespace.h:91

namespacet::lookup
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See documentation for namespace_baset::lookup().
Definition namespace.cpp:134

namespacet::smallest_unused_suffix
std::size_t smallest_unused_suffix(const std::string &prefix) const override
See documentation for namespace_baset::smallest_unused_suffix().
Definition namespace.cpp:116

symbolt
Symbol table entry.
Definition symbol.h:28

id2string
const std::string & id2string(const irep_idt &d)
Definition irep.h:44

namespace.h

get_new_name
irep_idt get_new_name(const irep_idt &name, const namespacet &ns, char delimiter)
Build and identifier not yet present in the namespace ns based on name.
Definition rename.cpp:16

rename.h