#include <CCSemantic.h>

Inheritance diagram for Puma::CCSemantic:

Public Types
enum	MemberAccessOperator { MAO_NONE = 0 , MAO_PTS , MAO_DOT }

Public Member Functions
	CCSemantic (CCSyntax &, CCBuilder &)

void	init (CSemDatabase &, Unit &)
	Initialize the semantic analysis. More...

void	init (CSemDatabase &, Unit &, CStructure , bool, bool, CCInstantiation )

CCInstantiation *	Instantiation () const

virtual CTree *	access_spec ()

virtual CTree *	typedef_name ()

virtual CTree *	class_name ()

virtual CTree *	enum_name ()

virtual CTree *	condition ()

virtual CTree *	colon_colon ()

virtual CTree *	decl_spec_seq1 ()

virtual CTree *	nested_name_spec ()

virtual CTree *	nested_name_spec1 ()

virtual CTree *	valid_id_expr ()

virtual CTree *	postfix_expr1 ()

virtual CTree *	postfix_expr2 ()

virtual CTree *	pseudo_dtor_name ()

virtual CTree *	simple_type_spec ()

virtual CTree *	direct_new_declarator ()

virtual CTree *	class_spec_err ()

virtual CTree *	member_decl1 ()

virtual CTree *	member_declarator_err ()

virtual void	declarator_id (bool)

virtual CTree *	finish_init_declarator ()

virtual CTree *	obj_decl (CTree *)

virtual bool	implicit_int ()

virtual CTree *	init_declarator ()

virtual CTree *	const_expr ()

virtual CTree *	enumerator_def ()

virtual CTree *	pure_spec ()

virtual CTree *	const_init ()

virtual CTree *	template_param ()

virtual CTree *	class_spec ()

virtual CTree *	ctor_init ()

virtual CTree *	handler ()

virtual CTree *	exception_spec ()

virtual CTree *	introduce_orig_ns ()

virtual CTree *	introduce_ns_extension ()

virtual CTree *	introduce_unnamed_ns ()

virtual CTree *	introduce_ns_alias ()

virtual CTree *	namespace_def ()

virtual CTree *	original_ns_name ()

virtual CTree *	namespace_alias ()

virtual CTree *	using_directive ()

virtual CTree *	using_decl ()

virtual CTree *	access_decl (CTree *=0)

virtual CTree *	introduce_type_param ()

virtual CTree *	introduce_non_type_param ()

virtual CTree *	introduce_template_instance ()

virtual CTree *	template_param_list ()

virtual CTree *	template_decl ()

virtual CTree *	template_name (bool class_only=false)

virtual CTree *	template_key ()

virtual CTree *	explicit_instantiation ()

virtual CTree *	explicit_specialization ()

virtual CTree *	introduce_enum ()

virtual CTree *	introduce_enumerator ()

virtual CTree *	introduce_object (CTree *=0)

virtual CTree *	introduce_named_type ()

virtual CTree *	introduce_function ()

virtual CTree *	introduce_parameter ()

virtual CTree *	introduce_class ()

virtual CTree *	introduce_member ()

virtual CTree *	introduce_tag ()

virtual CTree *	introduce_exception ()

void	enter_param_decl_clause ()
	Enter a function parameter declaration clause. More...

void	enter_template_param_list (Syntax::State)

void	enter_base_spec ()

void	enter_class_def ()

void	enter_template_decl ()

void	enter_member_access (MemberAccessOperator)

void	enter_postfix_expr ()

void	enter_exception_spec ()

void	enter_template_arg_list (Syntax::State)

void	enter_conv_type_id ()

void	enter_entity_name (bool v=true)

void	enter_nested_name ()

bool	enter_expr ()

void	enter_extern_decl (bool block_decl)

void	leave_param_decl_clause ()
	Leave a function parameter declaration clause. More...

void	leave_template_param_list ()

void	leave_base_spec ()

void	leave_class_def (bool reject=false)

void	leave_member_access ()

void	leave_postfix_expr ()

void	leave_exception_spec ()

void	leave_template_arg_list ()

void	leave_conv_type_id ()

void	leave_entity_name ()

void	leave_nested_name ()

bool	leave_expr ()

void	leave_extern_decl ()

bool	in_base_spec () const

bool	in_class_def () const

bool	in_conv_type_id () const

bool	in_nested_name () const

bool	in_expr () const

bool	in_extern_decl () const

bool	is_entity_name () const

Syntax::State	in_template_param_list () const

Syntax::State	in_template_arg_list () const

virtual CProtection::Type	protection () const

bool	non_project_loc ()

bool	non_primary_loc ()

bool	skip_tpl_fct_bodies () const

bool	reset_search_scope (bool=false)

CStructure *	array_delim (CStructure *=0)

CStructure *	conv_fct_id (CStructure *=0)

CTree *	postfix_expr ()

virtual void	parse_delayed (bool(CCSyntax::)(), CTree )

virtual CTree *	add_base_classes ()

Public Member Functions inherited from Puma::CSemantic
	CSemantic (CSyntax &, CBuilder &)

virtual void	init (CSemDatabase &, Unit &)
	Initialize the semantic analysis. More...

void	configure (Config &)
	Configure the semantic analysis. More...

virtual CTree *	id_expr ()

virtual CTree *	typedef_name ()

virtual CTree *	init_declarator ()

virtual CTree *	abst_declarator ()

virtual CTree *	direct_abst_declarator ()

virtual CTree *	param_decl_clause ()

virtual CTree *	finish_fct_def ()

virtual CTree *	arg_decl_seq ()

virtual CTree *	decl_spec_seq1 ()

virtual CTree *	decl_spec_seq_err ()

virtual CTree *	declare_parameter ()

virtual CTree *	identifier_list ()

virtual bool	finish_param_check (bool)

virtual CTree *	begin_decl ()

virtual CTree *	array_delim ()

virtual CTree *	enumerator_def ()

virtual CTree *	trans_unit ()

virtual CTree *	class_spec ()

virtual CTree *	cmpd_stmt ()

virtual CTree *	select_stmt ()

virtual CTree *	iter_stmt ()

virtual void	introduce_label (CTree *&)

virtual CTree *	introduce_object (CTree *=0)

virtual CTree *	introduce_named_type ()

virtual CTree *	introduce_enum ()

virtual CTree *	introduce_enumerator ()

virtual CTree *	introduce_function ()

virtual CTree *	introduce_parameter ()

virtual CTree *	introduce_class ()

virtual CTree *	introduce_member ()

virtual CTree *	introduce_tag ()

void	enter_arg_decl_seq ()

void	leave_arg_decl_seq ()

void	begin_param_check ()

bool	in_arg_decl_seq () const

bool	decl_spec_seq ()

bool	empty_decl_spec_seq ()

virtual bool	implicit_int ()

virtual CProtection::Type	protection () const

void	reenter_class_scope ()

void	enter_scope (CStructure *scp)
	Enter the given scope. More...

void	reenter_scope (CStructure *scp)
	Reenter the given scope. More...

void	leave_scopes ()
	Leave all scopes entered up to the current scope. More...

Public Member Functions inherited from Puma::Semantic
virtual void	init (CSemDatabase &db, Unit &file)
	Initialize the semantic analysis. More...

virtual void	configure (Config &c)
	Configure the semantic analysis. More...

void	error_sink (ErrorSink &e)
	Set the error output stream object. More...

void	undo (CTree *tree)
	Undo the declaration analysis of the given syntax tree node. More...

CTree *	PrivateName ()
	Create a new anonymous (private) name. More...

void	save_state ()
	Save the current semantic analysis state. More...

void	forget_state ()
	Discard the saved semantic analysis state. More...

void	restore_state ()
	Restore the saved semantic analysis state. More...

CFileInfo *	getFile ()
	Get the root node of the semantic tree. More...

void	enter_local_scope ()
	Enter a local scope. More...

virtual void	leave_scopes ()
	Leave all scopes entered up to the current scope. More...

virtual void	enter_param_decl_clause ()
	Enter a function parameter declaration clause. More...

virtual void	leave_param_decl_clause ()
	Leave a function parameter declaration clause. More...

bool	in_param_decl_clause ()
	Check if in the declaration of a function parameter clause. More...

void	finish_decl ()
	Finish the analysis of the current declaration. More...

void	finish_declarator ()
	Finish the analysis of the current declarator. More...

Public Member Functions inherited from Puma::PtrStack< CObjectInfo >
	PtrStack (long size=8192, long incr=8192)
	Construct a new layered stack. More...

virtual	~PtrStack ()
	Destructor. More...

void	Push (const CObjectInfo *item)
	Add a new item on the top of the current layer. More...

void	Pop ()
	Remove the top item from the current layer. More...

CObjectInfo *	Top () const
	Get the top item from the current layer. More...

long	Length () const
	Get the number of items added to the current layer. More...

CObjectInfo *	Get (long n) const
	Get the n-th item on the current layer. More...

void	New ()
	Create a new layer. More...

void	Forget ()
	Remove the top layer and add its items to the underlying layer. More...

void	Reject ()
	Remove the top layer. More...

void	Destroy ()
	Remove the top layer and delete its items. More...

long	Stacks () const
	Get the number of layers. More...

void	Reset ()
	Remove all layers. More...

Public Attributes
CStructure *	search_scope

CStructure *	last_search_scope

CStructure *	last_scope

bool	dep_nested_name

const Token *	tok

CStructure *	scope

bool	nested

bool	nested_name

bool	base_spec

Protected Member Functions
virtual CCBuilder &	builder () const

virtual CCSyntax &	syntax () const

virtual void	Delete ()
	Delete the top item on the semantic stack. More...

CTree *	createDelayedParse (bool(CCSyntax::)(), CTree )

void	parseDelayed ()

void	instantiateDelayed (CT_DelayedParse , CTree )

void	enter_scope (CStructure *)
	Enter the given scope. More...

void	deleteContainer (int)

void	setQualName (CObjectInfo , CObjectInfo ) const

CStructure *	getQualifiedScope (CStructure *scope) const

CTypeInfo *	resolveExpr (CTree , CTree =(CTree *) 0) const

void	calculateAddress (CTree *) const

CObjectInfo *	getLastResolvedName (CT_SimpleName *) const

CStructure *	getNameScope (CT_SimpleName *, bool=true) const

CStructure *	getScope (CObjectInfo *obj) const

CStructure *	getFriendScope (bool skip_tpl_scope=false) const

CStructure *	getNonTplScope (bool consider_instance_scope=false) const

CClassInfo *	getOutermostIncompleteParsedRecord ()

Token *	getCloseCurly ()

void	qualifiedScopeName (CT_SimpleName *, std::ostringstream &) const

bool	isQualName (CT_SimpleName *) const

bool	realTypedef (CObjectInfo *) const

bool	equalType (CTypeInfo , CTypeInfo , bool=true) const

void	lookupName (const Token , CStructure , bool)

bool	isClassOrEnum (CObjectInfo *) const

bool	inTemplateDecl (CScopeInfo *scope) const

void	introduceTemplate (CObjectInfo , CTemplateInfo , bool is_friend=false)

void	setTemplateScope (CCNameLookup &, CObjectInfo , CTypeInfo , CTemplateInfo *, bool)

bool	isSpecialization (CTree *) const

void	setSpecializationName (CTree , CTemplateInfo ) const

bool	matchArguments (CT_TemplateName n1, CT_TemplateName n2) const

CLinkage::Type	determine_linkage (CSemDeclSpecs , SemObjType, CObjectInfo =(CObjectInfo *) 0) const

CStorage::Type	determine_storage_class (CSemDeclSpecs *) const

void	setLanguage (CObjectInfo *) const

void	setProtection (CObjectInfo *) const

void	linkFctDecls (CCNameLookup &, CObjectInfo *) const

void	linkCtorDecls (CObjectInfo *) const

void	addImplicitThisObject (CFunctionInfo , CTypeInfo , CTree *)

void	declareNamespaceStd ()

void	declareImplicitFcts ()

void	declareSpecialMembers ()

CFunctionInfo *	createMethod (const char , CRecord , CTypeInfo *)

bool	isRefToClass (CTypeInfo , CRecord ) const

bool	isBaseClass (CClassInfo , CClassInfo ) const

void	addBaseClasses (CClassInfo , CT_ClassDef )

void	addBaseClass (CClassInfo , CT_BaseSpec )

virtual bool	check_function_lookup (CCNameLookup &, CStructure , CSemDeclSpecs , CCSemDeclarator &, CTree *, bool)

virtual bool	check_member_lookup (CCNameLookup &, CStructure , CSemDeclSpecs , CCSemDeclarator &, CTree *, bool &, bool)

virtual bool	check_object_lookup (CCNameLookup &, CStructure , CSemDeclSpecs , CCSemDeclarator &, CTree , bool &, CObjectInfo &)

Protected Member Functions inherited from Puma::CSemantic
void	declareImplicitFcts ()

virtual CBuilder &	builder () const

virtual CSyntax &	syntax () const

virtual void	Delete ()
	Delete the top item on the semantic stack. More...

CObjectInfo *	lookup (const char *, SemObjType, bool=false) const

CObjectInfo *	lookup (CT_SimpleName *, SemObjType, bool=false) const

CObjectInfo *	lookup (const char , CStructure , SemObjType, bool) const

CObjectInfo *	lookupBuiltin (const char *name) const

CLinkage::Type	determine_linkage (CSemDeclSpecs , SemObjType, CObjectInfo =(CObjectInfo *) 0) const

CStorage::Type	determine_storage_class (CSemDeclSpecs *, SemObjType, CLinkage::Type) const

bool	typeMatch (CTypeInfo , CTypeInfo ) const

CStructure *	findParent () const

void	setSpecifiers (CObjectInfo , CSemDeclSpecs ) const

bool	isRedefiningTypedef (CObjectInfo *, int obj_type) const

bool	isRedefinedFunction (CFunctionInfo *) const

CAttributeInfo *	createAttribute (const char , CStructure , CTypeInfo *, bool=false)

CTypedefInfo *	createTypedef (const char , CStructure , CTypeInfo *)

void	createParameter (CFunctionInfo , CTypeInfo )

CFunctionInfo *	createFunction (const char , CStructure , CTypeInfo *)

CTypeInfo *	resolveExpr (CTree expr, CTree base) const

Protected Member Functions inherited from Puma::Semantic
	Semantic ()
	Constructor. More...

virtual	~Semantic ()
	Destructor. More...

void	common_settings (CObjectInfo info, CTree tree)
	Apply command settings on the given semantic object. More...

void	common_settings (CObjectInfo info, CTree tree, CSemDeclarator *d)
	Apply command settings on the given semantic object. More...

virtual void	Delete ()
	Delete the top item on the semantic stack. More...

void	Push (CObjectInfo *info)
	Push the given semantic information object on the semantic stack. More...

bool	in_decl () const
	Check if currently analysing a declaration. More...

void	decl_begin (CSemDeclSpecs *ds)
	Begin analysing a declaration. More...

void	decl_end ()
	Finish analysing a declaration. More...

void	decl_specs_begin (CT_DeclSpecSeq *dss)
	Begin analysing a declaration specifier sequence. More...

void	decl_specs_end ()
	Finish analysing a declaration specifier sequence. More...

CSemDeclSpecs *	sem_decl_specs () const
	Get the semantic information for the currently analysed declaration specifier sequence. More...

CT_DeclSpecSeq *	decl_specs () const
	Get the currently analysed declaration specifier sequence. More...

virtual void	enter_scope (CStructure *scope)
	Enter the given scope. More...

virtual void	reenter_scope (CStructure *scope)
	Reenter the given scope. More...

Protected Member Functions inherited from Puma::PtrStack< CObjectInfo >
virtual void	Remove ()
	Remove the top item of the current layer. More...

Protected Attributes
CRecord *	_outermost_class_def

Stack< bool >	_in_base_spec

Stack< bool >	_in_nested_name

Stack< bool >	_in_conv_type_id

Stack< const char * >	_in_extern_decl

Stack< CProtection::Type >	_protection

CCNameLookup	shared_nl

struct {
const Token * tok

CStructure * scope

bool nested

bool nested_name

bool base_spec

}	last_token_nl

Stack< Syntax::State >	_in_template_arg_list

Stack< Syntax::State >	_in_template_param_list

Stack< bool >	parsing_entity_name

Stack< bool >	_in_expr

Stack< CTree * >	_postfix_expr

Stack< MemberAccessOperator >	_in_memb_access_expr

bool	expect_template

bool	parsing_fct_inst

bool	parsing_class_inst

bool	real_inst

CCInstantiation *	tpl_inst

Unit *	_last_unit

bool	_last_body_skipped

Protected Attributes inherited from Puma::CSemantic
bool	in_arg_decl

bool	_in_arg_decl_seq

bool	is_type_name

bool	support_implicit_int

PtrStack< CStructure >	non_record_scopes

Protected Attributes inherited from Puma::Semantic
CSemDatabase *	_db
	Database of all semantic objects of the semantic tree. More...

CFileInfo *	_file
	Top level semantic object representing the file scope. More...

ErrorSink *	_err
	Error output stream. More...

long	_Anonymous
	Counter for generating anonymous (private) names. More...

CEnumInfo *	current_enum
	The current enumeration, if inside the definition of an enumeration. More...

CStructure *	current_fct
	The current function, if inside the definition of a function. More...

CStructure *	current_scope
	The current scope. More...

BCStack< CSemDeclSpecs *, 256 >	_sem_decl_specs
	Stack for the type analysis of declarations. More...

BCStack< CT_DeclSpecSeq *, 256 >	_decl_specs
	Stack for collecting declaration specifiers. More...

BCStack< bool, 256 >	_in_param_decl_clause
	Stack for the state of analysing a function parameter list. More...

BCStack< bool, 256 >	_in_decl
	Stack for the state of analysing a declaration. More...

Additional Inherited Members
Protected Types inherited from Puma::CSemantic
enum	SemObjType { CLASS , UNION , ENUM , TYPEDEF , FCT , ATTRIB , ARG , TAG , NON_TAG , ANY }

Member Enumeration Documentation

◆ MemberAccessOperator

enum Puma::CCSemantic::MemberAccessOperator

Enumerator
MAO_NONE
MAO_PTS
MAO_DOT

Constructor & Destructor Documentation

◆ CCSemantic()

Puma::CCSemantic::CCSemantic	(	CCSyntax &	,
		CCBuilder &
	)

Member Function Documentation

◆ access_decl()

virtual CTree * Puma::CCSemantic::access_decl ( CTree * = 0 )

virtual

◆ access_spec()

virtual CTree * Puma::CCSemantic::access_spec ( )

virtual

◆ add_base_classes()

virtual CTree * Puma::CCSemantic::add_base_classes ( )

virtual

◆ addBaseClass()

void Puma::CCSemantic::addBaseClass	(	CClassInfo *	,
		CT_BaseSpec *
	)

protected

◆ addBaseClasses()

void Puma::CCSemantic::addBaseClasses	(	CClassInfo *	,
		CT_ClassDef *
	)

protected

◆ addImplicitThisObject()

void Puma::CCSemantic::addImplicitThisObject	(	CFunctionInfo *	,
		CTypeInfo *	,
		CTree *
	)

protected

◆ array_delim()

CStructure * Puma::CCSemantic::array_delim ( CStructure * = 0 )

◆ builder()

CCBuilder & Puma::CCSemantic::builder ( ) const

inlineprotectedvirtual

Reimplemented from Puma::CSemantic.

Reimplemented in Puma::InstantiationSemantic.

◆ calculateAddress()

void Puma::CCSemantic::calculateAddress ( CTree * ) const

protected

◆ check_function_lookup()

virtual bool Puma::CCSemantic::check_function_lookup	(	CCNameLookup &	,
		CStructure *	,
		CSemDeclSpecs *	,
		CCSemDeclarator &	,
		CTree *	,
		bool
	)

protectedvirtual

◆ check_member_lookup()

virtual bool Puma::CCSemantic::check_member_lookup	(	CCNameLookup &	,
		CStructure *	,
		CSemDeclSpecs *	,
		CCSemDeclarator &	,
		CTree *	,
		bool &	,
		bool
	)

protectedvirtual

◆ check_object_lookup()

virtual bool Puma::CCSemantic::check_object_lookup	(	CCNameLookup &	,
		CStructure *	,
		CSemDeclSpecs *	,
		CCSemDeclarator &	,
		CTree *	,
		bool &	,
		CObjectInfo *&
	)

protectedvirtual

◆ class_name()

virtual CTree * Puma::CCSemantic::class_name ( )

virtual

◆ class_spec()

virtual CTree * Puma::CCSemantic::class_spec ( )

virtual

Reimplemented from Puma::CSemantic.

◆ class_spec_err()

virtual CTree * Puma::CCSemantic::class_spec_err ( )

virtual

◆ colon_colon()

virtual CTree * Puma::CCSemantic::colon_colon ( )

virtual

◆ condition()

virtual CTree * Puma::CCSemantic::condition ( )

virtual

◆ const_expr()

virtual CTree * Puma::CCSemantic::const_expr ( )

virtual

◆ const_init()

virtual CTree * Puma::CCSemantic::const_init ( )

virtual

◆ conv_fct_id()

CStructure * Puma::CCSemantic::conv_fct_id ( CStructure * = 0 )

◆ createDelayedParse()

CTree * Puma::CCSemantic::createDelayedParse	(	bool(CCSyntax::*)()	,
		CTree *
	)

protected

◆ createMethod()

CFunctionInfo * Puma::CCSemantic::createMethod	(	const char *	,
		CRecord *	,
		CTypeInfo *
	)

protected

◆ ctor_init()

virtual CTree * Puma::CCSemantic::ctor_init ( )

virtual

◆ decl_spec_seq1()

virtual CTree * Puma::CCSemantic::decl_spec_seq1 ( )

virtual

Reimplemented from Puma::CSemantic.

◆ declarator_id()

virtual void Puma::CCSemantic::declarator_id ( bool )

virtual

◆ declareImplicitFcts()

void Puma::CCSemantic::declareImplicitFcts ( )

protected

◆ declareNamespaceStd()

void Puma::CCSemantic::declareNamespaceStd ( )

protected

◆ declareSpecialMembers()

void Puma::CCSemantic::declareSpecialMembers ( )

protected

◆ Delete()

virtual void Puma::CCSemantic::Delete ( )

protectedvirtual

Delete the top item on the semantic stack.

To be implemented by derived classes.

Reimplemented from Puma::CSemantic.

◆ deleteContainer()

void Puma::CCSemantic::deleteContainer ( int )

protected

◆ determine_linkage()

CLinkage::Type Puma::CCSemantic::determine_linkage	(	CSemDeclSpecs *	,
		SemObjType	,
		CObjectInfo *	= `(CObjectInfo *) 0`
	)		const

protected

◆ determine_storage_class()

CStorage::Type Puma::CCSemantic::determine_storage_class ( CSemDeclSpecs * ) const

protected

◆ direct_new_declarator()

virtual CTree * Puma::CCSemantic::direct_new_declarator ( )

virtual

◆ enter_base_spec()

void Puma::CCSemantic::enter_base_spec ( )

inline

◆ enter_class_def()

void Puma::CCSemantic::enter_class_def ( )

◆ enter_conv_type_id()

void Puma::CCSemantic::enter_conv_type_id ( )

inline

◆ enter_entity_name()

void Puma::CCSemantic::enter_entity_name ( bool v = true )

inline

◆ enter_exception_spec()

void Puma::CCSemantic::enter_exception_spec ( )

◆ enter_expr()

bool Puma::CCSemantic::enter_expr ( )

inline

◆ enter_extern_decl()

void Puma::CCSemantic::enter_extern_decl ( bool block_decl )

◆ enter_member_access()

void Puma::CCSemantic::enter_member_access ( MemberAccessOperator mao )

inline

◆ enter_nested_name()

void Puma::CCSemantic::enter_nested_name ( )

inline

◆ enter_param_decl_clause()

void Puma::CCSemantic::enter_param_decl_clause ( )

virtual

Enter a function parameter declaration clause.

Reimplemented from Puma::Semantic.

◆ enter_postfix_expr()

void Puma::CCSemantic::enter_postfix_expr ( )

inline

◆ enter_scope()

void Puma::CCSemantic::enter_scope ( CStructure * scope )

protectedvirtual

Enter the given scope.

Sets the parent of the entered scope to the current scope.

Parameters

scope The scope to enter.

Reimplemented from Puma::Semantic.

◆ enter_template_arg_list()

void Puma::CCSemantic::enter_template_arg_list ( Syntax::State state )

inline

◆ enter_template_decl()

void Puma::CCSemantic::enter_template_decl ( )

◆ enter_template_param_list()

void Puma::CCSemantic::enter_template_param_list ( Syntax::State )

◆ enum_name()

virtual CTree * Puma::CCSemantic::enum_name ( )

virtual

◆ enumerator_def()

virtual CTree * Puma::CCSemantic::enumerator_def ( )

virtual

Reimplemented from Puma::CSemantic.

◆ equalType()

bool Puma::CCSemantic::equalType	(	CTypeInfo *	,
		CTypeInfo *	,
		bool	= `true`
	)		const

protected

◆ exception_spec()

virtual CTree * Puma::CCSemantic::exception_spec ( )

virtual

◆ explicit_instantiation()

virtual CTree * Puma::CCSemantic::explicit_instantiation ( )

virtual

◆ explicit_specialization()

virtual CTree * Puma::CCSemantic::explicit_specialization ( )

virtual

◆ finish_init_declarator()

virtual CTree * Puma::CCSemantic::finish_init_declarator ( )

virtual

◆ getCloseCurly()

Token * Puma::CCSemantic::getCloseCurly ( )

protected

◆ getFriendScope()

CStructure * Puma::CCSemantic::getFriendScope ( bool skip_tpl_scope = false ) const

protected

◆ getLastResolvedName()

CObjectInfo * Puma::CCSemantic::getLastResolvedName ( CT_SimpleName * ) const

protected

◆ getNameScope()

CStructure * Puma::CCSemantic::getNameScope	(	CT_SimpleName *	,
		bool	= `true`
	)		const

protected

◆ getNonTplScope()

CStructure * Puma::CCSemantic::getNonTplScope ( bool consider_instance_scope = false ) const

protected

◆ getOutermostIncompleteParsedRecord()

CClassInfo * Puma::CCSemantic::getOutermostIncompleteParsedRecord ( )

protected

◆ getQualifiedScope()

CStructure * Puma::CCSemantic::getQualifiedScope ( CStructure * scope ) const

protected

◆ getScope()

CStructure * Puma::CCSemantic::getScope ( CObjectInfo * obj ) const

protected

◆ handler()

virtual CTree * Puma::CCSemantic::handler ( )

virtual

◆ implicit_int()

virtual bool Puma::CCSemantic::implicit_int ( )

virtual

Reimplemented from Puma::CSemantic.

◆ in_base_spec()

bool Puma::CCSemantic::in_base_spec ( ) const

inline

◆ in_class_def()

bool Puma::CCSemantic::in_class_def ( ) const

inline

◆ in_conv_type_id()

bool Puma::CCSemantic::in_conv_type_id ( ) const

inline

◆ in_expr()

bool Puma::CCSemantic::in_expr ( ) const

inline

◆ in_extern_decl()

bool Puma::CCSemantic::in_extern_decl ( ) const

inline

◆ in_nested_name()

bool Puma::CCSemantic::in_nested_name ( ) const

inline

◆ in_template_arg_list()

Syntax::State Puma::CCSemantic::in_template_arg_list ( ) const

inline

◆ in_template_param_list()

Syntax::State Puma::CCSemantic::in_template_param_list ( ) const

inline

◆ init() [1/2]

void Puma::CCSemantic::init	(	CSemDatabase &	db,
		Unit &	file
	)

virtual

Initialize the semantic analysis.

Parameters

db	The semantic object database.
file	The input file.

Reimplemented from Puma::CSemantic.

◆ init() [2/2]

void Puma::CCSemantic::init	(	CSemDatabase &	,
		Unit &	,
		CStructure *	,
		bool	,
		bool	,
		CCInstantiation *
	)

◆ init_declarator()

virtual CTree * Puma::CCSemantic::init_declarator ( )

virtual

Reimplemented from Puma::CSemantic.

◆ instantiateDelayed()

void Puma::CCSemantic::instantiateDelayed	(	CT_DelayedParse *	,
		CTree *
	)

protected

◆ Instantiation()

CCInstantiation * Puma::CCSemantic::Instantiation ( ) const

inline

◆ inTemplateDecl()

bool Puma::CCSemantic::inTemplateDecl ( CScopeInfo * scope ) const

protected

◆ introduce_class()

virtual CTree * Puma::CCSemantic::introduce_class ( )

virtual

Reimplemented from Puma::CSemantic.

Reimplemented in Puma::InstantiationSemantic.

◆ introduce_enum()

virtual CTree * Puma::CCSemantic::introduce_enum ( )

virtual

Reimplemented from Puma::CSemantic.

◆ introduce_enumerator()

virtual CTree * Puma::CCSemantic::introduce_enumerator ( )

virtual

Reimplemented from Puma::CSemantic.

◆ introduce_exception()

virtual CTree * Puma::CCSemantic::introduce_exception ( )

virtual

◆ introduce_function()

virtual CTree * Puma::CCSemantic::introduce_function ( )

virtual

Reimplemented from Puma::CSemantic.

Reimplemented in Puma::InstantiationSemantic.

◆ introduce_member()

virtual CTree * Puma::CCSemantic::introduce_member ( )

virtual

Reimplemented from Puma::CSemantic.

◆ introduce_named_type()

virtual CTree * Puma::CCSemantic::introduce_named_type ( )

virtual

Reimplemented from Puma::CSemantic.

◆ introduce_non_type_param()

virtual CTree * Puma::CCSemantic::introduce_non_type_param ( )

virtual

◆ introduce_ns_alias()

virtual CTree * Puma::CCSemantic::introduce_ns_alias ( )

virtual

◆ introduce_ns_extension()

virtual CTree * Puma::CCSemantic::introduce_ns_extension ( )

virtual

◆ introduce_object()

virtual CTree * Puma::CCSemantic::introduce_object ( CTree * = 0 )

virtual

Reimplemented from Puma::CSemantic.

Reimplemented in Puma::InstantiationSemantic.

◆ introduce_orig_ns()

virtual CTree * Puma::CCSemantic::introduce_orig_ns ( )

virtual

◆ introduce_parameter()

virtual CTree * Puma::CCSemantic::introduce_parameter ( )

virtual

Reimplemented from Puma::CSemantic.

◆ introduce_tag()

virtual CTree * Puma::CCSemantic::introduce_tag ( )

virtual

Reimplemented from Puma::CSemantic.

◆ introduce_template_instance()

virtual CTree * Puma::CCSemantic::introduce_template_instance ( )

virtual

◆ introduce_type_param()

virtual CTree * Puma::CCSemantic::introduce_type_param ( )

virtual

◆ introduce_unnamed_ns()

virtual CTree * Puma::CCSemantic::introduce_unnamed_ns ( )

virtual

◆ introduceTemplate()

void Puma::CCSemantic::introduceTemplate	(	CObjectInfo *	,
		CTemplateInfo *	,
		bool	is_friend = `false`
	)

protected

◆ is_entity_name()

bool Puma::CCSemantic::is_entity_name ( ) const

inline

◆ isBaseClass()

bool Puma::CCSemantic::isBaseClass	(	CClassInfo *	,
		CClassInfo *
	)		const

protected

◆ isClassOrEnum()

bool Puma::CCSemantic::isClassOrEnum ( CObjectInfo * ) const

protected

◆ isQualName()

bool Puma::CCSemantic::isQualName ( CT_SimpleName * ) const

protected

◆ isRefToClass()

bool Puma::CCSemantic::isRefToClass	(	CTypeInfo *	,
		CRecord *
	)		const

protected

◆ isSpecialization()

bool Puma::CCSemantic::isSpecialization ( CTree * ) const

protected

◆ leave_base_spec()

void Puma::CCSemantic::leave_base_spec ( )

inline

◆ leave_class_def()

void Puma::CCSemantic::leave_class_def ( bool reject = false )

◆ leave_conv_type_id()

void Puma::CCSemantic::leave_conv_type_id ( )

inline

◆ leave_entity_name()

void Puma::CCSemantic::leave_entity_name ( )

inline

◆ leave_exception_spec()

void Puma::CCSemantic::leave_exception_spec ( )

◆ leave_expr()

bool Puma::CCSemantic::leave_expr ( )

inline

◆ leave_extern_decl()

void Puma::CCSemantic::leave_extern_decl ( )

inline

◆ leave_member_access()

void Puma::CCSemantic::leave_member_access ( )

inline

◆ leave_nested_name()

void Puma::CCSemantic::leave_nested_name ( )

inline

◆ leave_param_decl_clause()

void Puma::CCSemantic::leave_param_decl_clause ( )

virtual

Leave a function parameter declaration clause.

Reimplemented from Puma::Semantic.

◆ leave_postfix_expr()

void Puma::CCSemantic::leave_postfix_expr ( )

inline

◆ leave_template_arg_list()

void Puma::CCSemantic::leave_template_arg_list ( )

inline

◆ leave_template_param_list()

void Puma::CCSemantic::leave_template_param_list ( )

inline

◆ linkCtorDecls()

void Puma::CCSemantic::linkCtorDecls ( CObjectInfo * ) const

protected

◆ linkFctDecls()

void Puma::CCSemantic::linkFctDecls	(	CCNameLookup &	,
		CObjectInfo *
	)		const

protected

◆ lookupName()

void Puma::CCSemantic::lookupName	(	const Token *	,
		CStructure *	,
		bool
	)

protected

◆ matchArguments()

bool Puma::CCSemantic::matchArguments	(	CT_TemplateName *	n1,
		CT_TemplateName *	n2
	)		const

protected

◆ member_decl1()

virtual CTree * Puma::CCSemantic::member_decl1 ( )

virtual

◆ member_declarator_err()

virtual CTree * Puma::CCSemantic::member_declarator_err ( )

virtual

◆ namespace_alias()

virtual CTree * Puma::CCSemantic::namespace_alias ( )

virtual

◆ namespace_def()

virtual CTree * Puma::CCSemantic::namespace_def ( )

virtual

◆ nested_name_spec()

virtual CTree * Puma::CCSemantic::nested_name_spec ( )

virtual

◆ nested_name_spec1()

virtual CTree * Puma::CCSemantic::nested_name_spec1 ( )

virtual

◆ non_primary_loc()

bool Puma::CCSemantic::non_primary_loc ( )

◆ non_project_loc()

bool Puma::CCSemantic::non_project_loc ( )

◆ obj_decl()

virtual CTree * Puma::CCSemantic::obj_decl ( CTree * )

virtual

◆ original_ns_name()

virtual CTree * Puma::CCSemantic::original_ns_name ( )

virtual

◆ parse_delayed()

virtual void Puma::CCSemantic::parse_delayed	(	bool(CCSyntax::*)()	,
		CTree *
	)

virtual

Reimplemented in Puma::InstantiationSemantic.

◆ parseDelayed()

void Puma::CCSemantic::parseDelayed ( )

protected

◆ postfix_expr()

CTree * Puma::CCSemantic::postfix_expr ( )

◆ postfix_expr1()

virtual CTree * Puma::CCSemantic::postfix_expr1 ( )

virtual

◆ postfix_expr2()

virtual CTree * Puma::CCSemantic::postfix_expr2 ( )

virtual

◆ protection()

CProtection::Type Puma::CCSemantic::protection ( ) const

inlinevirtual

Reimplemented from Puma::CSemantic.

◆ pseudo_dtor_name()

virtual CTree * Puma::CCSemantic::pseudo_dtor_name ( )

virtual

◆ pure_spec()

virtual CTree * Puma::CCSemantic::pure_spec ( )

virtual

◆ qualifiedScopeName()

void Puma::CCSemantic::qualifiedScopeName	(	CT_SimpleName *	,
		std::ostringstream &
	)		const

protected

◆ realTypedef()

bool Puma::CCSemantic::realTypedef ( CObjectInfo * ) const

protected

◆ reset_search_scope()

bool Puma::CCSemantic::reset_search_scope ( bool = false )

◆ resolveExpr()

CTypeInfo * Puma::CCSemantic::resolveExpr	(	CTree *	,
		CTree *	= `(CTree *) 0`
	)		const

protected

◆ setLanguage()

void Puma::CCSemantic::setLanguage ( CObjectInfo * ) const

protected

◆ setProtection()

void Puma::CCSemantic::setProtection ( CObjectInfo * info ) const

inlineprotected

◆ setQualName()

void Puma::CCSemantic::setQualName	(	CObjectInfo *	,
		CObjectInfo *
	)		const

protected

◆ setSpecializationName()

void Puma::CCSemantic::setSpecializationName	(	CTree *	,
		CTemplateInfo *
	)		const

protected

◆ setTemplateScope()

void Puma::CCSemantic::setTemplateScope	(	CCNameLookup &	,
		CObjectInfo *	,
		CTypeInfo *	,
		CTemplateInfo *	,
		bool
	)

protected

◆ simple_type_spec()

virtual CTree * Puma::CCSemantic::simple_type_spec ( )

virtual

◆ skip_tpl_fct_bodies()

bool Puma::CCSemantic::skip_tpl_fct_bodies ( ) const

◆ syntax()

CCSyntax & Puma::CCSemantic::syntax ( ) const

inlineprotectedvirtual

Reimplemented from Puma::CSemantic.

Reimplemented in Puma::InstantiationSemantic.

◆ template_decl()

virtual CTree * Puma::CCSemantic::template_decl ( )

virtual

◆ template_key()

virtual CTree * Puma::CCSemantic::template_key ( )

virtual

◆ template_name()

virtual CTree * Puma::CCSemantic::template_name ( bool class_only = false )

virtual

◆ template_param()

virtual CTree * Puma::CCSemantic::template_param ( )

virtual

◆ template_param_list()

virtual CTree * Puma::CCSemantic::template_param_list ( )

virtual

◆ typedef_name()

virtual CTree * Puma::CCSemantic::typedef_name ( )

virtual

Reimplemented from Puma::CSemantic.

◆ using_decl()

virtual CTree * Puma::CCSemantic::using_decl ( )

virtual

◆ using_directive()

virtual CTree * Puma::CCSemantic::using_directive ( )

virtual

◆ valid_id_expr()

virtual CTree * Puma::CCSemantic::valid_id_expr ( )

virtual

Member Data Documentation

◆ _in_base_spec

Stack<bool> Puma::CCSemantic::_in_base_spec

protected

◆ _in_conv_type_id

Stack<bool> Puma::CCSemantic::_in_conv_type_id

protected

◆ _in_expr

Stack<bool> Puma::CCSemantic::_in_expr

protected

◆ _in_extern_decl

Stack<const char*> Puma::CCSemantic::_in_extern_decl

protected

◆ _in_memb_access_expr

Stack<MemberAccessOperator> Puma::CCSemantic::_in_memb_access_expr

protected

◆ _in_nested_name

Stack<bool> Puma::CCSemantic::_in_nested_name

protected

◆ _in_template_arg_list

Stack<Syntax::State> Puma::CCSemantic::_in_template_arg_list

protected

◆ _in_template_param_list

Stack<Syntax::State> Puma::CCSemantic::_in_template_param_list

protected

◆ _last_body_skipped

bool Puma::CCSemantic::_last_body_skipped

protected

◆ _last_unit

Unit* Puma::CCSemantic::_last_unit

protected

◆ _outermost_class_def

CRecord* Puma::CCSemantic::_outermost_class_def

protected

◆ _postfix_expr

Stack<CTree*> Puma::CCSemantic::_postfix_expr

protected

◆ _protection

Stack<CProtection::Type> Puma::CCSemantic::_protection

protected

◆ base_spec

bool Puma::CCSemantic::base_spec

◆ dep_nested_name

bool Puma::CCSemantic::dep_nested_name

◆ expect_template

bool Puma::CCSemantic::expect_template

protected

◆ last_scope

CStructure* Puma::CCSemantic::last_scope

◆ last_search_scope

CStructure* Puma::CCSemantic::last_search_scope

◆

struct { ... } Puma::CCSemantic::last_token_nl

◆ nested

bool Puma::CCSemantic::nested

◆ nested_name

bool Puma::CCSemantic::nested_name

◆ parsing_class_inst

bool Puma::CCSemantic::parsing_class_inst

protected

◆ parsing_entity_name

Stack<bool> Puma::CCSemantic::parsing_entity_name

protected

◆ parsing_fct_inst

bool Puma::CCSemantic::parsing_fct_inst

protected

◆ real_inst

bool Puma::CCSemantic::real_inst

protected

◆ scope

CStructure* Puma::CCSemantic::scope

◆ search_scope

CStructure* Puma::CCSemantic::search_scope

◆ shared_nl

CCNameLookup Puma::CCSemantic::shared_nl

protected

◆ tok

const Token* Puma::CCSemantic::tok

◆ tpl_inst

CCInstantiation* Puma::CCSemantic::tpl_inst

protected

Public Types

Public Member Functions

Public Attributes

Protected Member Functions

Protected Attributes

Additional Inherited Members

Member Enumeration Documentation

◆ MemberAccessOperator

Constructor & Destructor Documentation

◆ CCSemantic()

Member Function Documentation

◆ access_decl()

◆ access_spec()

◆ add_base_classes()

◆ addBaseClass()

◆ addBaseClasses()

◆ addImplicitThisObject()

◆ array_delim()

◆ builder()

◆ calculateAddress()

◆ check_function_lookup()

◆ check_member_lookup()

◆ check_object_lookup()

◆ class_name()

◆ class_spec()

◆ class_spec_err()

◆ colon_colon()

◆ condition()

◆ const_expr()

◆ const_init()

◆ conv_fct_id()

◆ createDelayedParse()

◆ createMethod()

◆ ctor_init()

◆ decl_spec_seq1()

◆ declarator_id()

◆ declareImplicitFcts()

◆ declareNamespaceStd()

◆ declareSpecialMembers()

◆ Delete()

◆ deleteContainer()

◆ determine_linkage()

◆ determine_storage_class()

◆ direct_new_declarator()

◆ enter_base_spec()

◆ enter_class_def()

◆ enter_conv_type_id()

◆ enter_entity_name()

◆ enter_exception_spec()

◆ enter_expr()

◆ enter_extern_decl()

◆ enter_member_access()

◆ enter_nested_name()

◆ enter_param_decl_clause()

◆ enter_postfix_expr()

◆ enter_scope()

◆ enter_template_arg_list()

◆ enter_template_decl()

◆ enter_template_param_list()

◆ enum_name()

◆ enumerator_def()

◆ equalType()

◆ exception_spec()

◆ explicit_instantiation()

◆ explicit_specialization()

◆ finish_init_declarator()

◆ getCloseCurly()

◆ getFriendScope()

◆ getLastResolvedName()

◆ getNameScope()

◆ getNonTplScope()

◆ getOutermostIncompleteParsedRecord()

◆ getQualifiedScope()

◆ getScope()

◆ handler()

◆ implicit_int()

◆ in_base_spec()

◆ in_class_def()

◆ in_conv_type_id()

◆ in_expr()