cprover
|
#include <namespace.h>
Public Member Functions | |
multi_namespacet () | |
multi_namespacet (const symbol_tablet &symbol_table) | |
bool | lookup (const irep_idt &name, const symbolt *&symbol) const override |
See namespace_baset::lookup(). More... | |
std::size_t | smallest_unused_suffix (const std::string &prefix) const override |
See documentation for namespace_baset::smallest_unused_suffix(). More... | |
void | add (const symbol_tablet &symbol_table) |
const symbolt & | lookup (const irep_idt &name) const |
const symbolt & | lookup (const symbol_exprt &) const |
const symbolt & | lookup (const symbol_typet &) const |
const symbolt & | lookup (const tag_typet &) const |
virtual bool | lookup (const irep_idt &name, const symbolt *&symbol) const=0 |
Searches for a symbol named name . More... | |
![]() | |
namespacet (const symbol_tablet &_symbol_table) | |
namespacet (const symbol_tablet &_symbol_table1, const symbol_tablet &_symbol_table2) | |
namespacet (const symbol_tablet *_symbol_table1, const symbol_tablet *_symbol_table2) | |
const symbol_tablet & | get_symbol_table () const |
const symbolt & | lookup (const irep_idt &name) const |
const symbolt & | lookup (const symbol_exprt &) const |
const symbolt & | lookup (const symbol_typet &) const |
const symbolt & | lookup (const tag_typet &) const |
virtual bool | lookup (const irep_idt &name, const symbolt *&symbol) const=0 |
Searches for a symbol named name . More... | |
![]() | |
const symbolt & | lookup (const irep_idt &name) const |
const symbolt & | lookup (const symbol_exprt &) const |
const symbolt & | lookup (const symbol_typet &) const |
const symbolt & | lookup (const tag_typet &) const |
virtual | ~namespace_baset () |
void | follow_macros (exprt &) const |
const typet & | follow (const typet &) const |
const typet & | follow_tag (const union_tag_typet &) const |
const typet & | follow_tag (const struct_tag_typet &) const |
const typet & | follow_tag (const c_enum_tag_typet &) const |
Protected Types | |
typedef std::vector< const symbol_tablet * > | symbol_table_listt |
Protected Attributes | |
symbol_table_listt | symbol_table_list |
![]() | |
const symbol_tablet * | symbol_table1 |
const symbol_tablet * | symbol_table2 |
Definition at line 115 of file namespace.h.
|
protected |
Definition at line 141 of file namespace.h.
|
inline |
Definition at line 119 of file namespace.h.
|
inlineexplicit |
Definition at line 123 of file namespace.h.
References add().
|
inline |
Definition at line 135 of file namespace.h.
References symbol_table_list.
Referenced by multi_namespacet().
|
inline |
Definition at line 33 of file namespace.h.
const symbolt & namespace_baset::lookup |
Definition at line 50 of file namespace.cpp.
virtual bool namespace_baset::lookup |
Searches for a symbol named name
.
Iff found, set symbol
to point to the symbol and return false; else symbol
is unmodified and true
is returned. With multiple symbol tables, symbol_table1
is searched first and then symbol_table2.
const symbolt & namespace_baset::lookup |
Definition at line 40 of file namespace.cpp.
const symbolt & namespace_baset::lookup |
Definition at line 45 of file namespace.cpp.
|
overridevirtual |
See namespace_baset::lookup().
Note that namespacet has two symbol tables.
Reimplemented from namespacet.
Definition at line 178 of file namespace.cpp.
References symbol_table_list.
|
overridevirtual |
See documentation for namespace_baset::smallest_unused_suffix().
Reimplemented from namespacet.
Definition at line 168 of file namespace.cpp.
References symbol_table_list.
|
protected |
Definition at line 142 of file namespace.h.
Referenced by add(), lookup(), and smallest_unused_suffix().