Go to the documentation of this file.
30 if(ns.
lookup(new_name, symbol))
33 std::string prefix =
id2string(new_name) + delimiter;
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
void get_new_name(symbolt &symbol, const namespacet &ns)
automated variable renaming
std::string to_string(const string_not_contains_constraintt &expr)
Used for debug printing.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See documentation for namespace_baset::lookup().
std::size_t smallest_unused_suffix(const std::string &prefix) const override
See documentation for namespace_baset::smallest_unused_suffix().
const std::string & id2string(const irep_idt &d)
irep_idt name
The unique identifier.