6 #ifndef CPROVER_UTIL_JOURNALLING_SYMBOL_TABLE_H 7 #define CPROVER_UTIL_JOURNALLING_SYMBOL_TABLE_H 10 #include <unordered_set> 110 std::pair<symbolt &, bool> result =
118 erase(
const symbol_tablet::symbolst::const_iterator &entry)
override 120 const irep_idt entry_name = entry->first;
177 #endif // CPROVER_UTIL_JOURNALLING_SYMBOL_TABLE_H irep_idt name
The unique identifier.
journalling_symbol_tablet(symbol_table_baset &base_symbol_table)
virtual void erase(const symbolst::const_iterator &entry)=0
Remove a symbol from the symbol table.
journalling_symbol_tablet(journalling_symbol_tablet &&other)
const symbol_base_mapt & symbol_base_map
virtual symbolt * get_writeable(const irep_idt &name)=0
Find a symbol in the symbol table for read-write access.
void on_update(const irep_idt &id)
virtual symbolt * get_writeable(const irep_idt &identifier) override
Find a symbol in the symbol table for read-write access.
void on_insert(const irep_idt &id)
virtual bool move(symbolt &symbol, symbolt *&new_symbol)=0
A symbol table wrapper that records which entries have been updated/removedA caller can pass a journa...
virtual const symbol_tablet & get_symbol_table() const override
symbol_table_baset & base_symbol_table
const changesett & get_updated() const
const changesett & get_inserted() const
const symbol_module_mapt & symbol_module_map
const changesett & get_removed() const
std::size_t next_unused_suffix(const std::string &prefix) const override
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
virtual iteratort begin()=0
virtual iteratort end() override
virtual iteratort end()=0
virtual std::pair< symbolt &, bool > insert(symbolt symbol) override
Move or copy a new symbol to the symbol table.
void on_remove(const irep_idt &id)
static journalling_symbol_tablet wrap(symbol_table_baset &base_symbol_table)
The symbol table base class interface.
std::unordered_set< irep_idt > changesett
std::size_t next_unused_suffix(const std::string &prefix, std::size_t start_number) const
Find smallest unused integer i so that prefix + std::to_string(i) does not exist in the list symbols...
virtual std::pair< symbolt &, bool > insert(symbolt symbol)=0
Move or copy a new symbol to the symbol table.
virtual void erase(const symbol_tablet::symbolst::const_iterator &entry) override
Remove a symbol from the symbol table.
virtual const symbol_tablet & get_symbol_table() const =0
virtual iteratort begin() override
virtual bool move(symbolt &symbol, symbolt *&new_symbol) override
virtual void clear() override