Go to the documentation of this file.
53 if(src.
id() == ID_union_tag)
56 if(src.
id() == ID_struct_tag)
101 if(expr.
id()==ID_symbol)
144 symbol_tablet::symbolst::const_iterator it;
152 symbol=&(it->second);
163 symbol=&(it->second);
180 m = std::max(m, st->next_unused_suffix(prefix));
195 symbol_tablet::symbolst::const_iterator s_it;
197 for(symbol_table_listt::const_iterator
202 s_it=(*c_it)->symbols.find(name);
204 if(s_it!=(*c_it)->symbols.end())
206 symbol=&(s_it->second);
const irep_idt & get_identifier() const
dstringt has one field, an unsigned integer no which is an index into a static table of strings.
const union_tag_typet & to_union_tag_type(const typet &type)
Cast a typet to a union_tag_typet.
const symbol_table_baset * symbol_table2
#define Forall_operands(it, expr)
const struct_typet & to_struct_type(const typet &type)
Cast a typet to a struct_typet.
#define CHECK_RETURN(CONDITION)
const c_enum_typet & to_c_enum_type(const typet &type)
Cast a typet to a c_enum_typet.
The type of an expression, extends irept.
typet type
Type of symbol.
const symbolt & lookup(const irep_idt &name) const
Lookup a symbol in the namespace.
Base class for all expressions.
A struct tag type, i.e., struct_typet with an identifier.
const union_typet & follow_tag(const union_tag_typet &) const
Follow type tag of union type.
Expression to hold a symbol (variable)
A union tag type, i.e., union_typet with an identifier.
symbol_table_listt symbol_table_list
void follow_macros(exprt &) const
Follow macros to their values in a given expression.
const symbolt & lookup(const irep_idt &name) const
Lookup a symbol in the namespace.
std::size_t smallest_unused_suffix(const std::string &prefix) const override
See documentation for namespace_baset::smallest_unused_suffix().
virtual ~namespace_baset()
const irep_idt & get_identifier() const
const symbolt & lookup(const irep_idt &name) const
Lookup a symbol in the namespace.
const symbol_exprt & to_symbol_expr(const exprt &expr)
Cast an exprt to a symbol_exprt.
const symbol_table_baset * symbol_table1
const irep_idt & id() const
const struct_tag_typet & to_struct_tag_type(const typet &type)
Cast a typet to a struct_tag_typet.
A tag-based type, i.e., typet with an identifier.
exprt value
Initial value of symbol.
Structure type, corresponds to C style structs.
C enum tag type, i.e., c_enum_typet with an identifier.
const typet & follow(const typet &) const
Resolve type symbol to the type it points to.
const symbolst & symbols
Read-only field, used to look up symbols given their names.
const union_typet & to_union_type(const typet &type)
Cast a typet to a union_typet.
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.
API to expression classes.
std::size_t smallest_unused_suffix(const std::string &prefix) const override
See documentation for namespace_baset::smallest_unused_suffix().