Puma Reference Manual Puma: Puma::CCSemantic Class Reference



Puma::CCSemantic Class Reference

#include <CCSemantic.h>

Inheritance diagram for Puma::CCSemantic:
Inheritance graph

List of all members.

Classes

struct  RuleInfo

Public Member Functions

 CCSemantic (CCSyntax &, CCBuilder &)
void init (CSemDatabase &, Unit &)
 Initialize the semantic analysis.
void init (CSemDatabase &, Unit &, CStructure *, bool, bool, CCInstantiation *)
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_label ()
virtual CTree * introduce_enum ()
virtual CTree * introduce_enumerator ()
virtual CTree * introduce_object ()
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.
void enter_template_param_list (Syntax::State)
void enter_base_spec ()
void enter_class_def ()
void enter_template_decl ()
void enter_member_access ()
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 ()
void leave_param_decl_clause ()
 Leave a function parameter declaration clause.
void leave_template_param_list ()
void leave_base_spec ()
void leave_class_def ()
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)
CTree * postfix_expr ()
int lookup_rule ()
void add_rule (bool(CCSyntax::*)(), CTree *, void(CCSyntax::*)())
void parse_rules ()
void reject_rules ()
virtual CTree * add_base_classes ()

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.
void enter_scope (CStructure *)
 Enter the given scope.
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
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
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 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 Attributes

Array< RuleInfo > rules
Stack< bool > _in_base_spec
Stack< bool > _in_class_def
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< bool > _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

Constructor & Destructor Documentation

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

Member Function Documentation

virtual CTree* Puma::CCSemantic::access_decl ( CTree *  = 0) [virtual]
virtual CTree* Puma::CCSemantic::access_spec ( ) [virtual]
virtual CTree* Puma::CCSemantic::add_base_classes ( ) [virtual]
void Puma::CCSemantic::add_rule ( bool(CCSyntax::*)()  ,
CTree *  ,
void(CCSyntax::*)()   
)
void Puma::CCSemantic::addBaseClass ( CClassInfo *  ,
CT_BaseSpec *   
) [protected]
void Puma::CCSemantic::addBaseClasses ( CClassInfo *  ,
CT_ClassDef *   
) [protected]
CStructure* Puma::CCSemantic::array_delim ( CStructure *  = 0)
CCBuilder & Puma::CCSemantic::builder ( ) const [inline, protected, virtual]

Reimplemented from Puma::CSemantic.

void Puma::CCSemantic::calculateAddress ( CTree *  ) const [protected]
virtual bool Puma::CCSemantic::check_function_lookup ( CCNameLookup &  ,
CStructure *  ,
CSemDeclSpecs *  ,
CCSemDeclarator &  ,
CTree *  ,
bool   
) [protected, virtual]
virtual bool Puma::CCSemantic::check_member_lookup ( CCNameLookup &  ,
CStructure *  ,
CSemDeclSpecs *  ,
CCSemDeclarator &  ,
CTree *  ,
bool &  ,
bool   
) [protected, virtual]
virtual bool Puma::CCSemantic::check_object_lookup ( CCNameLookup &  ,
CStructure *  ,
CSemDeclSpecs *  ,
CCSemDeclarator &  ,
CTree *  ,
bool &  ,
CObjectInfo *&   
) [protected, virtual]
virtual CTree* Puma::CCSemantic::class_name ( ) [virtual]
virtual CTree* Puma::CCSemantic::class_spec ( ) [virtual]

Reimplemented from Puma::CSemantic.

virtual CTree* Puma::CCSemantic::class_spec_err ( ) [virtual]
virtual CTree* Puma::CCSemantic::colon_colon ( ) [virtual]
virtual CTree* Puma::CCSemantic::condition ( ) [virtual]
virtual CTree* Puma::CCSemantic::const_expr ( ) [virtual]
virtual CTree* Puma::CCSemantic::const_init ( ) [virtual]
CFunctionInfo* Puma::CCSemantic::createMethod ( const char *  ,
CRecord *  ,
CTypeInfo *   
) [protected]
virtual CTree* Puma::CCSemantic::ctor_init ( ) [virtual]
virtual CTree* Puma::CCSemantic::decl_spec_seq1 ( ) [virtual]

Reimplemented from Puma::CSemantic.

virtual void Puma::CCSemantic::declarator_id ( bool  ) [virtual]
void Puma::CCSemantic::declareImplicitFcts ( ) [protected]

Reimplemented from Puma::CSemantic.

void Puma::CCSemantic::declareNamespaceStd ( ) [protected]
void Puma::CCSemantic::declareSpecialMembers ( ) [protected]
virtual void Puma::CCSemantic::Delete ( ) [protected, virtual]

Delete the top item on the semantic stack.

To be implemented by derived classes.

Reimplemented from Puma::CSemantic.

void Puma::CCSemantic::deleteContainer ( int  ) [protected]
CLinkage::Type Puma::CCSemantic::determine_linkage ( CSemDeclSpecs *  ,
SemObjType  ,
CObjectInfo *  = (CObjectInfo *) 0 
) const [protected]

Reimplemented from Puma::CSemantic.

CStorage::Type Puma::CCSemantic::determine_storage_class ( CSemDeclSpecs *  ) const [protected]
virtual CTree* Puma::CCSemantic::direct_new_declarator ( ) [virtual]
void Puma::CCSemantic::enter_base_spec ( ) [inline]
void Puma::CCSemantic::enter_class_def ( ) [inline]
void Puma::CCSemantic::enter_conv_type_id ( ) [inline]
void Puma::CCSemantic::enter_entity_name ( bool  v = true) [inline]
void Puma::CCSemantic::enter_exception_spec ( )
bool Puma::CCSemantic::enter_expr ( ) [inline]
void Puma::CCSemantic::enter_extern_decl ( )
void Puma::CCSemantic::enter_member_access ( ) [inline]
void Puma::CCSemantic::enter_nested_name ( ) [inline]
void Puma::CCSemantic::enter_param_decl_clause ( ) [virtual]

Enter a function parameter declaration clause.

Reimplemented from Puma::Semantic.

void Puma::CCSemantic::enter_postfix_expr ( ) [inline]
void Puma::CCSemantic::enter_scope ( CStructure *  scope) [protected, virtual]

Enter the given scope.

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

Parameters:
scopeThe scope to enter.

Reimplemented from Puma::CSemantic.

void Puma::CCSemantic::enter_template_arg_list ( Syntax::State  state) [inline]
void Puma::CCSemantic::enter_template_decl ( )
void Puma::CCSemantic::enter_template_param_list ( Syntax::State  )
virtual CTree* Puma::CCSemantic::enum_name ( ) [virtual]
virtual CTree* Puma::CCSemantic::enumerator_def ( ) [virtual]

Reimplemented from Puma::CSemantic.

bool Puma::CCSemantic::equalType ( CTypeInfo *  ,
CTypeInfo *  ,
bool  = true 
) const [protected]
virtual CTree* Puma::CCSemantic::exception_spec ( ) [virtual]
virtual CTree* Puma::CCSemantic::explicit_instantiation ( ) [virtual]
virtual CTree* Puma::CCSemantic::explicit_specialization ( ) [virtual]
virtual CTree* Puma::CCSemantic::finish_init_declarator ( ) [virtual]
CStructure* Puma::CCSemantic::getFriendScope ( bool  skip_tpl_scope = false) const [protected]
CObjectInfo* Puma::CCSemantic::getLastResolvedName ( CT_SimpleName *  ) const [protected]
CStructure* Puma::CCSemantic::getNameScope ( CT_SimpleName *  ,
bool  = true 
) const [protected]
CStructure* Puma::CCSemantic::getNonTplScope ( bool  consider_instance_scope = false) const [protected]
CStructure* Puma::CCSemantic::getQualifiedScope ( CStructure *  scope) const [protected]
CStructure* Puma::CCSemantic::getScope ( CObjectInfo *  obj) const [protected]
virtual CTree* Puma::CCSemantic::handler ( ) [virtual]
virtual bool Puma::CCSemantic::implicit_int ( ) [virtual]

Reimplemented from Puma::CSemantic.

bool Puma::CCSemantic::in_base_spec ( ) const [inline]
bool Puma::CCSemantic::in_class_def ( ) const [inline]
bool Puma::CCSemantic::in_conv_type_id ( ) const [inline]
bool Puma::CCSemantic::in_expr ( ) const [inline]
bool Puma::CCSemantic::in_extern_decl ( ) const [inline]
bool Puma::CCSemantic::in_nested_name ( ) const [inline]
Syntax::State Puma::CCSemantic::in_template_arg_list ( ) const [inline]
Syntax::State Puma::CCSemantic::in_template_param_list ( ) const [inline]
void Puma::CCSemantic::init ( CSemDatabase &  ,
Unit &  ,
CStructure *  ,
bool  ,
bool  ,
CCInstantiation *   
)
void Puma::CCSemantic::init ( CSemDatabase &  db,
Unit &  file 
) [virtual]

Initialize the semantic analysis.

Parameters:
dbThe semantic object database.
fileThe input file.

Reimplemented from Puma::CSemantic.

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

Reimplemented from Puma::CSemantic.

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

Reimplemented from Puma::CSemantic.

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

Reimplemented from Puma::CSemantic.

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

Reimplemented from Puma::CSemantic.

virtual CTree* Puma::CCSemantic::introduce_exception ( ) [virtual]
virtual CTree* Puma::CCSemantic::introduce_function ( ) [virtual]

Reimplemented from Puma::CSemantic.

virtual CTree* Puma::CCSemantic::introduce_label ( ) [virtual]

Reimplemented from Puma::CSemantic.

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

Reimplemented from Puma::CSemantic.

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

Reimplemented from Puma::CSemantic.

virtual CTree* Puma::CCSemantic::introduce_non_type_param ( ) [virtual]
virtual CTree* Puma::CCSemantic::introduce_ns_alias ( ) [virtual]
virtual CTree* Puma::CCSemantic::introduce_ns_extension ( ) [virtual]
virtual CTree* Puma::CCSemantic::introduce_object ( ) [virtual]

Reimplemented from Puma::CSemantic.

virtual CTree* Puma::CCSemantic::introduce_orig_ns ( ) [virtual]
virtual CTree* Puma::CCSemantic::introduce_parameter ( ) [virtual]

Reimplemented from Puma::CSemantic.

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

Reimplemented from Puma::CSemantic.

virtual CTree* Puma::CCSemantic::introduce_template_instance ( ) [virtual]
virtual CTree* Puma::CCSemantic::introduce_type_param ( ) [virtual]
virtual CTree* Puma::CCSemantic::introduce_unnamed_ns ( ) [virtual]
void Puma::CCSemantic::introduceTemplate ( CObjectInfo *  ,
CTemplateInfo *  ,
bool  is_friend = false 
) [protected]
bool Puma::CCSemantic::is_entity_name ( ) const [inline]
bool Puma::CCSemantic::isBaseClass ( CClassInfo *  ,
CClassInfo *   
) const [protected]
bool Puma::CCSemantic::isClassOrEnum ( CObjectInfo *  ) const [protected]
bool Puma::CCSemantic::isQualName ( CT_SimpleName *  ) const [protected]
bool Puma::CCSemantic::isRefToClass ( CTypeInfo *  ,
CRecord *   
) const [protected]
bool Puma::CCSemantic::isSpecialization ( CTree *  ) const [protected]
void Puma::CCSemantic::leave_base_spec ( ) [inline]
void Puma::CCSemantic::leave_class_def ( ) [inline]
void Puma::CCSemantic::leave_conv_type_id ( ) [inline]
void Puma::CCSemantic::leave_entity_name ( ) [inline]
void Puma::CCSemantic::leave_exception_spec ( )
bool Puma::CCSemantic::leave_expr ( ) [inline]
void Puma::CCSemantic::leave_extern_decl ( ) [inline]
void Puma::CCSemantic::leave_member_access ( ) [inline]
void Puma::CCSemantic::leave_nested_name ( ) [inline]
void Puma::CCSemantic::leave_param_decl_clause ( ) [virtual]

Leave a function parameter declaration clause.

Reimplemented from Puma::Semantic.

void Puma::CCSemantic::leave_postfix_expr ( ) [inline]
void Puma::CCSemantic::leave_template_arg_list ( ) [inline]
void Puma::CCSemantic::leave_template_param_list ( ) [inline]
void Puma::CCSemantic::linkCtorDecls ( CObjectInfo *  ) const [protected]
void Puma::CCSemantic::linkFctDecls ( CCNameLookup &  ,
CObjectInfo *   
) const [protected]
int Puma::CCSemantic::lookup_rule ( )
void Puma::CCSemantic::lookupName ( const Token *  ,
CStructure *  ,
bool   
) [protected]
bool Puma::CCSemantic::matchArguments ( CT_TemplateName *  n1,
CT_TemplateName *  n2 
) const [protected]
virtual CTree* Puma::CCSemantic::member_decl1 ( ) [virtual]
virtual CTree* Puma::CCSemantic::member_declarator_err ( ) [virtual]
virtual CTree* Puma::CCSemantic::namespace_alias ( ) [virtual]
virtual CTree* Puma::CCSemantic::namespace_def ( ) [virtual]
virtual CTree* Puma::CCSemantic::nested_name_spec ( ) [virtual]
virtual CTree* Puma::CCSemantic::nested_name_spec1 ( ) [virtual]
bool Puma::CCSemantic::non_primary_loc ( )
bool Puma::CCSemantic::non_project_loc ( )
virtual CTree* Puma::CCSemantic::obj_decl ( CTree *  ) [virtual]
virtual CTree* Puma::CCSemantic::original_ns_name ( ) [virtual]
void Puma::CCSemantic::parse_rules ( )
CTree* Puma::CCSemantic::postfix_expr ( )
virtual CTree* Puma::CCSemantic::postfix_expr1 ( ) [virtual]
virtual CTree* Puma::CCSemantic::postfix_expr2 ( ) [virtual]
CProtection::Type Puma::CCSemantic::protection ( ) const [inline, virtual]

Reimplemented from Puma::CSemantic.

virtual CTree* Puma::CCSemantic::pseudo_dtor_name ( ) [virtual]
virtual CTree* Puma::CCSemantic::pure_spec ( ) [virtual]
void Puma::CCSemantic::qualifiedScopeName ( CT_SimpleName *  ,
std::ostringstream &   
) const [protected]
bool Puma::CCSemantic::realTypedef ( CObjectInfo *  ) const [protected]
void Puma::CCSemantic::reject_rules ( )
bool Puma::CCSemantic::reset_search_scope ( bool  = false)
CTypeInfo* Puma::CCSemantic::resolveExpr ( CTree *  ,
CTree *  = (CTree *) 0 
) const [protected]

Reimplemented from Puma::CSemantic.

void Puma::CCSemantic::setLanguage ( CObjectInfo *  ) const [protected]
void Puma::CCSemantic::setProtection ( CObjectInfo *  info) const [inline, protected]
void Puma::CCSemantic::setQualName ( CObjectInfo *  ,
CObjectInfo *   
) const [protected]
void Puma::CCSemantic::setSpecializationName ( CTree *  ,
CTemplateInfo *   
) const [protected]
void Puma::CCSemantic::setTemplateScope ( CCNameLookup &  ,
CObjectInfo *  ,
CTypeInfo *  ,
CTemplateInfo *  ,
bool   
) [protected]
virtual CTree* Puma::CCSemantic::simple_type_spec ( ) [virtual]
bool Puma::CCSemantic::skip_tpl_fct_bodies ( ) const
CCSyntax & Puma::CCSemantic::syntax ( ) const [inline, protected, virtual]

Reimplemented from Puma::CSemantic.

virtual CTree* Puma::CCSemantic::template_decl ( ) [virtual]
virtual CTree* Puma::CCSemantic::template_key ( ) [virtual]
virtual CTree* Puma::CCSemantic::template_name ( bool  class_only = false) [virtual]
virtual CTree* Puma::CCSemantic::template_param ( ) [virtual]
virtual CTree* Puma::CCSemantic::template_param_list ( ) [virtual]
virtual CTree* Puma::CCSemantic::typedef_name ( ) [virtual]

Reimplemented from Puma::CSemantic.

virtual CTree* Puma::CCSemantic::using_decl ( ) [virtual]
virtual CTree* Puma::CCSemantic::using_directive ( ) [virtual]
virtual CTree* Puma::CCSemantic::valid_id_expr ( ) [virtual]

Member Data Documentation

Stack<bool> Puma::CCSemantic::_in_expr [protected]
Stack<const char*> Puma::CCSemantic::_in_extern_decl [protected]
struct { ... } Puma::CCSemantic::last_token_nl [protected]
bool Puma::CCSemantic::real_inst [protected]