lestes::lang::cplus::sem::ss_volatile Class Reference

Class for volatile types. More...

#include <ss_type.g.hh>

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

List of all members.

Public Member Functions
ptr< ss_type >	what_get () const
	The method what_get returns the value of the field ss_volatile::what.
void	what_set (const ptr< ss_type > &)
	The method what_set sets the field ss_volatile::what to the given value.
virtual bool	is_void ()
	Is this type void?
virtual bool	is_volatile ()
	Is this type volatile?
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 > type)
	get the instance representing appropriately qualified argument type
static ptr< ss_volatile >	create (ptr< ss_type > a__ss_volatile__what)
	First generated factory method for class ss_volatile.
Protected Member Functions
	ss_volatile (ptr< ss_type > a__ss_volatile__what)
	Generated constructor for class ss_volatile.
virtual void	gc_mark ()
	Marking routine for class ss_volatile.
Private Attributes
srp< ss_type >	what
Static Private Attributes
static ptr< ::lestes::std::map< srp< ss_type >, srp< ss_type > > >	the_instances = ::lestes::std::map< srp< ss_type >, srp< ss_type > > ::create()
	holder for the class instances
static ptr< reflection_list >	reflection = reflection

---

Detailed Description

Class for volatile types.

Singleton class.

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

---

Constructor & Destructor Documentation

lestes::lang::cplus::sem::ss_volatile::ss_volatile

(

ptr< ss_type >

a__ss_volatile__what

)

[protected]

Generated constructor for class ss_volatile.

Generated constructor for class ss_volatile.

Author:

lsg

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

Referenced by create().

        : ss_type(), what(checked(a__ss_volatile__what))
{}

---

Member Function Documentation

ptr< ss_type > lestes::lang::cplus::sem::ss_volatile::what_get

(

)

const

The method what_get returns the value of the field ss_volatile::what.

Returns:

The value of ss_volatile::what.

Author:

lsg

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

References what.

{
        return what;
}

void lestes::lang::cplus::sem::ss_volatile::what_set

(

const ptr< ss_type > &

x

)

The method what_set sets the field ss_volatile::what to the given value.

Parameters:

[in]

x

The new value to set ss_volatile::what to.

Author:

lsg

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

References what.

{
        ss_volatile::what = x;
}

bool lestes::lang::cplus::sem::ss_volatile::is_void

(

)

[virtual]

Is this type void?

Used for genarating pi calls. Differentiate between call and callv. Generic case returns false;

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

Definition at line 68 of file ss_type.cc.

References what.

{
        return what->is_void();
}

bool lestes::lang::cplus::sem::ss_volatile::is_volatile

(

)

[virtual]

Is this type volatile?

Used for generating side effects. Returns true.

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

Definition at line 104 of file ss_type.cc.

{
        return true;
}

ptr< ss_type > lestes::lang::cplus::sem::ss_volatile::instance

(

ptr< ss_type >

x

)

[static]

get the instance representing appropriately qualified argument type

Returns volatilized version of a given type. The volatilization is an idempotent operation. Constization and volatilization is commutative.

Precondition:

x != NULL

Parameters:

x

The type to make volatile.

Returns:

The volatilized type.

Definition at line 178 of file ss_type.cc.

References lestes::intercode::intercode::create(), lestes::lang::cplus::sem::ss_type2info::create(), lestes::lang::cplus::sem::ss_const::instance(), lassert, lestes::lang::cplus::sem::ss_type2info::SS_CONST, lestes::lang::cplus::sem::ss_type2info::SS_CONST_VOLATILE, lestes::lang::cplus::sem::ss_type2info::SS_VOLATILE, and the_instances.

{
        the_instances->dump_barrier_set(true); // XXX: needed just once :-I

        lassert(x);
        srp <ss_type> &result = (*the_instances)[x];

        if (result) 
                return result;

        ptr<ss_type2info> ssti = ss_type2info::create();

        switch (ssti->process(x)) {
        case ss_type2info::SS_VOLATILE:
        case ss_type2info::SS_CONST_VOLATILE:
                return result = x;
        case ss_type2info::SS_CONST:
                // create ss_const_volatile only via instance of ss_const
                return result = ss_const::instance(ss_volatile::instance(ssti->ss_const_object_get()->what_get()));
        default:
                break;
        }

        return result = ss_volatile::create(x);
}

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

(

ptr< or_ics_base >

v

)

[virtual]

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

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

{
        return v->visit_ss_volatile( this );
}

or_cv_enum lestes::lang::cplus::sem::ss_volatile::accept_or_ics_base_cv

(

ptr< or_ics_base_cv >

v

)

[virtual]

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

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

{
        return v->visit_ss_volatile( this );
}

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

(

ptr< ss_type2tm_type_gen_base >

v

)

[virtual]

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

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

{
        return v->visit_ss_volatile( this );
}

void lestes::lang::cplus::sem::ss_volatile::accept_ss_type_visitor

(

ptr< ss_type_visitor >

v

)

[virtual]

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

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

{
        return v->visit_ss_volatile( this );
}

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

(

ptr< ss_type >

a__ss_volatile__what

)

[static]

First generated factory method for class ss_volatile.

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

Author:

lsg

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

References ss_volatile().

{
        return ptr< ss_volatile > ( new ss_volatile(a__ss_volatile__what) );
}

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

(

)

const [virtual]

for purposes of dumping

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

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

References lestes::std::list< T >::create(), reflection, and lestes::lang::cplus::sem::ss_type::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( "what", "ss_type" ) );
                mdl->push_back( md::create( "the_instances", "map&lt; srp&lt; ss_type &gt;, srp&lt; ss_type &gt; &gt;" ) );
                reflection = reflection_list::create( ss_type::reflection_get() );
                reflection->push_back( class_reflection::create( "ss_volatile", mdl ) );
        }
        return reflection;
}

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

(

)

const [virtual]

for purposes of dumping

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

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

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

{
        ptr < field_list_list > result = ss_type::field_values_get();
        result->push_back( value_list::create() );
        result->back()->push_back( this->what );
        result->push_back( value_list::create() );
        result->back()->push_back( this->the_instances );
        return result;
}

void lestes::lang::cplus::sem::ss_volatile::gc_mark

(

void

)

[protected, virtual]

Marking routine for class ss_volatile.

Marking routine is used for garbage collection.

Author:

lsg

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

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

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

{
        ss_type::gc_mark();
}

---

Member Data Documentation

srp< ss_type > lestes::lang::cplus::sem::ss_volatile::what [private]

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

Referenced by is_void(), what_get(), and what_set().

ptr<::lestes::std::map< srp< ss_type >, srp< ss_type > > > lestes::lang::cplus::sem::ss_volatile::the_instances = ::lestes::std::map< srp< ss_type >, srp< ss_type > > ::create() [static, private]

holder for the class instances

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

Referenced by instance().

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

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

Definition at line 280 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

---