multi_namespacet Class Reference

#include <namespace.h>

Inheritance diagram for multi_namespacet:

Collaboration diagram for multi_namespacet:

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
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_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
Public Member Functions inherited from namespace_baset
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
Protected Attributes inherited from namespacet
const symbol_tablet *	symbol_table1
const symbol_tablet *	symbol_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 add().

Member Function Documentation

add()

void multi_namespacet::add ( const symbol_tablet &  symbol_table )

inline

Definition at line 120 of file namespace.h.

References symbol_table_list.

Referenced by multi_namespacet().

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 symbol_table_list.

lookup() [1/4]

const symbolt& namespace_baset::lookup

inline

Definition at line 38 of file namespace.h.

lookup() [2/4]

const symbolt& namespace_baset::lookup

inline

Definition at line 30 of file namespace.h.

lookup() [3/4]

virtual bool namespace_baset::lookup

lookup() [4/4]

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

virtual

Reimplemented from namespacet.

Definition at line 183 of file namespace.cpp.

References symbol_table_list.

Member Data Documentation

symbol_table_list

symbol_table_listt multi_namespacet::symbol_table_list

protected

Definition at line 127 of file namespace.h.

Referenced by add(), get_max(), and lookup().

---

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

• util/namespace.h
• util/namespace.cpp