cprover
|
#include <namespace.h>
Public Member Functions | |
multi_namespacet () | |
multi_namespacet (const symbol_tablet &symbol_table) | |
virtual bool | lookup (const irep_idt &name, const symbolt *&symbol) const |
virtual unsigned | get_max (const std::string &prefix) const |
void | add (const symbol_tablet &symbol_table) |
const symbolt & | lookup (const irep_idt &name) const |
const symbolt & | lookup (const irept &irep) const |
virtual bool | lookup (const irep_idt &name, const symbolt *&symbol) const=0 |
![]() | |
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 irept &irep) const |
virtual bool | lookup (const irep_idt &name, const symbolt *&symbol) const=0 |
![]() | |
const symbolt & | lookup (const irep_idt &name) const |
const symbolt & | lookup (const irept &irep) const |
virtual | ~namespace_baset () |
void | follow_symbol (irept &irep) const |
void | follow_macros (exprt &expr) const |
const typet & | follow (const typet &src) const |
const typet & | follow_tag (const union_tag_typet &src) const |
const typet & | follow_tag (const struct_tag_typet &src) const |
const typet & | follow_tag (const c_enum_tag_typet &src) 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 100 of file namespace.h.
|
protected |
Definition at line 126 of file namespace.h.
|
inline |
Definition at line 104 of file namespace.h.
|
inlineexplicit |
Definition at line 108 of file namespace.h.
References add().
|
inline |
Definition at line 120 of file namespace.h.
References symbol_table_list.
Referenced by multi_namespacet().
|
virtual |
Reimplemented from namespacet.
Definition at line 170 of file namespace.cpp.
References symbol_table_list.
|
inline |
Definition at line 38 of file namespace.h.
|
inline |
Definition at line 30 of file namespace.h.
virtual bool namespace_baset::lookup |
Reimplemented from namespacet.
Definition at line 183 of file namespace.cpp.
References symbol_table_list.
|
protected |
Definition at line 127 of file namespace.h.