static_api_parser.hpp

FDMP the body of the kernel, the Information-Technology Promotion Agency (IPA) adopted by the unexpl

/*
 *  TOPPERS/FDMP Kernel
 *      Toyohashi Open Platform for Embedded Real-Time Systems/
 *      Function Distributed Multiprocessor Kernel
 *
 *  Copyright (C) 2005 by Takagi Nobuhisa
 * 
 *  忋婰挊嶌尃幰偼丆埲壓偺 (1)乣(4) 偺忦審偐丆Free Software Foundation 
 *  偵傛偭偰岞昞偝傟偰偄傞 GNU General Public License 偺 Version 2 偵婰
 *  弎偝傟偰偄傞忦審傪枮偨偡応崌偵尷傝丆杮僜僼僩僂僃傾乮杮僜僼僩僂僃傾
 *  傪夵曄偟偨傕偺傪娷傓丏埲壓摨偠乯傪巊梡丒暋惢丒夵曄丒嵞攝晍乮埲壓丆
 *  棙梡偲屇傇乯偡傞偙偲傪柍彏偱嫋戻偡傞丏
 *  (1) 杮僜僼僩僂僃傾傪僜乕僗僐乕僪偺宍偱棙梡偡傞応崌偵偼丆忋婰偺挊嶌
 *      尃昞帵丆偙偺棙梡忦審偍傛傃壓婰偺柍曐徹婯掕偑丆偦偺傑傑偺宍偱僜乕
 *      僗僐乕僪拞偵娷傑傟偰偄傞偙偲丏
 *  (2) 杮僜僼僩僂僃傾傪丆儔僀僽儔儕宍幃側偳丆懠偺僜僼僩僂僃傾奐敪偵巊
 *      梡偱偒傞宍偱嵞攝晍偡傞応崌偵偼丆嵞攝晍偵敽偆僪僉儏儊儞僩乮棙梡
 *      幰儅僯儏傾儖側偳乯偵丆忋婰偺挊嶌尃昞帵丆偙偺棙梡忦審偍傛傃壓婰
 *      偺柍曐徹婯掕傪宖嵹偡傞偙偲丏
 *  (3) 杮僜僼僩僂僃傾傪丆婡婍偵慻傒崬傓側偳丆懠偺僜僼僩僂僃傾奐敪偵巊
 *      梡偱偒側偄宍偱嵞攝晍偡傞応崌偵偼丆師偺偄偢傟偐偺忦審傪枮偨偡偙
 *      偲丏
 *    (a) 嵞攝晍偵敽偆僪僉儏儊儞僩乮棙梡幰儅僯儏傾儖側偳乯偵丆忋婰偺挊
 *        嶌尃昞帵丆偙偺棙梡忦審偍傛傃壓婰偺柍曐徹婯掕傪宖嵹偡傞偙偲丏
 *    (b) 嵞攝晍偺宍懺傪丆暿偵掕傔傞曽朄偵傛偭偰丆TOPPERS僾儘僕僃僋僩偵
 *        曬崘偡傞偙偲丏
 *  (4) 杮僜僼僩僂僃傾偺棙梡偵傛傝捈愙揑傑偨偼娫愙揑偵惗偠傞偄偐側傞懝
 *      奞偐傜傕丆忋婰挊嶌尃幰偍傛傃TOPPERS僾儘僕僃僋僩傪柶愑偡傞偙偲丏
 * 
 *  杮僜僼僩僂僃傾偼丆柍曐徹偱採嫙偝傟偰偄傞傕偺偱偁傞丏忋婰挊嶌尃幰偍
 *  傛傃TOPPERS僾儘僕僃僋僩偼丆杮僜僼僩僂僃傾偵娭偟偰丆偦偺揔梡壜擻惈傕
 *  娷傔偰丆偄偐側傞曐徹傕峴傢側偄丏傑偨丆杮僜僼僩僂僃傾偺棙梡偵傛傝捈
 *  愙揑傑偨偼娫愙揑偵惗偠偨偄偐側傞懝奞偵娭偟偰傕丆偦偺愑擟傪晧傢側偄丏
 * 
 */

/*!
 *  \file   toppers/itron/static_api_parser.hpp
 *  \brief  惷揑API偺暥朄偵娭偡傞愰尵掕媊
 *
 *  偙偺僼傽僀儖偱掕媊偝傟傞僋儔僗
 *  \code
 *  struct static_api_parser;
 *  struct static_api_parser::error_handler;
 *  struct static_api::definition<Scanner>;
 *  \endcode
 */
#ifndef TOPPERS_STATIC_API_PARSER_HPP_
#define TOPPERS_STATIC_API_PARSER_HPP_

#include "toppers/itron/static_api.hpp"
#include "toppers/c_expr.hpp"
#include <boost/spirit/error_handling.hpp>

namespace toppers
{
  namespace itron
  {

    /*!
     *  \struct static_api_parser static_api_parser.hpp "toppers/itron/static_api_parser.hpp"
     *  \brief  惷揑API偺峔暥夝愅僋儔僗
     */
    struct static_api_parser : boost::spirit::grammar<static_api_parser>
    {
      enum rule_id_t
      {
        id_top = 1, id_api_name, id_parameter_list, id_parameter, id_packet, id_cexpr
      };
      enum expected_t
      {
        open_paren_expected, close_paren_expected, open_brace_expected, close_brace_expected,
        comma_expected, semicolon_expected
      };

      /*!
       *  \struct error_handler static_api_parser.hpp "toppers/itron/static_api_parser.hpp"
       *  \brief  惷揑API偺峔暥夝愅偵偍偗傞僄儔乕張棟僼傽儞僋僞
       */
      struct error_handler
      {
        template <class Scanner, class Error>
        boost::spirit::error_status<> operator()( const Scanner& scan, const Error& error ) const
        {
          typename Error::iterator_t iter( error.where );
          while ( *iter != '\0' && *iter != '\n' )
          {
            ++iter;
          }
          std::string str( error.where, iter );
          str = '\"' + str + '\"';

          text_line ln( get_text_line( error.where ) );
          switch ( error.descriptor )
          {
          case open_paren_expected:
            toppers::error( ln, _( "missing `%1%\' before %2%" ) % '(' % str );
            break;
          case close_paren_expected:
            toppers::error( ln, _( "missing `%1%\' before %2%" ) % ')' % str );
            break;
          case close_brace_expected:
            toppers::error( ln, _( "missing `%1%\' before %2%" ) % '}' % str );
            break;
          case semicolon_expected:
            toppers::error( ln, _( "missing `%1%\' before %2%" ) % ';' % str );
            break;
          }
          return  boost::spirit::error_status<>( boost::spirit::error_status<>::fail );
        }
      };

      /*!
       *  \struct definition static_api_parser.hpp "toppers/itron/static_api_parser.hpp" 
       *  \brief  惷揑API偺峔暥夝愅偵偍偗傞暥朄掕媊
       */
      template <class Scanner>
      struct definition
      {
        typedef boost::spirit::rule<Scanner, boost::spirit::dynamic_parser_tag> rule_t;
        typedef boost::spirit::guard<expected_t> guard_t;
        typedef boost::spirit::assertion<expected_t> assertion_t;

        const c_strlit_parser_t c_strlit_p;
        const c_ident_parser_t c_ident_p;

        rule_t  top, api_name, parameter_list, parameter, packet, cexpr;
        guard_t guard_api, guard_packet;
        assertion_t expect_open_paren,
                    expect_close_paren,
                    expect_close_brace,
                    expect_comma, expect_semicolon;

        /*!
         *  \brief  僐儞僗僩儔僋僞
         *  \param  self  峔暥夝愅僋儔僗乮暥朄僋儔僗乯傊偺嶲徠
         */
        definition( const static_api_parser& self )
          : c_strlit_p( c_strlit_parser( self.cexpr_p_.codeset_ ) ),
            c_ident_p( c_ident_parser( self.cexpr_p_.ucn_, self.cexpr_p_.codeset_ ) ),
            expect_open_paren( open_paren_expected ),
            expect_close_paren( close_paren_expected ),
            expect_close_brace( close_brace_expected ),
            expect_comma( comma_expected ),
            expect_semicolon( semicolon_expected )
        {
          using namespace boost::spirit;
          set_id();
          top =
              guard_api
              (
                api_name >> 
//                  expect_open_paren( str_p( "(" ) ) >>  // local_class巜掕巕偱僄儔乕偵側傞偺偱敾掕傪彍嫀
                  str_p( "(" ) >>
                  parameter_list >>
                  expect_close_paren( str_p( ")" ) ) >>
                  expect_semicolon( ch_p( ';' ) )
              )
              [
                error_handler()
              ];
          api_name =
              c_ident_p[ push_back_a( self.tokens_ ) ];
          parameter_list =
              parameter % ',';
          parameter =
              packet | cexpr;
          packet =
              guard_packet
              (
                str_p( "{" )[ push_back_a( self.tokens_ ) ] >>
                parameter_list >>
                expect_close_brace( str_p( "}" )[ push_back_a( self.tokens_ ) ] ) 
              )
              [
                error_handler()
              ];
          cexpr =
              self.cexpr_p_[ push_back_a( self.tokens_ ) ];
        }
        void set_id()
        {
          top.set_id( id_top );
          api_name.set_id( id_api_name );
          parameter_list.set_id( id_parameter_list );
          parameter.set_id( id_parameter );
          packet.set_id( id_packet );
          cexpr.set_id( id_cexpr );
        }
        const rule_t& start() const { return top; }
      };
      /*!
       *  \brief  僐儞僗僩儔僋僞
       *  \param  tokens  惷揑API偺峔惉僩乕僋儞偺奿擺愭
       *  \param  cexpr_p C尵岅偺掕悢幃峔暥夝愅娭悢僆僽僕僃僋僩
       */
      explicit static_api_parser( std::vector<std::string>& tokens, const c_const_expr_parser& cexpr_p )
        : tokens_( tokens ), cexpr_p_( cexpr_p )
      {
      }

      std::vector<std::string>& tokens_;
      const c_const_expr_parser& cexpr_p_;
    };

  }
}

#endif  // ! TOPPERS_STATIC_API_PARSER_HPP_