lestes::lang::cplus::sem::sa_param_declaration_empty Class Reference

Empty parameter declaration checker. More...

#include <sa_param_declaration_empty.g.hh>

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

List of all members.

Public Member Functions
bool	process (ptr< as_param_declaration > decl)
	Checks empty parameter declaration.
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< sa_param_declaration_empty >	create ()
	First generated factory method for class sa_param_declaration_empty.
Protected Member Functions
	sa_param_declaration_empty ()
	Generated constructor for class sa_param_declaration_empty.
virtual void	gc_mark ()
	Marking routine for class sa_param_declaration_empty.
Static Private Attributes
static ptr< reflection_list >	reflection = reflection

---

Detailed Description

Empty parameter declaration checker.

Tests whether a parameter declaration is a special case of bare (void) representing empty parameter list. It should be run only in case there is exactly one parameter declaration in the parameter declaration list, in other cases this kind of declaration is disallowed.

Definition at line 36 of file sa_param_declaration_empty.g.hh.

---

Constructor & Destructor Documentation

lestes::lang::cplus::sem::sa_param_declaration_empty::sa_param_declaration_empty

(

)

[protected]

Generated constructor for class sa_param_declaration_empty.

Generated constructor for class sa_param_declaration_empty.

Author:

lsg

Definition at line 42 of file sa_param_declaration_empty.g.cc.

Referenced by create().

        : object()
{}

---

Member Function Documentation

bool lestes::lang::cplus::sem::sa_param_declaration_empty::process

(

ptr< as_param_declaration >

decl

)

Checks empty parameter declaration.

Tests whether a parameter declaration contains only void declaration specifier and nothing else, no declarator specifiers and no name, so that it can be considered as a (void) parameter, designating empty paramter list. Does not report any error, only checks the conditions. Errors are reported in the parameter declaration itself.

Precondition:

decl != NULL

Parameters:

decl

The parameter declaration to test.

Returns:

true If the declaration designates empty parameter list.

Definition at line 57 of file sa_param_declaration_empty.cc.

References lestes::lang::cplus::sem::as_declaration_specifier2is_void::create(), lestes::msg::eolog, and lassert.

{
        typedef list< srp<as_declaration_specifier> > as_declaration_specifier_list;

        sa_param_declaration_empty_logger << "sa_param_declaration::process()\n" << msg::eolog;

        lassert(decl);

        bool correct = false;
        
        do {
                sa_param_declaration_empty_logger << "checking declaration specifiers\n" << msg::eolog;
                
                // analyse the declaration specifiers
                ptr<as_declaration_specifier_list> adsl = decl->declaration_specifiers_get();
                // TODO pt BUGBUG must test the actual type, perhaps typedefed!!!!

                // must be only specifier
                if (adsl->size() != 1) break;

                sa_param_declaration_empty_logger << "has single specifier\n" << msg::eolog;
                
                // must be void
                if (!as_declaration_specifier2is_void::create()->process(adsl->front())) break;
                
                sa_param_declaration_empty_logger << "the specifier is void\n" << msg::eolog;
                
                sa_param_declaration_empty_logger << "checking the declarator\n" << msg::eolog;

                // analyse declarator
                ptr<as_declarator> asd = decl->declarator_get();
                // must have no ops
                if (asd->declarator_ops_get()->size() != 0) break;
                
                sa_param_declaration_empty_logger << "has no declarator ops\n" << msg::eolog;
                
                // must have no name
                if (asd->name_get()) break;

                sa_param_declaration_empty_logger << "has no name\n" << msg::eolog;
                
                // all checks passed
                correct = true;

                sa_param_declaration_empty_logger << "all checks passed\n" << msg::eolog;
        } while (false);

        sa_param_declaration_empty_logger << "sa_param_declaration::process() end\n" << msg::eolog;

        return correct;
}

ptr< sa_param_declaration_empty > lestes::lang::cplus::sem::sa_param_declaration_empty::create

(

void

)

[static]

First generated factory method for class sa_param_declaration_empty.

This factory method for class sa_param_declaration_empty takes values of all fields as arguments.

Author:

lsg

Definition at line 33 of file sa_param_declaration_empty.g.cc.

References sa_param_declaration_empty().

{
        return ptr< sa_param_declaration_empty > ( new sa_param_declaration_empty() );
}

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

(

)

const [virtual]

for purposes of dumping

Reimplemented from lestes::std::object.

Definition at line 46 of file sa_param_declaration_empty.g.cc.

References lestes::std::list< T >::create(), reflection, and lestes::std::object::reflection_get().

{
        if (!reflection) {
                typedef class_reflection::field_metadata md;
                typedef class_reflection::field_metadata_list mdlist;
                ptr<mdlist> mdl = mdlist::create();
                reflection = reflection_list::create( ::lestes::std::object::reflection_get() );
                reflection->push_back( class_reflection::create( "sa_param_declaration_empty", mdl ) );
        }
        return reflection;
}

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

(

)

const [virtual]

for purposes of dumping

Reimplemented from lestes::std::object.

Definition at line 58 of file sa_param_declaration_empty.g.cc.

References lestes::std::object::field_values_get().

{
        ptr < field_list_list > result = ::lestes::std::object::field_values_get();
        return result;
}

void lestes::lang::cplus::sem::sa_param_declaration_empty::gc_mark

(

void

)

[protected, virtual]

Marking routine for class sa_param_declaration_empty.

Marking routine is used for garbage collection.

Author:

lsg

Reimplemented from lestes::std::mem::keystone.

Definition at line 69 of file sa_param_declaration_empty.g.cc.

References lestes::std::mem::keystone::gc_mark().

{
	::lestes::std::object::gc_mark();
}

---

Member Data Documentation

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

Reimplemented from lestes::std::object.

Definition at line 62 of file sa_param_declaration_empty.g.hh.

Referenced by reflection_get().

---

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

• sa_param_declaration_empty.g.hh
• sa_param_declaration_empty.cc
• sa_param_declaration_empty.g.cc

---