namespacet Class Reference

#include <namespace.h>

Public Member Functions
virtual const symbolt *	lookup (const irep_idt &name) const
const symbolt *	lookup (const irept &irep) const
void	follow_symbol (irept &irep) const
const typet &	follow (const typet &src) const
const type2tc	follow (const type2tc &src) const
	namespacet ()=delete
virtual	~namespacet ()=default
	namespacet (const contextt &_context)
virtual unsigned	get_max (const std::string &prefix) const
const contextt &	get_context () const

Protected Attributes
const contextt *	context

Constructor & Destructor Documentation

namespacet() [1/2]

namespacet::namespacet ( )

delete

~namespacet()

virtual namespacet::~namespacet ( )

virtualdefault

namespacet() [2/2]

namespacet::namespacet ( const contextt & _context )

inline

Member Function Documentation

follow() [1/2]

const type2tc namespacet::follow ( const type2tc & src ) const

inline

follow() [2/2]

const typet & namespacet::follow

(

const typet &

src

)

const

follow_symbol()

void namespacet::follow_symbol

(

irept &

irep

)

const

get_context()

const contextt & namespacet::get_context ( ) const

inline

get_max()

unsigned namespacet::get_max ( const std::string & prefix ) const

virtual

lookup() [1/2]

const symbolt * namespacet::lookup ( const irep_idt & name ) const

virtual

lookup() [2/2]

const symbolt * namespacet::lookup ( const irept & irep ) const

inline

Member Data Documentation

context

const contextt* namespacet::context

protected

---

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

• src/util/symtab/namespace.h
• src/util/symtab/namespace.cpp