ss_statement.g.hh

Go to the documentation of this file.

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

/*!
        \file
        \brief Intercode structure for project Lestes
        
                        This file describes a set of classes and data types used for intercode layer -ss-.
                        It is an output from a XSLT template which generates C++ code.
                
*/

#ifndef lestes__lang__cplus__sem__ss_statement_g_hh__included
#define lestes__lang__cplus__sem__ss_statement_g_hh__included

#include <lestes/common.hh>
#include <lestes/intercode/intercode.g.hh>
#include <lestes/lang/cplus/sem/ss_expression.g.hh>
#include <lestes/lang/cplus/sem/ss_statement.hh>
#include <lestes/lang/cplus/sem/ss_misc.g.hh>

#include <lestes/std/objectize_macros.hh>
package(lestes);
package(lang);
package(cplus);
package(sem);


class ss_sp;
class ss_decl_seq;
class ss_declaration;
class ss_expression;
class ss_iter_stmt;
class ss_label;
class ss_case_label;
class ss_default_label;
class ss_breakable_stmt_label;
class ss_statement;
class ss_statement_visitor;
class ss_compound_stmt;
class ss_decl_stmt;
class ss_try;
class ss_break;
class ss_return;
class ss_goto;
class ss_expr_stmt;
class ss_continue;
class ss_if_stmt;
class ss_catch;
class ss_breakable_stmt;
class ss_switch_stmt;
class ss_iteration_stmt;
class ss_do;
class ss_while;
class ss_for;


//! Base class for statements
class ss_statement : public ::lestes::intercode::ss_base_with_location {
public:
        //! The method labels_get returns the value of the field ss_statement::labels.
        ptr< ::lestes::std::list< srp< ss_label > > > labels_get() const;

        //! The method parent_get returns the value of the field ss_statement::parent.
        ptr< ss_compound_stmt > parent_get() const;

        //! The method psp_get returns the value of the field ss_statement::psp.
        ptr< ss_sp > psp_get() const;

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

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

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

        //! The method sequence_points_get returns the value of the field ss_statement::sequence_points.
        ptr< ::lestes::std::list< srp< ss_sp > > > sequence_points_get() const;

        //! Sets the parent field, can only be called from ss_compound_stmt::instance.
        void parent_set_once_hack(ptr< ss_compound_stmt > );

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v ) abstract;
        

        //! 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 ss_statement.
        ss_statement (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points);

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

private:
        //! List of labels prefixing the current statement.
        srp< ::lestes::std::list< srp< ss_label > > >  labels;
        srp< ss_compound_stmt > parent;
        srp< ss_sp > psp;
        srp< ss_sp > nsp;
        /*! \brief List of all sequence points in this statement.

        
                                        Note: This also includes previous and next sequnce point(psp,nsp).

                                        It might be necessary to allow setter/alter after two-pass
                                        analysis of expressions is implemented.
                                
        */
        srp< ::lestes::std::list< srp< ss_sp > > >  sequence_points;
        static bool parent_set_ward;
        static ptr<reflection_list> reflection;
        
}; // ss_statement


//! Class for compound statement
class ss_compound_stmt : public ss_statement {
public:
        enum behavior_type {
                NORMAL,
                NO_CREATE,
                NO_LEAVE
        };

        //! The method decl_seq_get returns the value of the field ss_compound_stmt::decl_seq.
        ptr< ss_decl_seq > decl_seq_get() const;

        //! The method statements_get returns the value of the field ss_compound_stmt::statements.
        ptr< ::lestes::std::list< srp< ss_statement > > > statements_get() const;

        //! The method destructor_sp_get returns the value of the field ss_compound_stmt::destructor_sp.
        ptr< ss_sp > destructor_sp_get() const;

        //! The method destructor_sp_set sets the field ss_compound_stmt::destructor_sp to the given value.
        void destructor_sp_set(const ptr< ss_sp > &);

        //! The method behavior_get returns the value of the field ss_compound_stmt::behavior.
        behavior_type behavior_get() const;

        //! The method behavior_set sets the field ss_compound_stmt::behavior to the given value.
        void behavior_set(behavior_type);

        //! Returns pointer to the instance of root (grandparent) ss_compound_stmt.
        static ptr< ss_compound_stmt > root_instance();

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_compound_stmt.
        static ptr< ss_compound_stmt > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_decl_seq > a__ss_compound_stmt__decl_seq,
                ptr< ::lestes::std::list< srp< ss_statement > > > a__ss_compound_stmt__statements,
                ptr< ss_sp > a__ss_compound_stmt__destructor_sp,
                behavior_type a__ss_compound_stmt__behavior);

        //! Second generated factory method for class ss_compound_stmt.
        static ptr< ss_compound_stmt > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_decl_seq > a__ss_compound_stmt__decl_seq,
                ptr< ::lestes::std::list< srp< ss_statement > > > a__ss_compound_stmt__statements,
                ptr< ss_sp > a__ss_compound_stmt__destructor_sp);

        

        //! 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 ss_compound_stmt.
        ss_compound_stmt (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_decl_seq > a__ss_compound_stmt__decl_seq,
                ptr< ::lestes::std::list< srp< ss_statement > > > a__ss_compound_stmt__statements,
                ptr< ss_sp > a__ss_compound_stmt__destructor_sp,
                behavior_type a__ss_compound_stmt__behavior);

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

private:
        //! The sequence of declaration declared in this compound statement.Used as scope.
        srp< ss_decl_seq > decl_seq;
        /*! \brief The sequence of statements in this compound statement.

        Declarations declared in this compound statement have their 
                                        associated decl_stmt inserted to the statement list. 
        */
        srp< ::lestes::std::list< srp< ss_statement > > >  statements;
        //! Special sequence point for separating statements in compound_stmt and destructors for local variables created in current compound_stmt, which shall be destroyed at the end [].
        srp< ss_sp > destructor_sp;
        static ptr< ss_compound_stmt > the_root_instance;
        behavior_type behavior;
        static ptr<reflection_list> reflection;
        
}; // ss_compound_stmt


//! Class for declaration statement
class ss_decl_stmt : public ss_statement {
public:
        enum initializer_kind_enum {
                IK_DIRECT_INITIALIZATION,
                IK_DEFAULT_INITIALIZATION,
                IK_COPY_INITIALIZATION,
                IK_NOT_APPLY_INITIALIZATION
        };

        //! The method decl_get returns the value of the field ss_decl_stmt::decl.
        ptr< ss_declaration > decl_get() const;

        //! The method decl_set sets the field ss_decl_stmt::decl to the given value.
        void decl_set(const ptr< ss_declaration > &);

        //! The method args_get returns the value of the field ss_decl_stmt::args.
        ptr< ::lestes::std::list< srp< ss_expression > > > args_get() const;

        //! The method args_set sets the field ss_decl_stmt::args to the given value.
        void args_set(const ptr< ::lestes::std::list< srp< ss_expression > > > & );

        //! The method initializer_kind_get returns the value of the field ss_decl_stmt::initializer_kind.
        initializer_kind_enum initializer_kind_get() const;

        //! The method initializer_kind_set sets the field ss_decl_stmt::initializer_kind to the given value.
        void initializer_kind_set(initializer_kind_enum);

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_decl_stmt.
        static ptr< ss_decl_stmt > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_declaration > a__ss_decl_stmt__decl,
                ptr< ::lestes::std::list< srp< ss_expression > > > a__ss_decl_stmt__args,
                initializer_kind_enum a__ss_decl_stmt__initializer_kind);

        

        //! 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 ss_decl_stmt.
        ss_decl_stmt (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_declaration > a__ss_decl_stmt__decl,
                ptr< ::lestes::std::list< srp< ss_expression > > > a__ss_decl_stmt__args,
                initializer_kind_enum a__ss_decl_stmt__initializer_kind);

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

private:
        srp< ss_declaration > decl;
        srp< ::lestes::std::list< srp< ss_expression > > >  args;
        /*! \brief Distinguishes kind of initialization

        
                                        <pre>
                                        IK_COPY_INITIALIZATION:         int i = 3; int i = f(x);
                                        IK_DIRECT_INITIALIZATION:       int i (3); A i (3,3);
                                        IK_DEFAULT_INITIALIZATION:      int i;
                                        IK_NOT_APPLY_INITIALIZATION:    class x {};     // where no initialization is possible
                                        details see [8.5]
                                        </pre>
                                
        */
        initializer_kind_enum initializer_kind;
        static ptr<reflection_list> reflection;
        
}; // ss_decl_stmt


//! Class for try-block
class ss_try : public ss_statement {
public:
        //! The method block_get returns the value of the field ss_try::block.
        ptr< ss_compound_stmt > block_get() const;

        //! The method block_set sets the field ss_try::block to the given value.
        void block_set(const ptr< ss_compound_stmt > &);

        //! The method handlers_get returns the value of the field ss_try::handlers.
        ptr< ::lestes::std::list< srp< ss_catch > > > handlers_get() const;

        //! The method handlers_set sets the field ss_try::handlers to the given value.
        void handlers_set(const ptr< ::lestes::std::list< srp< ss_catch > > > & );

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_try.
        static ptr< ss_try > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_try__block,
                ptr< ::lestes::std::list< srp< ss_catch > > > a__ss_try__handlers);

        

        //! 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 ss_try.
        ss_try (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_try__block,
                ptr< ::lestes::std::list< srp< ss_catch > > > a__ss_try__handlers);

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

private:
        srp< ss_compound_stmt > block;
        srp< ::lestes::std::list< srp< ss_catch > > >  handlers;
        static ptr<reflection_list> reflection;
        
}; // ss_try


//! Class for break statement
class ss_break : public ss_statement {
public:
        //! The method from_get returns the value of the field ss_break::from.
        ptr< ss_breakable_stmt > from_get() const;

        //! The method from_set sets the field ss_break::from to the given value.
        void from_set(const ptr< ss_breakable_stmt > &);

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_break.
        static ptr< ss_break > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_breakable_stmt > a__ss_break__from);

        

        //! 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 ss_break.
        ss_break (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_breakable_stmt > a__ss_break__from);

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

private:
        srp< ss_breakable_stmt > from;
        static ptr<reflection_list> reflection;
        
}; // ss_break


//! Class for return statement
class ss_return : public ss_statement {
public:
        //! The method result_get returns the value of the field ss_return::result.
        ptr< ss_expression > result_get() const;

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

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_return.
        static ptr< ss_return > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_expression > a__ss_return__result);

        

        //! 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 ss_return.
        ss_return (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_expression > a__ss_return__result);

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

private:
        //! It's NULL in case of return; in the source code.
        srp< ss_expression > result;
        static ptr<reflection_list> reflection;
        
}; // ss_return


//! Class for goto statement
class ss_goto : public ss_statement {
public:
        //! The method label_get returns the value of the field ss_goto::label.
        ptr< ss_label > label_get() const;

        //! The method label_set sets the field ss_goto::label to the given value.
        void label_set(const ptr< ss_label > &);

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_goto.
        static ptr< ss_goto > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_label > a__ss_goto__label);

        

        //! 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 ss_goto.
        ss_goto (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_label > a__ss_goto__label);

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

private:
        srp< ss_label > label;
        static ptr<reflection_list> reflection;
        
}; // ss_goto


//! Class for expression statement
class ss_expr_stmt : public ss_statement {
public:
        //! The method expression_get returns the value of the field ss_expr_stmt::expression.
        ptr< ss_expression > expression_get() const;

        //! The method expression_set sets the field ss_expr_stmt::expression to the given value.
        void expression_set(const ptr< ss_expression > &);

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_expr_stmt.
        static ptr< ss_expr_stmt > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_expression > a__ss_expr_stmt__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 ss_expr_stmt.
        ss_expr_stmt (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_expression > a__ss_expr_stmt__expression);

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

private:
        srp< ss_expression > expression;
        static ptr<reflection_list> reflection;
        
}; // ss_expr_stmt


//! Class for continue statement
class ss_continue : public ss_statement {
public:
        //! The method from_get returns the value of the field ss_continue::from.
        ptr< ss_iteration_stmt > from_get() const;

        //! The method from_set sets the field ss_continue::from to the given value.
        void from_set(const ptr< ss_iteration_stmt > &);

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_continue.
        static ptr< ss_continue > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_iteration_stmt > a__ss_continue__from);

        

        //! 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 ss_continue.
        ss_continue (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_iteration_stmt > a__ss_continue__from);

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

private:
        srp< ss_iteration_stmt > from;
        static ptr<reflection_list> reflection;
        
}; // ss_continue


//! Class for if statement
class ss_if_stmt : public ss_statement {
public:
        //! The method condition_get returns the value of the field ss_if_stmt::condition.
        ptr< ss_expression > condition_get() const;

        //! The method condition_set sets the field ss_if_stmt::condition to the given value.
        void condition_set(const ptr< ss_expression > &);

        //! The method cthen_get returns the value of the field ss_if_stmt::cthen.
        ptr< ss_compound_stmt > cthen_get() const;

        //! The method cthen_set sets the field ss_if_stmt::cthen to the given value.
        void cthen_set(const ptr< ss_compound_stmt > &);

        //! The method celse_get returns the value of the field ss_if_stmt::celse.
        ptr< ss_compound_stmt > celse_get() const;

        //! The method celse_set sets the field ss_if_stmt::celse to the given value.
        void celse_set(const ptr< ss_compound_stmt > &);

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_if_stmt.
        static ptr< ss_if_stmt > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_expression > a__ss_if_stmt__condition,
                ptr< ss_compound_stmt > a__ss_if_stmt__cthen,
                ptr< ss_compound_stmt > a__ss_if_stmt__celse);

        

        //! 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 ss_if_stmt.
        ss_if_stmt (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_expression > a__ss_if_stmt__condition,
                ptr< ss_compound_stmt > a__ss_if_stmt__cthen,
                ptr< ss_compound_stmt > a__ss_if_stmt__celse);

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

private:
        srp< ss_expression > condition;
        srp< ss_compound_stmt > cthen;
        srp< ss_compound_stmt > celse;
        static ptr<reflection_list> reflection;
        
}; // ss_if_stmt


//! Class for catch handler for try block.
class ss_catch : public ss_statement {
public:
        //! The method body_get returns the value of the field ss_catch::body.
        ptr< ss_compound_stmt > body_get() const;

        //! The method body_set sets the field ss_catch::body to the given value.
        void body_set(const ptr< ss_compound_stmt > &);

        //! The method decl_get returns the value of the field ss_catch::decl.
        ptr< ss_declaration > decl_get() const;

        //! The method decl_set sets the field ss_catch::decl to the given value.
        void decl_set(const ptr< ss_declaration > &);

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_catch.
        static ptr< ss_catch > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_catch__body,
                ptr< ss_declaration > a__ss_catch__decl);

        

        //! 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 ss_catch.
        ss_catch (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_catch__body,
                ptr< ss_declaration > a__ss_catch__decl);

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

private:
        srp< ss_compound_stmt > body;
        srp< ss_declaration > decl;
        static ptr<reflection_list> reflection;
        
}; // ss_catch


//! Base class for breakable statements
class ss_breakable_stmt : public ss_statement {
public:
        //! The method body_get returns the value of the field ss_breakable_stmt::body.
        ptr< ss_compound_stmt > body_get() const;

        //! The method body_set sets the field ss_breakable_stmt::body to the given value.
        void body_set(const ptr< ss_compound_stmt > &);

        //! The method condition_get returns the value of the field ss_breakable_stmt::condition.
        ptr< ss_expression > condition_get() const;

        //! The method condition_set sets the field ss_breakable_stmt::condition to the given value.
        void condition_set(const ptr< ss_expression > &);

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v ) abstract;
        

        //! 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 ss_breakable_stmt.
        ss_breakable_stmt (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_breakable_stmt__body,
                ptr< ss_expression > a__ss_breakable_stmt__condition);

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

private:
        /*! 
        
                                        Reference to additional scope wrapping just the do, for, while, and switch.
                                        This scope is used to enforce visibility of any variable declared inside
                                        the condition of the breakable.
                        
        */
        srp< ss_compound_stmt > body;
        /*! 
                
                                        This is of type expression, because the possible declaration is already
                                        accounted for in ss_breakable_stmt::body.
                        
        */
        srp< ss_expression > condition;
        static ptr<reflection_list> reflection;
        
}; // ss_breakable_stmt


//! Class for switch block
class ss_switch_stmt : public ss_breakable_stmt {
public:
        //! The method case_labels_get returns the value of the field ss_switch_stmt::case_labels.
        ptr< ::lestes::std::list< srp< ss_case_label > > > case_labels_get() const;

        //! The method case_labels_set sets the field ss_switch_stmt::case_labels to the given value.
        void case_labels_set(const ptr< ::lestes::std::list< srp< ss_case_label > > > & );

        //! The method default_label_get returns the value of the field ss_switch_stmt::default_label.
        ptr< ss_default_label > default_label_get() const;

        //! The method default_label_set sets the field ss_switch_stmt::default_label to the given value.
        void default_label_set(const ptr< ss_default_label > &);

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_switch_stmt.
        static ptr< ss_switch_stmt > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_breakable_stmt__body,
                ptr< ss_expression > a__ss_breakable_stmt__condition,
                ptr< ::lestes::std::list< srp< ss_case_label > > > a__ss_switch_stmt__case_labels,
                ptr< ss_default_label > a__ss_switch_stmt__default_label);

        

        //! 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 ss_switch_stmt.
        ss_switch_stmt (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_breakable_stmt__body,
                ptr< ss_expression > a__ss_breakable_stmt__condition,
                ptr< ::lestes::std::list< srp< ss_case_label > > > a__ss_switch_stmt__case_labels,
                ptr< ss_default_label > a__ss_switch_stmt__default_label);

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

private:
        //! All switch branches, except for default.
        srp< ::lestes::std::list< srp< ss_case_label > > >  case_labels;
        /*! 
                
                                        This is the target of case denominated by the keyword "default" in this switch statement
                                        break encountered in the program area (which amounts to some
                                        nested function block-scopes) "governed by" this ss_breakable_stmt.
                        
        */
        srp< ss_default_label > default_label;
        static ptr<reflection_list> reflection;
        
}; // ss_switch_stmt


//! Base class for iteration statements
class ss_iteration_stmt : public ss_breakable_stmt {
public:
        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v ) abstract;
        

        //! 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 ss_iteration_stmt.
        ss_iteration_stmt (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_breakable_stmt__body,
                ptr< ss_expression > a__ss_breakable_stmt__condition);

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

private:
        static ptr<reflection_list> reflection;
        
}; // ss_iteration_stmt


//! Class for "do" iteration statement
class ss_do : public ss_iteration_stmt {
public:
        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_do.
        static ptr< ss_do > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_breakable_stmt__body,
                ptr< ss_expression > a__ss_breakable_stmt__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 ss_do.
        ss_do (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_breakable_stmt__body,
                ptr< ss_expression > a__ss_breakable_stmt__condition);

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

private:
        static ptr<reflection_list> reflection;
        
}; // ss_do


//! Class for "while" iteration statement
class ss_while : public ss_iteration_stmt {
public:
        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_while.
        static ptr< ss_while > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_breakable_stmt__body,
                ptr< ss_expression > a__ss_breakable_stmt__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 ss_while.
        ss_while (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_breakable_stmt__body,
                ptr< ss_expression > a__ss_breakable_stmt__condition);

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

private:
        static ptr<reflection_list> reflection;
        
}; // ss_while


/*! \brief Class for "for" iteration statement


                                The field "iteration" is not checked for non-NULLness,
                                since the iteration expression is optional.
                        
*/
class ss_for : public ss_iteration_stmt {
public:
        //! The method iteration_get returns the value of the field ss_for::iteration.
        ptr< ss_expr_stmt > iteration_get() const;

        //! The method iteration_set sets the field ss_for::iteration to the given value.
        void iteration_set(const ptr< ss_expr_stmt > &);

        virtual void accept_ss_statement_visitor( ptr< ss_statement_visitor > v );
        
        //! First generated factory method for class ss_for.
        static ptr< ss_for > create (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_breakable_stmt__body,
                ptr< ss_expression > a__ss_breakable_stmt__condition,
                ptr< ss_expr_stmt > a__ss_for__iteration);

        

        //! 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 ss_for.
        ss_for (
                ptr< ::lestes::std::source_location > a__ss_base_with_location__location,
                ptr< ::lestes::std::list< srp< ss_label > > > a__ss_statement__labels,
                ptr< ss_compound_stmt > a__ss_statement__parent,
                ptr< ss_sp > a__ss_statement__psp,
                ptr< ss_sp > a__ss_statement__nsp,
                ptr< ::lestes::std::list< srp< ss_sp > > > a__ss_statement__sequence_points,
                ptr< ss_compound_stmt > a__ss_breakable_stmt__body,
                ptr< ss_expression > a__ss_breakable_stmt__condition,
                ptr< ss_expr_stmt > a__ss_for__iteration);

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

private:
        srp< ss_expr_stmt > iteration;
        static ptr<reflection_list> reflection;
        
}; // ss_for


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

package(lestes);
package(std);
specialize_objectize_for_enum( ::lestes::lang::cplus::sem::ss_compound_stmt::behavior_type );
specialize_objectize_for_enum( ::lestes::lang::cplus::sem::ss_decl_stmt::initializer_kind_enum );
end_package(std);
end_package(lestes);

#endif // lestes__lang__cplus__sem__ss_statement_g_hh__included

---