22 std::stack<const exprt *>
stack;
32 if(e.
id() == ID_symbol)
41 if(dest.insert(identifier).second)
45 else if(e.
id() == ID_next_symbol)
54 if(dest.insert(identifier).second)
const irep_idt & get_identifier() const
exprt value
Initial value of symbol.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
const irep_idt & id() const
API to expression classes.
const irep_idt & get(const irep_namet &name) const
#define forall_operands(it, expr)
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast a generic exprt to a symbol_exprt.
dstringt has one field, an unsigned integer no which is an index into a static table of strings...
std::unordered_set< irep_idt > find_macros_sett
Base class for all expressions.
void find_macros(const exprt &src, const namespacet &ns, find_macros_sett &dest)
bool lookup(const irep_idt &name, const symbolt *&symbol) const override
See namespace_baset::lookup().