#include <cpp_scope.h>

Inheritance diagram for cpp_root_scopet:

Collaboration diagram for cpp_root_scopet:

Public Member Functions
	cpp_root_scopet ()

Public Member Functions inherited from cpp_scopet
	cpp_scopet ()

id_sett	lookup (const irep_idt &base_name_to_lookup, lookup_kindt kind)

id_sett	lookup (const irep_idt &base_name_to_lookup, lookup_kindt kind, cpp_idt::id_classt identifier_class)

id_sett	lookup_identifier (const irep_idt &id, cpp_idt::id_classt identifier_class)

cpp_idt &	insert (const irep_idt &_base_name)

cpp_idt &	insert (const cpp_idt &cpp_id)

bool	contains (const irep_idt &base_name_to_lookup)

bool	is_root_scope () const

bool	is_global_scope () const

cpp_scopet &	get_parent () const

cpp_scopet &	get_global_scope ()

void	add_secondary_scope (cpp_scopet &other)

void	add_using_scope (cpp_scopet &other)

class cpp_scopet &	new_scope (const irep_idt &new_scope_name)

Public Member Functions inherited from cpp_idt
	cpp_idt ()

bool	is_class () const

bool	is_enum () const

bool	is_namespace () const

bool	is_typedef () const

bool	is_template_scope () const

cpp_idt &	get_parent () const

void	set_parent (cpp_idt &_parent)

void	clear ()

void	print (std::ostream &out, unsigned indent=0) const

void	print_fields (std::ostream &out, unsigned indent=0) const

Additional Inherited Members
Public Types inherited from cpp_scopet
enum	lookup_kindt { SCOPE_ONLY , QUALIFIED , RECURSIVE }

typedef std::set< cpp_idt * >	id_sett

Public Types inherited from cpp_idt
enum class	id_classt { UNKNOWN , SYMBOL , TYPEDEF , CLASS , ENUM , TEMPLATE , TEMPLATE_PARAMETER , NAMESPACE , BLOCK_SCOPE , TEMPLATE_SCOPE , ROOT_SCOPE }

Public Attributes inherited from cpp_idt
bool	is_member

bool	is_method

bool	is_static_member

bool	is_scope

bool	is_constructor

id_classt	id_class

irep_idt	identifier

irep_idt	base_name

irep_idt	class_identifier

exprt	this_expr

std::string	prefix

std::string	suffix

unsigned	compound_counter

Protected Types inherited from cpp_idt
typedef std::multimap< irep_idt, cpp_idt >	cpp_id_mapt

typedef std::vector< cpp_idt * >	scope_listt

Protected Member Functions inherited from cpp_scopet
void	lookup_rec (const irep_idt &base_name, lookup_kindt kind, id_sett &)

void	lookup_rec (const irep_idt &base_name, lookup_kindt kind, cpp_idt::id_classt id_class, id_sett &)

Protected Attributes inherited from cpp_idt
cpp_id_mapt	sub

scope_listt	using_scopes

scope_listt	secondary_scopes

cpp_idt *	parent

Detailed Description

Definition at line 127 of file cpp_scope.h.

Constructor & Destructor Documentation

cpp_root_scopet::cpp_root_scopet ( )

inline

Definition at line 130 of file cpp_scope.h.

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