cprover
multi_namespacet Class Reference

#include <namespace.h>

Inheritance diagram for multi_namespacet:
[legend]
Collaboration diagram for multi_namespacet:
[legend]

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)
 
- Public Member Functions inherited from namespacet
 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_tabletget_symbol_table () const
 
- Public Member Functions inherited from namespace_baset
const symboltlookup (const irep_idt &name) const
 
const symboltlookup (const irept &irep) const
 
virtual ~namespace_baset ()
 
void follow_symbol (irept &irep) const
 
void follow_macros (exprt &expr) const
 
const typetfollow (const typet &src) const
 
const typetfollow_tag (const union_tag_typet &src) const
 
const typetfollow_tag (const struct_tag_typet &src) const
 
const typetfollow_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
 
- Protected Attributes inherited from namespacet
const symbol_tabletsymbol_table1
 
const symbol_tabletsymbol_table2
 

Detailed Description

Definition at line 100 of file namespace.h.

Member Typedef Documentation

§ symbol_table_listt

typedef std::vector<const symbol_tablet *> multi_namespacet::symbol_table_listt
protected

Definition at line 126 of file namespace.h.

Constructor & Destructor Documentation

§ multi_namespacet() [1/2]

multi_namespacet::multi_namespacet ( )
inline

Definition at line 104 of file namespace.h.

§ multi_namespacet() [2/2]

multi_namespacet::multi_namespacet ( const symbol_tablet symbol_table)
inlineexplicit

Definition at line 108 of file namespace.h.

References namespace_baset::get_max(), and namespace_baset::lookup().

Member Function Documentation

§ add()

void multi_namespacet::add ( const symbol_tablet symbol_table)
inline

Definition at line 120 of file namespace.h.

§ get_max()

unsigned multi_namespacet::get_max ( const std::string &  prefix) const
virtual

Reimplemented from namespacet.

Definition at line 170 of file namespace.cpp.

References namespace_baset::get_max().

§ lookup()

bool multi_namespacet::lookup ( const irep_idt name,
const symbolt *&  symbol 
) const
virtual

Reimplemented from namespacet.

Definition at line 183 of file namespace.cpp.

Member Data Documentation

§ symbol_table_list

symbol_table_listt multi_namespacet::symbol_table_list
protected

Definition at line 127 of file namespace.h.


The documentation for this class was generated from the following files: