statement_def.h

#ifndef STATEMENT_DEF_H
#define STATEMENT_DEF_H

#include <statement.h>

namespace parser {
    statement::statement(error_handler& error)
        : statement::base_type(statement_list), expr(error), types(expr.types)
    {
        qi::_1_type _1;
        qi::_2_type _2;
        qi::_3_type _3;
        qi::_4_type _4;

        qi::_val_type _val;
        qi::lexeme_type lexeme;
        qi::alnum_type alnum;
        qi::lit_type lit;

        using qi::on_error;
        using qi::on_success;
        using qi::fail;
        using boost::phoenix::function;

        typedef function<error_handler> error_handler_function;
        typedef function<annotation> annotation_function;

        statement_list =
            +statement_;

        statement_ =
                declaration
            |   (expr > ';')
            |   if_statement
            |   while_statement
            |   return_statement
            |   compound_statement
            ;

        identifier = expr.identifier
            ;

        declaration = expr.type_specifier > -init_declarator > ';';

        init_declarator = expr.declarator > -("="  > (expr.allocation_expression | expr.logical_OR_expression));

        if_statement =
                lit("if")
            >   '('
            >   expr.logical_OR_expression
            >   ')'
            >   statement_
            ;

        while_statement =
                lit("while")
            >   '('
            >   expr.logical_OR_expression
            >   ')'
            >   statement_
            ;

        compound_statement =
            '{' >> -statement_list >> '}'
            ;

        return_statement =
                lexeme["return" >> !(alnum | '_')] // make sure we have whole words
            >  -expr.logical_OR_expression
            >   ';'
            ;

        // Debugging and error handling and reporting support.
        BOOST_SPIRIT_DEBUG_NODES(
            (statement_list)
            (identifier)
            (declaration)
            (init_declarator)
        );

        // Error handling
        on_error<qi::fail>(statement_list,
            error_handler_function(error)(
                "Error! Expecting ", _4, _3));
        on_error<fail>(declaration,
            error_handler_function(error)(
                "Error! Expecting ", _4, _3));
        on_error<fail>(init_declarator,
            error_handler_function(error)(
                "Error! Expecting ", _4, _3));

        // Annotation on success
        SUCCESS_ANNOTATE(identifier);
        SUCCESS_ANNOTATE(declaration);
        SUCCESS_ANNOTATE(return_statement);
        SUCCESS_ANNOTATE(init_declarator);
    }
}

#endif // STATEMENT_DEF_H