sa_statements.g.hh

Go to the documentation of this file.

// This file is automatically generated, do not edit.

/*!
        \file
        \brief AS to SS statements transformation
        \author egg
*/

#ifndef lestes__lang__cplus__sem__sa_statements_g_hh__included
#define lestes__lang__cplus__sem__sa_statements_g_hh__included

#include <lestes/common.hh>
#include <lestes/lang/cplus/sem/as_decl.g.hh>
#include <lestes/lang/cplus/sem/as_statements.g.hh>
#include <lestes/lang/cplus/sem/as_visitor.v.g.hh>
#include <lestes/lang/cplus/sem/sa_context.g.hh>
#include <lestes/lang/cplus/sem/declaration_broadcasting.hh>
#include <lestes/lang/cplus/sem/ss_declaration.g.hh>
#include <lestes/lang/cplus/sem/ss_declaration_visitor.v.g.hh>
#include <lestes/lang/cplus/sem/ss_expression.g.hh>
#include <lestes/lang/cplus/sem/ss_misc.g.hh>
#include <lestes/lang/cplus/sem/visitor.v.g.hh>

#include <lestes/std/objectize_macros.hh>
package(lestes);
package(std);
class source_location;
end_package(std);
end_package(lestes);

package(lestes);
package(std);
class object;
end_package(std);
end_package(lestes);

package(lestes);
package(lang);
package(cplus);
package(sem);



                typedef ::lestes::std::list < srp < ss_expression > > expr_list;
        



class as_compound_statement;
class as_condition;
class as_expression;
class as_expression_list;
class as_expression_statement;
class as_function_definition;
class as_initializer_clause;
class as_return_statement;
class as_statement;
class ss_compound_stmt;
class ss_declaration;
class ss_decl_seq;
class ss_expression;
class ss_function_declaration;
class ss_type;
class ss_sp;
class sa_statements;
class decl_stmt_listener;
class last_declaration_memorizer;
class initializer_clause_converter;
class condition_to_expression;
class sa_expression_converter;
class get_real_declaration;


//! Main visitor for statements SA
class sa_statements : public ::lestes::std::object {
public:
        //! The method current_function_get returns the value of the field sa_statements::current_function.
        ptr< ss_function_declaration > current_function_get() const;

        //! The method current_function_set sets the field sa_statements::current_function to the given value.
        void current_function_set(const ptr< ss_function_declaration > &);

        //! The method last_declaration_get returns the value of the field sa_statements::last_declaration.
        ptr< ss_declaration > last_declaration_get() const;

        //! The method last_declaration_set sets the field sa_statements::last_declaration to the given value.
        void last_declaration_set(const ptr< ss_declaration > &);

        void declarator_simple(ptr< ::lestes::std::source_location > loc);

        void declarator_init(ptr< ::lestes::std::source_location > loc, ptr< as_initializer_clause > inizer);

        void declarator_ctor(ptr< ::lestes::std::source_location > loc, ptr< as_expression_list > inizer);

        //! Create new function scope, switch context into it.
        void enter_function(ptr< ::lestes::std::source_location > loc, ptr< as_function_definition > as_func);

        //! Leave function created using enter_function.
        void leave_function();

        //! Create new ss_compound_stmt with all the stuff and switch context into it.
        void enter_scope(ptr< ::lestes::std::source_location > loc);

        //! Leave scope created using enter_scope.
        void leave_scope();

        //! Given declaration should have a fake in current scope.
        void insert_fake_declaration(ptr< ss_declaration > decl);

        //! Make ss_expr_stmt from as_expression_statement.
        void expression_stmt(ptr< as_expression > as);

        //! Make ss_return from as_return_statement.
        void return_stmt(ptr< as_return_statement > as);

        void if_head(ptr< ::lestes::std::source_location > loc, ptr< as_condition > cond);

        void while_head(ptr< ::lestes::std::source_location > loc, ptr< as_condition > cond);

        void for_head(ptr< ::lestes::std::source_location > loc, ptr< as_condition > cond, ptr< as_expression > iter);

        void for_inner_action(ptr< ::lestes::std::source_location > loc);

        void condition_decl(ptr< ::lestes::std::source_location > loc, ptr< as_expression > inizer);

        //! Switch context into given subscope and optionally insert a fake declaration.
        void enter_subcompound(ptr< ss_compound_stmt > scope);

        void enter_else();

        ptr< ss_compound_stmt > new_compound(ptr< ::lestes::std::source_location > loc);

        
        //! Generated instance() method for singleton class sa_statements.
        static ptr< sa_statements > instance ();

        

        //! for purposes of dumping
        virtual ptr<reflection_list> reflection_get() const;
        //! for purposes of dumping
        virtual ptr<field_list_list> field_values_get() const;
        
protected:
        //! Generated constructor for class sa_statements.
        sa_statements (
                ptr< ss_function_declaration > a__sa_statements__current_function,
                ptr< ss_declaration > a__sa_statements__last_declaration);

        //! Marking routine for class sa_statements. 
        virtual void gc_mark();

private:
        srp< ss_function_declaration > current_function;
        srp< ss_declaration > last_declaration;
        static ptr<reflection_list> reflection;
        static ptr<sa_statements> the_instance;
        
}; // sa_statements


class decl_stmt_listener : public declaration_broadcast_listener {
public:
        void run(ptr< ss_declaration > decl);

        
        //! Generated instance() method for singleton class decl_stmt_listener.
        static ptr< decl_stmt_listener > instance ();

        

        //! for purposes of dumping
        virtual ptr<reflection_list> reflection_get() const;
        //! for purposes of dumping
        virtual ptr<field_list_list> field_values_get() const;
        
protected:
        //! Generated constructor for class decl_stmt_listener.
        decl_stmt_listener (
                );

        //! Marking routine for class decl_stmt_listener. 
        virtual void gc_mark();

private:
        static ptr<reflection_list> reflection;
        static ptr<decl_stmt_listener> the_instance;
        
}; // decl_stmt_listener


class last_declaration_memorizer : public ss_declaration_default_visitor {
public:
        virtual void visit_ss_object_declaration(ptr< ::lestes::lang::cplus::sem::ss_object_declaration > );

        virtual void default_action(ptr< ::lestes::lang::cplus::sem::ss_declaration > );

        
        //! Generated instance() method for singleton class last_declaration_memorizer.
        static ptr< last_declaration_memorizer > instance ();

        

        //! for purposes of dumping
        virtual ptr<reflection_list> reflection_get() const;
        //! for purposes of dumping
        virtual ptr<field_list_list> field_values_get() const;
        
protected:
        //! Generated constructor for class last_declaration_memorizer.
        last_declaration_memorizer (
                );

        //! Marking routine for class last_declaration_memorizer. 
        virtual void gc_mark();

private:
        static ptr<reflection_list> reflection;
        static ptr<last_declaration_memorizer> the_instance;
        
}; // last_declaration_memorizer


class initializer_clause_converter : public as_initializer_clause_visitor {
public:
        //! The method psp_get returns the value of the field initializer_clause_converter::psp.
        ptr< ss_sp > psp_get() const;

        //! The method psp_set sets the field initializer_clause_converter::psp to the given value.
        void psp_set(const ptr< ss_sp > &);

        //! The method nsp_get returns the value of the field initializer_clause_converter::nsp.
        ptr< ss_sp > nsp_get() const;

        //! The method nsp_set sets the field initializer_clause_converter::nsp to the given value.
        void nsp_set(const ptr< ss_sp > &);

        //! The method sps_get returns the value of the field initializer_clause_converter::sps.
        ptr< ::lestes::std::list< srp< ss_sp > > > sps_get() const;

        //! The method sps_set sets the field initializer_clause_converter::sps to the given value.
        void sps_set(const ptr< ::lestes::std::list< srp< ss_sp > > > & );

        //! The method type_get returns the value of the field initializer_clause_converter::type.
        ptr< ss_type > type_get() const;

        //! The method type_set sets the field initializer_clause_converter::type to the given value.
        void type_set(const ptr< ss_type > &);

        //! The method result_get returns the value of the field initializer_clause_converter::result.
        ptr< expr_list > result_get() const;

        //! The method result_set sets the field initializer_clause_converter::result to the given value.
        void result_set(const ptr< expr_list > &);

        virtual void visit_as_initializer_clause_expression(ptr< ::lestes::lang::cplus::sem::as_initializer_clause_expression > );

        virtual void visit_as_initializer_clause_braced(ptr< ::lestes::lang::cplus::sem::as_initializer_clause_braced > );

        
        //! First generated factory method for class initializer_clause_converter.
        static ptr< initializer_clause_converter > create (
                ptr< ss_sp > a__initializer_clause_converter__psp,
                ptr< ss_sp > a__initializer_clause_converter__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__initializer_clause_converter__sps,
                ptr< ss_type > a__initializer_clause_converter__type,
                ptr< expr_list > a__initializer_clause_converter__result);

        //! Second generated factory method for class initializer_clause_converter.
        static ptr< initializer_clause_converter > create (
                ptr< ss_sp > a__initializer_clause_converter__psp,
                ptr< ss_sp > a__initializer_clause_converter__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__initializer_clause_converter__sps,
                ptr< ss_type > a__initializer_clause_converter__type);

        
        //! "visit-return" method
        ptr< expr_list > process( const ptr< ::lestes::lang::cplus::sem::as_initializer_clause > & );

        //! for purposes of dumping
        virtual ptr<reflection_list> reflection_get() const;
        //! for purposes of dumping
        virtual ptr<field_list_list> field_values_get() const;
        
protected:
        //! Generated constructor for class initializer_clause_converter.
        initializer_clause_converter (
                ptr< ss_sp > a__initializer_clause_converter__psp,
                ptr< ss_sp > a__initializer_clause_converter__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__initializer_clause_converter__sps,
                ptr< ss_type > a__initializer_clause_converter__type,
                ptr< expr_list > a__initializer_clause_converter__result);

        //! Marking routine for class initializer_clause_converter. 
        virtual void gc_mark();

private:
        srp< ss_sp > psp;
        srp< ss_sp > nsp;
        srp< ::lestes::std::list< srp< ss_sp > > >  sps;
        srp< ss_type > type;
        srp< expr_list > result;
        static ptr<reflection_list> reflection;
        
}; // initializer_clause_converter


class condition_to_expression : public as_condition_visitor {
public:
        //! The method psp_get returns the value of the field condition_to_expression::psp.
        ptr< ss_sp > psp_get() const;

        //! The method psp_set sets the field condition_to_expression::psp to the given value.
        void psp_set(const ptr< ss_sp > &);

        //! The method nsp_get returns the value of the field condition_to_expression::nsp.
        ptr< ss_sp > nsp_get() const;

        //! The method nsp_set sets the field condition_to_expression::nsp to the given value.
        void nsp_set(const ptr< ss_sp > &);

        //! The method sps_get returns the value of the field condition_to_expression::sps.
        ptr< ::lestes::std::list< srp< ss_sp > > > sps_get() const;

        //! The method sps_set sets the field condition_to_expression::sps to the given value.
        void sps_set(const ptr< ::lestes::std::list< srp< ss_sp > > > & );

        //! The method result_get returns the value of the field condition_to_expression::result.
        ptr< ss_expression > result_get() const;

        //! The method result_set sets the field condition_to_expression::result to the given value.
        void result_set(const ptr< ss_expression > &);

        virtual void visit_as_empty_condition(ptr< ::lestes::lang::cplus::sem::as_empty_condition > );

        virtual void visit_as_condition_expression(ptr< ::lestes::lang::cplus::sem::as_condition_expression > );

        virtual void visit_as_condition_declaration(ptr< ::lestes::lang::cplus::sem::as_condition_declaration > );

        
        //! First generated factory method for class condition_to_expression.
        static ptr< condition_to_expression > create (
                ptr< ss_sp > a__condition_to_expression__psp,
                ptr< ss_sp > a__condition_to_expression__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__condition_to_expression__sps,
                ptr< ss_expression > a__condition_to_expression__result);

        //! Second generated factory method for class condition_to_expression.
        static ptr< condition_to_expression > create (
                ptr< ss_sp > a__condition_to_expression__psp,
                ptr< ss_sp > a__condition_to_expression__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__condition_to_expression__sps);

        
        //! "visit-return" method
        ptr< ss_expression > process( const ptr< ::lestes::lang::cplus::sem::as_condition > & );

        //! for purposes of dumping
        virtual ptr<reflection_list> reflection_get() const;
        //! for purposes of dumping
        virtual ptr<field_list_list> field_values_get() const;
        
protected:
        //! Generated constructor for class condition_to_expression.
        condition_to_expression (
                ptr< ss_sp > a__condition_to_expression__psp,
                ptr< ss_sp > a__condition_to_expression__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__condition_to_expression__sps,
                ptr< ss_expression > a__condition_to_expression__result);

        //! Marking routine for class condition_to_expression. 
        virtual void gc_mark();

private:
        srp< ss_sp > psp;
        srp< ss_sp > nsp;
        srp< ::lestes::std::list< srp< ss_sp > > >  sps;
        srp< ss_expression > result;
        static ptr<reflection_list> reflection;
        
}; // condition_to_expression


//! Visitor to transform AS expressions to SS and convert them to given type.
class sa_expression_converter : public abstract_sa_expression_converter {
public:
        //! The method alpha_get returns the value of the field sa_expression_converter::alpha.
        ptr< ss_sp > alpha_get() const;

        //! The method alpha_set sets the field sa_expression_converter::alpha to the given value.
        void alpha_set(const ptr< ss_sp > &);

        //! The method beta_get returns the value of the field sa_expression_converter::beta.
        ptr< ss_sp > beta_get() const;

        //! The method beta_set sets the field sa_expression_converter::beta to the given value.
        void beta_set(const ptr< ss_sp > &);

        //! The method sps_get returns the value of the field sa_expression_converter::sps.
        ptr< ::lestes::std::list< srp< ss_sp > > > sps_get() const;

        //! The method sps_set sets the field sa_expression_converter::sps to the given value.
        void sps_set(const ptr< ::lestes::std::list< srp< ss_sp > > > & );

        //! The method type_get returns the value of the field sa_expression_converter::type.
        ptr< ss_type > type_get() const;

        //! The method type_set sets the field sa_expression_converter::type to the given value.
        void type_set(const ptr< ss_type > &);

        //! The method result_get returns the value of the field sa_expression_converter::result.
        ptr< ss_expression > result_get() const;

        //! The method result_set sets the field sa_expression_converter::result to the given value.
        void result_set(const ptr< ss_expression > &);

        virtual void visit_as_empty_expression(ptr< ::lestes::lang::cplus::sem::as_empty_expression > );

        virtual void convert(ptr< ::lestes::lang::cplus::sem::as_expression > );

        
        //! First generated factory method for class sa_expression_converter.
        static ptr< sa_expression_converter > create (
                ptr< ss_sp > a__sa_expression_converter__alpha,
                ptr< ss_sp > a__sa_expression_converter__beta,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__sa_expression_converter__sps,
                ptr< ss_type > a__sa_expression_converter__type,
                ptr< ss_expression > a__sa_expression_converter__result);

        //! Second generated factory method for class sa_expression_converter.
        static ptr< sa_expression_converter > create (
                ptr< ss_sp > a__sa_expression_converter__alpha,
                ptr< ss_sp > a__sa_expression_converter__beta,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__sa_expression_converter__sps);

        
        //! "visit-return" method
        ptr< ss_expression > process( const ptr< ::lestes::lang::cplus::sem::as_expression > & );

        //! for purposes of dumping
        virtual ptr<reflection_list> reflection_get() const;
        //! for purposes of dumping
        virtual ptr<field_list_list> field_values_get() const;
        
protected:
        //! Generated constructor for class sa_expression_converter.
        sa_expression_converter (
                ptr< ss_sp > a__sa_expression_converter__alpha,
                ptr< ss_sp > a__sa_expression_converter__beta,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__sa_expression_converter__sps,
                ptr< ss_type > a__sa_expression_converter__type,
                ptr< ss_expression > a__sa_expression_converter__result);

        //! Marking routine for class sa_expression_converter. 
        virtual void gc_mark();

private:
        srp< ss_sp > alpha;
        srp< ss_sp > beta;
        srp< ::lestes::std::list< srp< ss_sp > > >  sps;
        srp< ss_type > type;
        srp< ss_expression > result;
        static ptr<reflection_list> reflection;
        
}; // sa_expression_converter


//! If the declaration is a fake declaration, this visitor gets a real declaration from it. Otherwise it returns its input.
class get_real_declaration : public ss_declaration_default_visitor {
public:
        //! The method result_get returns the value of the field get_real_declaration::result.
        ptr< ss_declaration > result_get() const;

        //! The method result_set sets the field get_real_declaration::result to the given value.
        void result_set(const ptr< ss_declaration > &);

        virtual void visit_ss_fake_declaration(ptr< ::lestes::lang::cplus::sem::ss_fake_declaration > );

        virtual void default_action(ptr< ::lestes::lang::cplus::sem::ss_declaration > );

        
        //! Generated instance() method for singleton class get_real_declaration.
        static ptr< get_real_declaration > instance ();

        
        //! "visit-return" method
        ptr< ss_declaration > process( const ptr< ::lestes::lang::cplus::sem::ss_declaration > & );

        //! for purposes of dumping
        virtual ptr<reflection_list> reflection_get() const;
        //! for purposes of dumping
        virtual ptr<field_list_list> field_values_get() const;
        
protected:
        //! Generated constructor for class get_real_declaration.
        get_real_declaration (
                ptr< ss_declaration > a__get_real_declaration__result);

        //! Marking routine for class get_real_declaration. 
        virtual void gc_mark();

private:
        srp< ss_declaration > result;
        static ptr<reflection_list> reflection;
        static ptr<get_real_declaration> the_instance;
        
}; // get_real_declaration


end_package(sem);
end_package(cplus);
end_package(lang);
end_package(lestes);

#endif // lestes__lang__cplus__sem__sa_statements_g_hh__included

---