lestes::lang::cplus::sem::lu_lookup Class Reference

#include <lu_lu.g.hh>

Inheritance diagram for lestes::lang::cplus::sem::lu_lookup:

List of all members.

Public Member Functions
ptr< lu_params >	params_get () const
	The method params_get returns the value of the field lu_lookup::params.
void	params_set (const ptr< lu_params > &)
	The method params_set sets the field lu_lookup::params to the given value.
ptr< decl_seq_set_type >	visited_seqs_get () const
	The method visited_seqs_get returns the value of the field lu_lookup::visited_seqs.
void	visited_seqs_set (const ptr< decl_seq_set_type > &)
	The method visited_seqs_set sets the field lu_lookup::visited_seqs to the given value.
ptr< declaration_set_type >	lookup_result_get () const
	The method lookup_result_get returns the value of the field lu_lookup::lookup_result.
void	lookup_result_set (const ptr< declaration_set_type > &)
	The method lookup_result_set sets the field lu_lookup::lookup_result to the given value.
ptr< declaration_set_type >	main (ptr< ss_decl_seq > seq, ptr< lu_params > params)
ptr< declaration_set_type >	internal_simple_scan (ptr< ss_decl_seq > seq)
	Used internally, just a wrapper around simple_scan() that adds params to the argument list.
ptr< declaration_set_type >	deep_scan (ptr< ss_decl_seq > starting_seq)
	Used internally; scans given decl_seq and its using-directives using params.
virtual void	default_action (ptr< ::lestes::lang::cplus::sem::ss_declaration >)
virtual void	visit_ss_namespace_definition (ptr< ::lestes::lang::cplus::sem::ss_namespace_definition >)
virtual void	visit_ss_function_declaration (ptr< ::lestes::lang::cplus::sem::ss_function_declaration >)
virtual void	visit_ss_compound_stmt_declaration (ptr< ::lestes::lang::cplus::sem::ss_compound_stmt_declaration >)
virtual void	visit_ss_structure_declaration (ptr< ::lestes::lang::cplus::sem::ss_structure_declaration >)
ptr< declaration_set_type >	lookup_by_decl (const ptr< ::lestes::lang::cplus::sem::ss_declaration > &)
	"visit-return" method
virtual ptr< reflection_list >	reflection_get () const
	for purposes of dumping
virtual ptr< field_list_list >	field_values_get () const
	for purposes of dumping
Static Public Member Functions
static ptr< declaration_set_type >	simple_scan (ptr< ss_decl_seq > seq, ptr< lu_params > params)
	Used internally, but can be used from outside as well.
static ptr< lu_lookup >	instance ()
	Generated instance() method for singleton class lu_lookup.
Protected Member Functions
	lu_lookup (ptr< lu_params > a__lu_lookup__params, ptr< decl_seq_set_type > a__lu_lookup__visited_seqs, ptr< declaration_set_type > a__lu_lookup__lookup_result)
	Generated constructor for class lu_lookup.
virtual void	gc_mark ()
	Marking routine for class lu_lookup.
Private Attributes
srp< lu_params >	params
	Used internally by the visitor; holds the parameters of the lookup.
srp< decl_seq_set_type >	visited_seqs
	Used internally by the visitor; holds decl_seqs already visited during current invocation of the 'main' method.
srp< declaration_set_type >	lookup_result
Static Private Attributes
static ptr< reflection_list >	reflection = reflection
static ptr< lu_lookup >	the_instance = the_instance

---

Detailed Description

Definition at line 121 of file lu_lu.g.hh.

---

Constructor & Destructor Documentation

lestes::lang::cplus::sem::lu_lookup::lu_lookup	(	ptr< lu_params >	a__lu_lookup__params,
		ptr< decl_seq_set_type >	a__lu_lookup__visited_seqs,
		ptr< declaration_set_type >	a__lu_lookup__lookup_result
	)			[protected]

Generated constructor for class lu_lookup.

Generated constructor for class lu_lookup.

Author:

lsg

Definition at line 261 of file lu_lu.g.cc.

Referenced by instance().

        : ss_declaration_default_visitor(), params(a__lu_lookup__params), visited_seqs(a__lu_lookup__visited_seqs), lookup_result(a__lu_lookup__lookup_result)
{}

---

Member Function Documentation

ptr< lu_params > lestes::lang::cplus::sem::lu_lookup::params_get

(

)

const

The method params_get returns the value of the field lu_lookup::params.

Returns:

The value of lu_lookup::params.

Author:

lsg

Definition at line 192 of file lu_lu.g.cc.

References params.

Referenced by deep_scan(), internal_simple_scan(), and main().

{
        return params;
}

void lestes::lang::cplus::sem::lu_lookup::params_set

(

const ptr< lu_params > &

x

)

The method params_set sets the field lu_lookup::params to the given value.

Parameters:

[in]

x

The new value to set lu_lookup::params to.

Author:

lsg

Definition at line 201 of file lu_lu.g.cc.

References params.

Referenced by main().

{
        lu_lookup::params = x;
}

ptr< decl_seq_set_type > lestes::lang::cplus::sem::lu_lookup::visited_seqs_get

(

)

const

The method visited_seqs_get returns the value of the field lu_lookup::visited_seqs.

Returns:

The value of lu_lookup::visited_seqs.

Author:

lsg

Definition at line 210 of file lu_lu.g.cc.

References visited_seqs.

Referenced by deep_scan(), and main().

{
        return visited_seqs;
}

void lestes::lang::cplus::sem::lu_lookup::visited_seqs_set

(

const ptr< decl_seq_set_type > &

x

)

The method visited_seqs_set sets the field lu_lookup::visited_seqs to the given value.

Parameters:

[in]

x

The new value to set lu_lookup::visited_seqs to.

Author:

lsg

Definition at line 219 of file lu_lu.g.cc.

References visited_seqs.

Referenced by main().

{
        lu_lookup::visited_seqs = x;
}

ptr< declaration_set_type > lestes::lang::cplus::sem::lu_lookup::lookup_result_get

(

)

const

The method lookup_result_get returns the value of the field lu_lookup::lookup_result.

Returns:

The value of lu_lookup::lookup_result.

Author:

lsg

Definition at line 228 of file lu_lu.g.cc.

References lookup_result.

Referenced by lookup_by_decl().

{
        return lookup_result;
}

void lestes::lang::cplus::sem::lu_lookup::lookup_result_set

(

const ptr< declaration_set_type > &

x

)

The method lookup_result_set sets the field lu_lookup::lookup_result to the given value.

Parameters:

[in]

x

The new value to set lu_lookup::lookup_result to.

Author:

lsg

Definition at line 237 of file lu_lu.g.cc.

References lookup_result.

{
        lu_lookup::lookup_result = x;
}

ptr< declaration_set_type > lestes::lang::cplus::sem::lu_lookup::main	(	ptr< ss_decl_seq >	seq,
		ptr< lu_params >	params
	)

Not reentrant! Never returns NULL.

Definition at line 83 of file lu_lu.cc.

References deep_scan(), lassert, lassert2, params_get(), params_set(), lestes::lang::cplus::sem::ss_decl_seq::root_instance(), lestes::lang::cplus::sem::lu_params::SEARCH_PARENTS, visited_seqs, visited_seqs_get(), and visited_seqs_set().

{
        lassert( !params_get() && !visited_seqs );
        lassert2( params, "Lookup parameters must not be NULL." );

        visited_seqs_set( decl_seq_set_type::create() );
        params_set( params );

        bool search_parents = params->parent_search_get() == lu_params::SEARCH_PARENTS;
        ptr<declaration_set_type> result;
        do {
                bool not_yet_visited = visited_seqs_get()->insert(seq).second;
                if (not_yet_visited)
                        result = deep_scan( seq );
                lassert2( result, "The very first decl_seq has been marked as already visited!" );
                if (seq == ss_decl_seq::root_instance())
                        break;
                seq = seq->parent_get();
        } while (result->empty() && search_parents);

        params_set( NULL );
        visited_seqs_set( NULL );
        return result;
}

ptr< declaration_set_type > lestes::lang::cplus::sem::lu_lookup::simple_scan	(	ptr< ss_decl_seq >	seq,
		ptr< lu_params >	params
	)			[static]

Used internally, but can be used from outside as well.

Definition at line 176 of file lu_lu.cc.

References lestes::lang::cplus::sem::lu_filter::FR_NO, lestes::lang::cplus::sem::lu_filter::FR_YES, lestes::lang::cplus::sem::ss_using_target::instance(), lassert, llog, lestes::lang::cplus::sem::lu_filter::result2lstring(), lestes::lang::cplus::sem::lu_params::UDECL_IGNORE, lestes::lang::cplus::sem::lu_params::UDECL_RESOLVE_AFTER_FILTER, lestes::lang::cplus::sem::lu_params::UDECL_RESOLVE_BEFORE_FILTER, and lestes::lang::cplus::sem::lu_params::UDECL_THROUGH.

Referenced by lestes::lang::cplus::sem::lu_lookup_in_type::internal_simple_scan(), and internal_simple_scan().

{
        ptr<declaration_set_type> result = declaration_set_type::create();
        typedef list< srp<ss_declaration> > contents_type;
        const srp<contents_type> & contents = seq->contents_get();
        
        for ( contents_type::reverse_iterator it = contents->rbegin();
                        it != contents->rend(); ++it ) {

                ptr<ss_declaration> decl = *it;
                ptr<ss_declaration> real_decl;

                /* skip declarations that are too young */
                if (!decl->decl_time_get()->is_before( params->time_get() ))
                        continue;

                lu_params::using_declarations_handling_type udecl_handling =
                        params->using_declarations_handling_get();
                if (udecl_handling != lu_params::UDECL_THROUGH) {
                        /* handle using declaration, as requested */
                        real_decl = ss_using_target::instance()->process(decl);
                        if (decl != real_decl) {
                                /* it was ss_using_declaration */
                                switch (udecl_handling) {
                                case lu_params::UDECL_IGNORE:
                                        continue;
                                case lu_params::UDECL_RESOLVE_BEFORE_FILTER:
                                        decl = real_decl;
                                        break;
                                default:
                                        /* udecl_handling == UDECL_RESOLVE_AFTER_FILTER */
                                        break;
                                }
                        }
                }

                llog(lookup_log) << "calling filter on decl #" << decl->uid_get() << "\n";

                lu_filter::result_type filt = params->filter_get()->filter(decl);
                
                llog(lookup_log) << "got result " << lu_filter::result2lstring(filt) << "\n";

                if (filt == lu_filter::FR_NO)
                        continue;
                
                if (udecl_handling == lu_params::UDECL_RESOLVE_AFTER_FILTER) {
                        lassert( real_decl );
                        decl = real_decl;
                }

                result->insert( decl );

                if (filt == lu_filter::FR_YES)
                        break;
        }
        return result;
}

ptr< declaration_set_type > lestes::lang::cplus::sem::lu_lookup::internal_simple_scan

(

ptr< ss_decl_seq >

seq

)

Used internally, just a wrapper around simple_scan() that adds params to the argument list.

Definition at line 234 of file lu_lu.cc.

References params_get(), and simple_scan().

{
        return simple_scan( seq, params_get() );
}

ptr< declaration_set_type > lestes::lang::cplus::sem::lu_lookup::deep_scan

(

ptr< ss_decl_seq >

starting_seq

)

Used internally; scans given decl_seq and its using-directives using params.

Never returns NULL.

Definition at line 124 of file lu_lu.cc.

References lookup_by_decl(), params_get(), lestes::lang::cplus::sem::seq_param, lestes::lang::cplus::sem::lu_params::UDIR_ALWAYS, lestes::lang::cplus::sem::lu_params::UDIR_FALLBACK, lestes::lang::cplus::sem::lu_params::UDIR_IGNORE, lestes::lang::cplus::sem::unify(), and visited_seqs_get().

Referenced by main().

{
        typedef list< srp<ss_decl_seq> > queue_type;
        typedef list< srp<ss_using_directive> > directives_type;
        
        ptr<declaration_set_type> result = declaration_set_type::create();

        ptr<queue_type> queue = queue_type::create();
        // starting_seq is already marked as visited in 'main'
        queue->push_back( starting_seq );

        while (!queue->empty()) {
                ptr<ss_decl_seq> seq = queue->front();
                queue->pop_front();
#ifdef LOOKUP_ASSERTIONS
                // assertions are in the visit methods called from lookup_by_decl()
                seq_param = seq;
#endif
                ptr<declaration_set_type> local_result = lookup_by_decl( seq->declared_by_get() );

                result = unify( result, local_result );
                
                switch (params_get()->using_directives_handling_get()) {
                case lu_params::UDIR_IGNORE:
                        continue;
                case lu_params::UDIR_FALLBACK:
                        if (!local_result->empty())
                                continue;
                        /* fall-through */
                case lu_params::UDIR_ALWAYS:
                        ;
                        /* fall-through */
                }

                const ptr<directives_type> & directives = seq->using_directives_get();
                for ( directives_type::const_iterator it = directives->begin(); it != directives->end(); ++it ) {
                        /*
                         * XXX:
                         * we assume that all using-directives that follow a late one are late too
                         * therefore we can break
                         */
                        if (!(*it)->decl_time_get()->is_before( params_get()->time_get() ))
                                break;
                        const ptr<ss_decl_seq> & used_seq = (*it)->nspace_get()->body_get();
                        bool not_yet_visited = visited_seqs_get()->insert(used_seq).second;
                        if (not_yet_visited)
                                queue->push_back(used_seq);
                }
        }
        return result;
}

virtual void lestes::lang::cplus::sem::lu_lookup::default_action

(

ptr< ::lestes::lang::cplus::sem::ss_declaration >

)

[virtual]

Implements lestes::lang::cplus::sem::ss_declaration_default_visitor.

virtual void lestes::lang::cplus::sem::lu_lookup::visit_ss_namespace_definition

(

ptr< ::lestes::lang::cplus::sem::ss_namespace_definition >

)

[virtual]

Reimplemented from lestes::lang::cplus::sem::ss_declaration_default_visitor.

virtual void lestes::lang::cplus::sem::lu_lookup::visit_ss_function_declaration

(

ptr< ::lestes::lang::cplus::sem::ss_function_declaration >

)

[virtual]

Reimplemented from lestes::lang::cplus::sem::ss_declaration_default_visitor.

virtual void lestes::lang::cplus::sem::lu_lookup::visit_ss_compound_stmt_declaration

(

ptr< ::lestes::lang::cplus::sem::ss_compound_stmt_declaration >

)

[virtual]

Reimplemented from lestes::lang::cplus::sem::ss_declaration_default_visitor.

virtual void lestes::lang::cplus::sem::lu_lookup::visit_ss_structure_declaration

(

ptr< ::lestes::lang::cplus::sem::ss_structure_declaration >

)

[virtual]

Reimplemented from lestes::lang::cplus::sem::ss_declaration_default_visitor.

ptr< lu_lookup > lestes::lang::cplus::sem::lu_lookup::instance

(

void

)

[static]

Generated instance() method for singleton class lu_lookup.

Generated instance() method for singleton class lu_lookup.

Author:

lsg

Definition at line 252 of file lu_lu.g.cc.

References lu_lookup(), and the_instance.

{
         return the_instance ? the_instance : the_instance = new lu_lookup(NULL, NULL, NULL);
}

ptr< declaration_set_type > lestes::lang::cplus::sem::lu_lookup::lookup_by_decl

(

const ptr< ::lestes::lang::cplus::sem::ss_declaration > &

)

"visit-return" method

Definition at line 294 of file lu_lu.g.cc.

References lassert2, and lookup_result_get().

Referenced by deep_scan().

{
        lassert2( o, "Cannot visit NULL object." );
        o->accept_ss_declaration_visitor( ptr< ss_declaration_visitor >(this) );
        return lookup_result_get();
}

ptr< object::reflection_list > lestes::lang::cplus::sem::lu_lookup::reflection_get

(

)

const [virtual]

for purposes of dumping

Reimplemented from lestes::lang::cplus::sem::ss_declaration_default_visitor.

Definition at line 267 of file lu_lu.g.cc.

References lestes::std::list< T >::create(), reflection, and lestes::lang::cplus::sem::ss_declaration_default_visitor::reflection_get().

{
        if (!reflection) {
                typedef class_reflection::field_metadata md;
                typedef class_reflection::field_metadata_list mdlist;
                ptr<mdlist> mdl = mdlist::create();
                mdl->push_back( md::create( "params", "lu_params" ) );
                mdl->push_back( md::create( "visited_seqs", "decl_seq_set_type" ) );
                mdl->push_back( md::create( "lookup_result", "declaration_set_type" ) );
                reflection = reflection_list::create( ss_declaration_default_visitor::reflection_get() );
                reflection->push_back( class_reflection::create( "lu_lookup", mdl ) );
        }
        return reflection;
}

ptr< object::field_list_list > lestes::lang::cplus::sem::lu_lookup::field_values_get

(

)

const [virtual]

for purposes of dumping

Reimplemented from lestes::lang::cplus::sem::ss_declaration_default_visitor.

Definition at line 282 of file lu_lu.g.cc.

References lestes::std::list< T >::create(), and lestes::lang::cplus::sem::ss_declaration_default_visitor::field_values_get().

{
        ptr < field_list_list > result = ss_declaration_default_visitor::field_values_get();
        result->push_back( value_list::create() );
        result->back()->push_back( this->params );
        result->push_back( value_list::create() );
        result->back()->push_back( this->visited_seqs );
        result->push_back( value_list::create() );
        result->back()->push_back( this->lookup_result );
        return result;
}

void lestes::lang::cplus::sem::lu_lookup::gc_mark

(

void

)

[protected, virtual]

Marking routine for class lu_lookup.

Marking routine is used for garbage collection.

Author:

lsg

Reimplemented from lestes::lang::cplus::sem::ss_declaration_default_visitor.

Definition at line 306 of file lu_lu.g.cc.

References lestes::lang::cplus::sem::ss_declaration_default_visitor::gc_mark().

{
        ss_declaration_default_visitor::gc_mark();
}

---

Member Data Documentation

srp< lu_params > lestes::lang::cplus::sem::lu_lookup::params [private]

Used internally by the visitor; holds the parameters of the lookup.

Definition at line 187 of file lu_lu.g.hh.

Referenced by params_get(), and params_set().

srp< decl_seq_set_type > lestes::lang::cplus::sem::lu_lookup::visited_seqs [private]

Used internally by the visitor; holds decl_seqs already visited during current invocation of the 'main' method.

Definition at line 189 of file lu_lu.g.hh.

Referenced by main(), visited_seqs_get(), and visited_seqs_set().

srp< declaration_set_type > lestes::lang::cplus::sem::lu_lookup::lookup_result [private]

Definition at line 190 of file lu_lu.g.hh.

Referenced by lookup_result_get(), and lookup_result_set().

ptr< object::reflection_list > lestes::lang::cplus::sem::lu_lookup::reflection = reflection [static, private]

Reimplemented from lestes::lang::cplus::sem::ss_declaration_default_visitor.

Definition at line 191 of file lu_lu.g.hh.

Referenced by reflection_get().

ptr< lu_lookup > lestes::lang::cplus::sem::lu_lookup::the_instance = the_instance [static, private]

Static field lu_lookup::the_instance.

Author:

lsg

Definition at line 192 of file lu_lu.g.hh.

Referenced by instance().

---

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

• lu_lu.g.hh
• lu_lu.cc
• lu_lu.g.cc

---