lestes::lang::cplus::sem::ss_function Class Reference

Class for function type. More...

#include <ss_type.g.hh>

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

List of all members.

Public Member Functions
ptr< ss_type >	returns_get () const
	The method returns_get returns the value of the field ss_function::returns.
void	returns_set (const ptr< ss_type > &)
	The method returns_set sets the field ss_function::returns to the given value.
ptr< ::lestes::std::list< srp< ss_type > > >	params_get () const
	The method params_get returns the value of the field ss_function::params.
void	params_set (const ptr< ::lestes::std::list< srp< ss_type > > > &)
	The method params_set sets the field ss_function::params to the given value.
bool	ellipsis_get () const
	The method ellipsis_get returns the value of the field ss_function::ellipsis.
void	ellipsis_set (bool)
	The method ellipsis_set sets the field ss_function::ellipsis to the given value.
bool	less_than (ptr< ss_function > other)
	Compares to other ss_function for inequality.
bool	equal_signature (ptr< ss_function > other)
	Compares to other ss_function signature.
virtual ptr< ::lestes::std::list< srp< or_ics_functional > > >	accept_or_ics_base (ptr< or_ics_base > v)
virtual or_cv_enum	accept_or_ics_base_cv (ptr< or_ics_base_cv > v)
virtual ptr< ::lestes::md::types::tm_data_type_base >	accept_ss_type2tm_type_gen_base (ptr< ss_type2tm_type_gen_base > v)
virtual void	accept_ss_type_visitor (ptr< ss_type_visitor > v)
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< ss_type >	instance (ptr< ss_type > return_type, ptr< ::lestes::std::list< srp< ss_type > > > param_types, bool ellipsis)
	Returns the instance representing specified function.
static ptr< ss_function >	create (ptr< ss_type > a__ss_function__returns, ptr< ::lestes::std::list< srp< ss_type > > > a__ss_function__params, bool a__ss_function__ellipsis)
	First generated factory method for class ss_function.
Protected Member Functions
	ss_function (ptr< ss_type > a__ss_function__returns, ptr< ::lestes::std::list< srp< ss_type > > > a__ss_function__params, bool a__ss_function__ellipsis)
	Generated constructor for class ss_function.
virtual void	gc_mark ()
	Marking routine for class ss_function.
Private Attributes
srp< ss_type >	returns
	The return type of the function.
srp< ::lestes::std::list< srp< ss_type > > >	params
	The types of parameters of the function.
bool	ellipsis
	Whether current function has an ellipsis(...) in function parameters.
Static Private Attributes
static ptr< ::lestes::std::set< srp< ss_function >, ss_function_comparator > >	instances = ::lestes::std::set< srp< ss_function >, ss_function_comparator > ::create()
	The singleton instances of the class.
static ptr< reflection_list >	reflection = reflection

---

Detailed Description

Class for function type.

Represents namespace function.

Definition at line 694 of file ss_type.g.hh.

---

Constructor & Destructor Documentation

lestes::lang::cplus::sem::ss_function::ss_function	(	ptr< ss_type >	a__ss_function__returns,
		ptr< ::lestes::std::list< srp< ss_type > > >	a__ss_function__params,
		bool	a__ss_function__ellipsis
	)			[protected]

Generated constructor for class ss_function.

Generated constructor for class ss_function.

Author:

lsg

Definition at line 1107 of file ss_type.g.cc.

Referenced by create().

        : ss_type(), returns(checked(a__ss_function__returns)), params(checked(a__ss_function__params)), ellipsis(a__ss_function__ellipsis)
{}

---

Member Function Documentation

ptr< ss_type > lestes::lang::cplus::sem::ss_function::returns_get

(

)

const

The method returns_get returns the value of the field ss_function::returns.

Returns:

The value of ss_function::returns.

Author:

lsg

Definition at line 1020 of file ss_type.g.cc.

References returns.

Referenced by less_than().

{
        return returns;
}

void lestes::lang::cplus::sem::ss_function::returns_set

(

const ptr< ss_type > &

x

)

The method returns_set sets the field ss_function::returns to the given value.

Parameters:

[in]

x

The new value to set ss_function::returns to.

Author:

lsg

Definition at line 1029 of file ss_type.g.cc.

References returns.

{
        ss_function::returns = x;
}

ptr<::lestes::std::list< srp< ss_type > > > lestes::lang::cplus::sem::ss_function::params_get

(

)

const

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

Returns:

The value of ss_function::params.

Author:

lsg

Definition at line 1038 of file ss_type.g.cc.

References params.

Referenced by equal_signature(), and less_than().

{
        return params;
}

void lestes::lang::cplus::sem::ss_function::params_set

(

const ptr< ::lestes::std::list< srp< ss_type > > > &

x

)

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

Parameters:

[in]

x

The new value to set ss_function::params to.

Author:

lsg

Definition at line 1047 of file ss_type.g.cc.

References params.

{
        ss_function::params = x;
}

bool lestes::lang::cplus::sem::ss_function::ellipsis_get

(

)

const

The method ellipsis_get returns the value of the field ss_function::ellipsis.

Returns:

The value of ss_function::ellipsis.

Author:

lsg

Definition at line 1056 of file ss_type.g.cc.

References ellipsis.

Referenced by equal_signature(), and less_than().

{
        return ellipsis;
}

void lestes::lang::cplus::sem::ss_function::ellipsis_set

(

bool

x

)

The method ellipsis_set sets the field ss_function::ellipsis to the given value.

Parameters:

[in]

x

The new value to set ss_function::ellipsis to.

Author:

lsg

Definition at line 1065 of file ss_type.g.cc.

References ellipsis.

{
        ss_function::ellipsis = x;
}

static ptr< ss_type > lestes::lang::cplus::sem::ss_function::instance	(	ptr< ss_type >	return_type,
		ptr< ::lestes::std::list< srp< ss_type > > >	param_types,
		bool	ellipsis
	)			[static]

Returns the instance representing specified function.

Referenced by lestes::lang::cplus::sem::or_builtin_operator_declaration_creator::construct_builtin_op().

bool lestes::lang::cplus::sem::ss_function::less_than

(

ptr< ss_function >

other

)

Compares to other ss_function for inequality.

Compares to other ss_function in the defined ordering. Used for container comparator. The ordering considers (in this order) the first of the following to compare less: the ellipsis flag, the return value, and the parameter sequence. For the purpose of comparison, the value of the pointer determines the ordering for the objects representing data types, as these are all singletonized SS types and thus impose consistent ordering. The parameters are compared lexicographically in the usual manner, stopping at the first inequality. If there is none, the shorter sequence compares less.

Precondition:

other != NULL

Parameters:

other

The other instance to compare to.

Returns:

true If this instance is less than the other in the defined ordering.

Definition at line 377 of file ss_type.cc.

References ellipsis_get(), lassert, params_get(), and returns_get().

{
        lassert(other);
        
        if (ellipsis_get() != other->ellipsis_get())
                return ellipsis_get() < other->ellipsis_get();

        if (returns_get() != other->returns_get())
                return returns_get() < other->returns_get();

        typedef ::lestes::std::list< srp<ss_type> > ss_type_list;
        ptr<ss_type_list> p = params_get();
        ptr<ss_type_list> q = other->params_get();

        ss_type_list::iterator pi = p->begin(), qi = q->begin(), pe = p->end(), qe = q->end();
        for ( ; pi != pe && qi != qe; ++pi, ++qi) {
                if (*pi != *qi)
                        return *pi < *qi;
        }

        // less when the other parameter list is longer
        return pi == pe && qi != qe;
}

bool lestes::lang::cplus::sem::ss_function::equal_signature

(

ptr< ss_function >

other

)

Compares to other ss_function signature.

Compares signatures ss_function in the defined ordering. Both functions have the same signature, if both have or have no ellipsis, if the parameter type sequences have the same length and the corresponding parameter types are the same.

Precondition:

other != NULL

Parameters:

other

The other instance to compare to.

Returns:

true If this instance has the same signature.

Definition at line 410 of file ss_type.cc.

References ellipsis_get(), lassert, and params_get().

{
        lassert(other);

        if (ellipsis_get() != other->ellipsis_get())
                return false;

        typedef ::lestes::std::list< srp<ss_type> > ss_type_list;
        ptr<ss_type_list> p = params_get();
        ptr<ss_type_list> q = other->params_get();

        if (p->size() != q->size()) return false;

        for (ss_type_list::iterator pi = p->begin(), qi = q->begin(), pe = p->end(), qe = q->end();
                pi != pe && qi != qe; ++pi, ++qi) {
                if (*pi != *qi) return false;
        }

        return true;
}

ptr<::lestes::std::list< srp< or_ics_functional > > > lestes::lang::cplus::sem::ss_function::accept_or_ics_base

(

ptr< or_ics_base >

v

)

[virtual]

Implements lestes::lang::cplus::sem::ss_type.

Reimplemented in lestes::lang::cplus::sem::ss_member_function.

Definition at line 1070 of file ss_type.g.cc.

{
        return v->visit_ss_function( this );
}

or_cv_enum lestes::lang::cplus::sem::ss_function::accept_or_ics_base_cv

(

ptr< or_ics_base_cv >

v

)

[virtual]

Implements lestes::lang::cplus::sem::ss_type.

Reimplemented in lestes::lang::cplus::sem::ss_member_function.

Definition at line 1075 of file ss_type.g.cc.

{
        return v->visit_ss_function( this );
}

ptr<::lestes::md::types::tm_data_type_base > lestes::lang::cplus::sem::ss_function::accept_ss_type2tm_type_gen_base

(

ptr< ss_type2tm_type_gen_base >

v

)

[virtual]

Implements lestes::lang::cplus::sem::ss_type.

Reimplemented in lestes::lang::cplus::sem::ss_member_function.

Definition at line 1080 of file ss_type.g.cc.

{
        return v->visit_ss_function( this );
}

void lestes::lang::cplus::sem::ss_function::accept_ss_type_visitor

(

ptr< ss_type_visitor >

v

)

[virtual]

Implements lestes::lang::cplus::sem::ss_type.

Reimplemented in lestes::lang::cplus::sem::ss_member_function.

Definition at line 1085 of file ss_type.g.cc.

{
        return v->visit_ss_function( this );
}

ptr< ss_function > lestes::lang::cplus::sem::ss_function::create	(	ptr< ss_type >	a__ss_function__returns,
		ptr< ::lestes::std::list< srp< ss_type > > >	a__ss_function__params,
		bool	a__ss_function__ellipsis
	)			[static]

First generated factory method for class ss_function.

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

Author:

lsg

Definition at line 1094 of file ss_type.g.cc.

References ss_function().

{
        return ptr< ss_function > ( new ss_function(a__ss_function__returns,
                a__ss_function__params,
                a__ss_function__ellipsis) );
}

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

(

)

const [virtual]

for purposes of dumping

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

Reimplemented in lestes::lang::cplus::sem::ss_member_function.

Definition at line 1113 of file ss_type.g.cc.

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

Referenced by lestes::lang::cplus::sem::ss_member_function::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( "instances", "set&lt; srp&lt; ss_function &gt;, ss_function_comparator &gt;" ) );
                mdl->push_back( md::create( "returns", "ss_type" ) );
                mdl->push_back( md::create( "params", "list&lt; srp&lt; ss_type &gt; &gt;" ) );
                mdl->push_back( md::create( "ellipsis", "bool" ) );
                reflection = reflection_list::create( ss_type::reflection_get() );
                reflection->push_back( class_reflection::create( "ss_function", mdl ) );
        }
        return reflection;
}

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

(

)

const [virtual]

for purposes of dumping

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

Reimplemented in lestes::lang::cplus::sem::ss_member_function.

Definition at line 1129 of file ss_type.g.cc.

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

Referenced by lestes::lang::cplus::sem::ss_member_function::field_values_get().

{
        ptr < field_list_list > result = ss_type::field_values_get();
        result->push_back( value_list::create() );
        result->back()->push_back( this->instances );
        result->push_back( value_list::create() );
        result->back()->push_back( this->returns );
        result->push_back( value_list::create() );
        result->back()->push_back( this->params );
        result->push_back( value_list::create() );
        result->back()->push_back( objectize< bool > ::create( this->ellipsis ) );
        return result;
}

void lestes::lang::cplus::sem::ss_function::gc_mark

(

void

)

[protected, virtual]

Marking routine for class ss_function.

Marking routine is used for garbage collection.

Author:

lsg

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

Reimplemented in lestes::lang::cplus::sem::ss_member_function.

Definition at line 1148 of file ss_type.g.cc.

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

Referenced by lestes::lang::cplus::sem::ss_member_function::gc_mark().

{
        ss_type::gc_mark();
}

---

Member Data Documentation

ptr<::lestes::std::set< srp< ss_function >, ss_function_comparator > > lestes::lang::cplus::sem::ss_function::instances = ::lestes::std::set< srp< ss_function >, ss_function_comparator > ::create() [static, private]

The singleton instances of the class.

Definition at line 753 of file ss_type.g.hh.

srp< ss_type > lestes::lang::cplus::sem::ss_function::returns [private]

The return type of the function.

Definition at line 755 of file ss_type.g.hh.

Referenced by returns_get(), and returns_set().

srp< ::lestes::std::list< srp< ss_type > > > lestes::lang::cplus::sem::ss_function::params [private]

The types of parameters of the function.

Definition at line 757 of file ss_type.g.hh.

Referenced by params_get(), and params_set().

bool lestes::lang::cplus::sem::ss_function::ellipsis [private]

Whether current function has an ellipsis(...) in function parameters.

Rationale for field contra individual class: There is no C++ type, which corresponds to ellipsis.

Definition at line 762 of file ss_type.g.hh.

Referenced by ellipsis_get(), and ellipsis_set().

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

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

Reimplemented in lestes::lang::cplus::sem::ss_member_function.

Definition at line 763 of file ss_type.g.hh.

Referenced by reflection_get().

---

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

• ss_type.g.hh
• ss_type.cc
• ss_type.g.cc

---