10 #ifndef CPROVER_UTIL_NAMESPACE_H 11 #define CPROVER_UTIL_NAMESPACE_H 34 throw "identifier "+
id2string(name)+
" not found";
56 virtual unsigned get_max(
const std::string &prefix)
const=0;
89 virtual unsigned get_max(
const std::string &prefix)
const;
118 virtual unsigned get_max(
const std::string &prefix)
const;
130 #endif // CPROVER_UTIL_NAMESPACE_H The type of an expression.
const typet & follow(const typet &src) const
virtual bool lookup(const irep_idt &name, const symbolt *&symbol) const
void add(const symbol_tablet &symbol_table)
const std::string & id2string(const irep_idt &d)
const symbol_tablet & get_symbol_table() const
symbol_table_listt symbol_table_list
virtual unsigned get_max(const std::string &prefix) const =0
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
virtual unsigned get_max(const std::string &prefix) const
const symbolt & lookup(const irep_idt &name) const
virtual ~namespace_baset()
std::vector< const symbol_tablet * > symbol_table_listt
const typet & follow_tag(const union_tag_typet &src) const
void follow_macros(exprt &expr) const
namespacet(const symbol_tablet &_symbol_table1, const symbol_tablet &_symbol_table2)
const symbol_tablet * symbol_table1
const irep_idt & get(const irep_namet &name) const
namespacet(const symbol_tablet &_symbol_table)
Base class for tree-like data structures with sharing.
namespacet(const symbol_tablet *_symbol_table1, const symbol_tablet *_symbol_table2)
multi_namespacet(const symbol_tablet &symbol_table)
virtual bool lookup(const irep_idt &name, const symbolt *&symbol) const
void follow_symbol(irept &irep) const
Base class for all expressions.
const symbol_tablet * symbol_table2
const symbolt & lookup(const irept &irep) const
virtual unsigned get_max(const std::string &prefix) const