Grammars.h

Go to the documentation of this file.

/***********************************************************************************\
* (c) Copyright 1998-2025 CERN for the benefit of the LHCb and ATLAS collaborations *
*                                                                                   *
* This software is distributed under the terms of the Apache version 2 licence,     *
* copied verbatim in the file "LICENSE".                                            *
*                                                                                   *
* In applying this licence, CERN does not waive the privileges and immunities       *
* granted to it by virtue of its status as an Intergovernmental Organization        *
* or submit itself to any jurisdiction.                                             *
\***********************************************************************************/
 
// cppcheck-suppress-file useInitializationList; for consistency
 
#pragma once
 
#ifdef __GNUC__
#  pragma GCC system_header
#endif
 
#include <GaudiKernel/HashMap.h>
#include <GaudiKernel/HistoDef.h>
#include <GaudiKernel/Point3DTypes.h>
#include <GaudiKernel/Point4DTypes.h>
#include <GaudiKernel/StringKey.h>
#include <GaudiKernel/VectorMap.h>
#include <list>
#include <map>
#include <set>
#include <string>
#include <tuple>
#include <type_traits>
#include <unordered_map>
#include <unordered_set>
#include <vector>
 
#include <boost/fusion/include/std_pair.hpp>
#include <boost/fusion/include/unused.hpp>
#if ( BOOST_VERSION >= 187000 ) && ( BOOST_VERSION < 188000 )
#  define BOOST_ALLOW_DEPRECATED_HEADERS
#endif
#include <boost/spirit/include/qi.hpp>
#undef BOOST_ALLOW_DEPRECATED_HEADERS
 
#include <boost/phoenix/core.hpp>
#include <boost/phoenix/operator.hpp>
 
#include <boost/spirit/repository/include/qi_confix.hpp>
 
namespace Gaudi {
  namespace Parsers {
    namespace sp  = boost::spirit;
    namespace ph  = boost::phoenix;
    namespace qi  = sp::qi;
    namespace enc = sp::ascii;
    namespace rep = sp::repository;
 
    typedef std::string::const_iterator DefaultIterator;
    typedef enc::space_type             DefaultSkipper;
 
    template <typename Iterator, typename T, typename Skipper, class Enable = void>
    struct Grammar_ {
      /* READ THIS IF YOUR COMPILE BREAKS ON THE FOLLOWING LINE
       *
       * To users: You have to ask developers to implement parser for your type T
       * To developer: You have to implement and register Grammar for type T
       *
       */
      BOOST_MPL_ASSERT_MSG( false, GRAMMAR_FOR_TYPE_DOES_NOT_EXISTS, ( T ) );
    };
 
#define REGISTER_GRAMMAR( ResultType, GrammarName )                                                                    \
  template <typename Iterator, typename Skipper>                                                                       \
  struct Grammar_<Iterator, ResultType, Skipper> {                                                                     \
    typedef GrammarName<Iterator, Skipper> Grammar;                                                                    \
  }
 
    template <typename Iterator>
    struct SkipperGrammar : qi::grammar<Iterator> {
      SkipperGrammar() : SkipperGrammar::base_type( comments ) {
        comments = enc::space | rep::confix( "/*", "*/" )[*( qi::char_ - "*/" )] |
                   rep::confix( "//", ( sp::eol | sp::eoi ) )[*( qi::char_ - ( sp::eol | sp::eoi ) )];
      }
      qi::rule<Iterator> comments;
    };
 
    template <typename Iterator, typename Skipper>
    struct StringGrammar : qi::grammar<Iterator, std::string(), qi::locals<char>, Skipper> {
 
      typedef std::string ResultT;
 
      StringGrammar() : StringGrammar::base_type( str ) {
        begin_quote = enc::char_( "\"'" );
        quote       = enc::char_( qi::_r1 );
 
        str = qi::lexeme[begin_quote[qi::_a = qi::_1] >
                         *( ( enc::char_( '\\' ) >> quote( qi::_a ) )[qi::_val += qi::_a] |
                            ( enc::char_( '\\' ) >> enc::char_( '\\' ) )[qi::_val += '\\'] |
                            ( enc::char_[qi::_val += qi::_1] - quote( qi::_a ) ) ) > quote( qi::_a )];
      }
 
      qi::rule<Iterator, std::string(), qi::locals<char>, Skipper> str;
      qi::rule<Iterator, char()>                                   begin_quote;
      qi::rule<Iterator, void( char )>                             quote;
    };
    REGISTER_GRAMMAR( std::string, StringGrammar );
    REGISTER_GRAMMAR( Gaudi::StringKey, StringGrammar );
 
    template <typename Iterator, typename Skipper>
    struct CharGrammar : qi::grammar<Iterator, char(), Skipper> {
      typedef char ResultT;
      CharGrammar() : CharGrammar::base_type( ch ) {
        ch = qi::int_parser<char>() | '\'' >> ( qi::char_ - '\'' ) >> '\'';
      }
      qi::rule<Iterator, char(), Skipper> ch;
    };
    REGISTER_GRAMMAR( char, CharGrammar );
 
    template <typename Iterator, typename Skipper>
    struct BoolGrammar : qi::grammar<Iterator, bool(), Skipper> {
      typedef bool ResultT;
      BoolGrammar() : BoolGrammar::base_type( boolean_literal ) {
        boolean_literal = ( qi::lit( "true" ) | "True" | "TRUE" | "1" )[qi::_val = true] |
                          ( qi::lit( "false" ) | "False" | "FALSE" | "0" )[qi::_val = false];
      }
      qi::rule<Iterator, bool(), Skipper> boolean_literal;
    };
    REGISTER_GRAMMAR( bool, BoolGrammar );
 
    template <typename Iterator, typename RT, typename Skipper>
    struct IntGrammar : qi::grammar<Iterator, RT(), Skipper> {
      typedef RT ResultT;
      IntGrammar() : IntGrammar::base_type( integer ) {
        integer = qi::int_parser<RT>()[qi::_val = qi::_1] >> -qi::no_case[qi::char_( 'L' )];
      }
      qi::rule<Iterator, RT(), Skipper> integer;
    };
 
    template <typename Iterator, std::integral T, typename Skipper>
    struct Grammar_<Iterator, T, Skipper> {
      typedef IntGrammar<Iterator, T, Skipper> Grammar;
    };
 
    template <typename Iterator, typename RT, typename Skipper>
    struct RealGrammar : qi::grammar<Iterator, RT(), Skipper> {
      typedef RT ResultT;
      RealGrammar() : RealGrammar::base_type( real ) { real = qi::real_parser<RT>(); }
      qi::rule<Iterator, RT(), Skipper> real;
    };
 
    template <typename Iterator, std::floating_point T, typename Skipper>
    struct Grammar_<Iterator, T, Skipper> {
      typedef RealGrammar<Iterator, T, Skipper> Grammar;
    };
 
    template <typename T>
    struct tuple_remove_first_type {};
 
    template <typename T>
    struct tuple_get_first_type {};
 
    template <typename T, typename... Ts>
    struct tuple_remove_first_type<std::tuple<T, Ts...>> {
      typedef std::tuple<Ts...> type;
    };
 
    template <typename T, typename... Ts>
    struct tuple_get_first_type<std::tuple<T, Ts...>> {
      typedef T type;
    };
 
    template <typename Iterator, typename TupleT, std::size_t N, typename Skipper>
    struct TupleInnerGrammar
        : qi::grammar<Iterator, TupleT(), qi::locals<typename tuple_get_first_type<TupleT>::type>, Skipper> {
      typedef TupleT                                         ResultT;
      typedef typename tuple_remove_first_type<TupleT>::type TailT;
      typedef typename tuple_get_first_type<TupleT>::type    HeadT;
 
      struct Operations {
        void operator()( ResultT& res, HeadT& head, TailT& tail ) const {
          res = std::tuple_cat( std::tuple<HeadT>( head ), tail );
        }
      };
 
      TupleInnerGrammar() : TupleInnerGrammar::base_type( tup ) {
        tup = grHead[qi::_a = qi::_1] >> ',' >> grLast[op( qi::_val, qi::_a, qi::_1 )];
      }
 
      TupleInnerGrammar<Iterator, TailT, N - 1, Skipper>   grLast;
      typename Grammar_<Iterator, HeadT, Skipper>::Grammar grHead;
 
      qi::rule<Iterator, ResultT(), qi::locals<HeadT>, Skipper> tup;
      ph::function<Operations>                                  op;
    };
 
    template <typename Iterator, typename TupleT, typename Skipper>
    struct TupleInnerGrammar<Iterator, TupleT, 1, Skipper> : qi::grammar<Iterator, TupleT(), Skipper> {
      typedef TupleT ResultT;
 
      struct Operations {
        void operator()( ResultT& res, const std::tuple_element_t<0, ResultT>& val ) const {
          res                = ResultT();
          std::get<0>( res ) = val;
        }
      };
 
      TupleInnerGrammar() : TupleInnerGrammar::base_type( tup ) { tup = grFirst[op( qi::_val, qi::_1 )]; }
 
      typename Grammar_<Iterator, std::tuple_element_t<0, ResultT>, Skipper>::Grammar grFirst;
 
      qi::rule<Iterator, ResultT(), Skipper> tup;
      ph::function<Operations>               op;
    };
 
    template <typename Iterator, typename TupleT, std::size_t N, typename Skipper>
    struct TupleGrammar : qi::grammar<Iterator, TupleT(), qi::locals<char>, Skipper> {
      typedef TupleT ResultT;
      TupleGrammar() : TupleGrammar::base_type( tup ) {
        begin = enc::char_( '[' )[qi::_val = ']'] | enc::char_( '(' )[qi::_val = ')'];
        end   = *( enc::char_( ',' ) ) >> enc::char_( qi::_r1 );
 
        tup = begin[qi::_a = qi::_1] >> grTuple[qi::_val = qi::_1] >> end( qi::_a );
      }
 
      qi::rule<Iterator, char()>                               begin;
      qi::rule<Iterator, void( char )>                         end;
      qi::rule<Iterator, ResultT(), qi::locals<char>, Skipper> tup;
      TupleInnerGrammar<Iterator, TupleT, N, Skipper>          grTuple;
    };
 
    template <typename Iterator, typename Skipper, typename... Args>
    struct Grammar_<Iterator, std::tuple<Args...>, Skipper> {
      typedef TupleGrammar<Iterator, std::tuple<Args...>, sizeof...( Args ), Skipper> Grammar;
    };
 
    template <typename Iterator, typename VectorT, typename Skipper>
    struct VectorGrammar : qi::grammar<Iterator, VectorT(), qi::locals<char>, Skipper> {
      typedef VectorT ResultT;
 
      VectorGrammar() : VectorGrammar::base_type( vec ) {
        begin =
            enc::char_( '[' )[qi::_val = ']'] | enc::char_( '{' )[qi::_val = '}'] | enc::char_( '(' )[qi::_val = ')'];
        end  = *( enc::char_( ',' ) ) >> enc::char_( qi::_r1 );
        list = elementGrammar % ',';
        vec  = begin[qi::_a = qi::_1] >> -list[qi::_val = qi::_1] >> end( qi::_a );
      }
 
      typename Grammar_<Iterator, typename VectorT::value_type, Skipper>::Grammar elementGrammar;
      qi::rule<Iterator, char()>                                                  begin;
      qi::rule<Iterator, void( char )>                                            end;
 
      qi::rule<Iterator, ResultT(), qi::locals<char>, Skipper> vec;
      qi::rule<Iterator, ResultT(), Skipper>                   list;
    };
 
    template <typename Iterator, typename InnerT, typename AllocatorT, typename Skipper>
    struct Grammar_<Iterator, std::vector<InnerT, AllocatorT>, Skipper> {
      typedef VectorGrammar<Iterator, std::vector<InnerT, AllocatorT>, Skipper> Grammar;
    };
 
    template <typename Iterator, typename InnerT, typename AllocatorT, typename Skipper>
    struct Grammar_<Iterator, std::list<InnerT, AllocatorT>, Skipper> {
      typedef VectorGrammar<Iterator, std::list<InnerT, AllocatorT>, Skipper> Grammar;
    };
 
    template <typename Iterator, typename InnerT, typename CompareT, typename AllocatorT, typename Skipper>
    struct Grammar_<Iterator, std::set<InnerT, CompareT, AllocatorT>, Skipper> {
      typedef VectorGrammar<Iterator, std::set<InnerT, CompareT, AllocatorT>, Skipper> Grammar;
    };
 
    template <typename Iterator, typename SetT, typename Skipper>
    struct SetGrammar : qi::grammar<Iterator, SetT(), qi::locals<char>, Skipper> {
      SetGrammar() : SetGrammar::base_type( set ) {
        // special handling of empty set as "{}" is always a dict
        set = qi::lit( "set()" ) | grVector;
      }
      VectorGrammar<Iterator, SetT, Skipper>                grVector;
      qi::rule<Iterator, SetT(), qi::locals<char>, Skipper> set;
    };
 
    template <typename Iterator, typename InnerT, typename HashT, typename CompareT, typename AllocatorT,
              typename Skipper>
    struct Grammar_<Iterator, std::unordered_set<InnerT, HashT, CompareT, AllocatorT>, Skipper> {
      typedef SetGrammar<Iterator, std::unordered_set<InnerT, HashT, CompareT, AllocatorT>, Skipper> Grammar;
    };
 
    template <typename Iterator, typename PairT, typename Skipper>
    struct PairGrammar : qi::grammar<Iterator, PairT(), qi::locals<char>, Skipper> {
      typedef PairT                       ResultT;
      typedef typename PairT::first_type  first_type;
      typedef typename PairT::second_type second_type;
 
      struct first {};
      struct second {};
 
      PairGrammar() : PairGrammar( "," ) {}
      PairGrammar( const std::string& delimeter ) : PairGrammar::base_type( pair ) {
        begin   = enc::char_( '(' )[qi::_val = ')'] | enc::char_( '[' )[qi::_val = ']'];
        end     = qi::char_( qi::_r1 );
        pair    = begin[qi::_a = qi::_1] >> pair_in[qi::_val = qi::_1] >> end( qi::_a );
        pair_in = key >> qi::lit( delimeter ) >> value;
      }
 
      typename Grammar_<Iterator, typename PairT::first_type, Skipper>::Grammar  key;
      typename Grammar_<Iterator, typename PairT::second_type, Skipper>::Grammar value;
      qi::rule<Iterator, char()>                                                 begin;
      qi::rule<Iterator, void( char )>                                           end;
      qi::rule<Iterator, ResultT(), qi::locals<char>, Skipper>                   pair;
      qi::rule<Iterator, ResultT(), Skipper>                                     pair_in;
    };
 
    template <typename Iterator, typename KeyT, typename ValueT, typename Skipper>
    struct Grammar_<Iterator, std::pair<KeyT, ValueT>, Skipper> {
      typedef PairGrammar<Iterator, std::pair<KeyT, ValueT>, Skipper> Grammar;
    };
 
    template <typename Iterator, typename MapT, typename Skipper>
    struct MapGrammar : qi::grammar<Iterator, MapT(), Skipper> {
      typedef MapT                       ResultT;
      typedef typename MapT::key_type    KeyT;
      typedef typename MapT::mapped_type MappedT;
      typedef std::pair<KeyT, MappedT>   PairT;
 
      typedef std::vector<PairT> VectorPairT;
 
      struct tag_key {};
      struct tag_mapped {};
      struct Operations {
        void operator()( ResultT& res, const VectorPairT& vec ) const {
          for ( auto cur = vec.begin(); cur != vec.end(); ++cur ) { res.insert( *cur ); }
        }
        void operator()( PairT& res, const KeyT& key, tag_key ) const { res.first = key; }
        void operator()( PairT& res, const MappedT& value, tag_mapped ) const { res.second = value; }
      };
 
      MapGrammar() : MapGrammar::base_type( map ) {
        pair = key[op( qi::_val, qi::_1, tag_key() )] > ( qi::lit( ':' ) | '=' ) >
               value[op( qi::_val, qi::_1, tag_mapped() )];
        list = -( pair % enc::char_( ',' ) );
        map  = ( ( '[' >> list >> ']' ) | ( '{' >> list >> '}' ) | ( '[' >> list >> ',' >> ']' ) |
                ( '{' >> list >> ',' >> '}' ) )[op( qi::_val, qi::_1 )];
      }
 
      typename Grammar_<Iterator, typename MapT::key_type, Skipper>::Grammar    key;
      typename Grammar_<Iterator, typename MapT::mapped_type, Skipper>::Grammar value;
      qi::rule<Iterator, PairT(), Skipper>                                      pair;
      qi::rule<Iterator, VectorPairT(), Skipper>                                list;
      qi::rule<Iterator, ResultT(), Skipper>                                    map;
      ph::function<Operations>                                                  op;
    };
 
    template <typename Iterator, typename KeyT, typename ValueT, typename KeyCompareT, typename AllocatorT,
              typename Skipper>
    struct Grammar_<Iterator, std::map<KeyT, ValueT, KeyCompareT, AllocatorT>, Skipper> {
      typedef MapGrammar<Iterator, std::map<KeyT, ValueT, KeyCompareT, AllocatorT>, Skipper> Grammar;
    };
 
    template <typename Iterator, typename KeyT, typename ValueT, typename HashT, typename KeyCompareT,
              typename AllocatorT, typename Skipper>
    struct Grammar_<Iterator, std::unordered_map<KeyT, ValueT, HashT, KeyCompareT, AllocatorT>, Skipper> {
      typedef MapGrammar<Iterator, std::unordered_map<KeyT, ValueT, HashT, KeyCompareT, AllocatorT>, Skipper> Grammar;
    };
 
    template <typename Iterator, typename KeyT, typename ValueT, typename KeyCompareT, typename AllocatorT,
              typename Skipper>
    struct Grammar_<Iterator, GaudiUtils::VectorMap<KeyT, ValueT, KeyCompareT, AllocatorT>, Skipper> {
      typedef MapGrammar<Iterator, GaudiUtils::VectorMap<KeyT, ValueT, KeyCompareT, AllocatorT>, Skipper> Grammar;
    };
 
    template <typename Iterator, typename PointT, typename Skipper>
    struct Pnt3DGrammar : qi::grammar<Iterator, PointT(), Skipper> {
      typedef PointT                  ResultT;
      typedef typename PointT::Scalar Scalar;
 
      struct Operations {
        void operator()( ResultT& res, const Scalar& scalar, const char xyz ) const {
          switch ( xyz ) {
          case 'x':
            res.SetX( scalar );
            break;
          case 'y':
            res.SetY( scalar );
            break;
          case 'z':
            res.SetZ( scalar );
            break;
          default:
            break;
          }
        }
      };
 
      Pnt3DGrammar() : Pnt3DGrammar::base_type( point ) {
        point = list | ( '(' >> list >> ')' ) | ( '[' >> list >> ']' );
        list  = -( enc::no_case[qi::lit( "x" ) | qi::lit( "px" )] >> ':' ) >> scalar[op( qi::_val, qi::_1, 'x' )] >>
               ',' >> -( enc::no_case[qi::lit( "y" ) | qi::lit( "py" )] >> ':' ) >>
               scalar[op( qi::_val, qi::_1, 'y' )] >> ',' >>
               -( enc::no_case[qi::lit( "z" ) | qi::lit( "pz" )] >> ':' ) >> scalar[op( qi::_val, qi::_1, 'z' )];
      }
 
      qi::rule<Iterator, ResultT(), Skipper>                point, list;
      typename Grammar_<Iterator, Scalar, Skipper>::Grammar scalar;
      ph::function<Operations>                              op;
    };
 
    template <typename Iterator, typename T1, typename T2, typename Skipper>
    struct Grammar_<Iterator, ROOT::Math::PositionVector3D<T1, T2>, Skipper> {
      typedef Pnt3DGrammar<Iterator, ROOT::Math::PositionVector3D<T1, T2>, Skipper> Grammar;
    };
 
    template <typename Iterator, typename T1, typename T2, typename Skipper>
    struct Grammar_<Iterator, ROOT::Math::DisplacementVector3D<T1, T2>, Skipper> {
      typedef Pnt3DGrammar<Iterator, ROOT::Math::DisplacementVector3D<T1, T2>, Skipper> Grammar;
    };
 
    template <typename Iterator, typename PointT, typename Skipper>
    struct Pnt4DGrammar : qi::grammar<Iterator, PointT(), Skipper> {
      typedef PointT                  ResultT;
      typedef typename PointT::Scalar ScalarT;
 
      struct Operations {
        void operator()( ResultT& res, const ScalarT& scalar, const char xyz ) const {
          switch ( xyz ) {
          case 'x':
            res.SetPx( scalar );
            break;
          case 'y':
            res.SetPy( scalar );
            break;
          case 'z':
            res.SetPz( scalar );
            break;
          case 'e':
            res.SetE( scalar );
            break;
          default:
            break;
          }
        }
        void operator()( ResultT& res, const ResultT& xyz ) const {
          res.SetPx( xyz.Px() );
          res.SetPy( xyz.Py() );
          res.SetPz( xyz.Pz() );
        }
      };
 
      Pnt4DGrammar() : Pnt4DGrammar::base_type( point4d ) {
        point4d = list4d | ( '(' >> list4d >> ')' ) | ( '[' >> list4d >> ']' );
        list4d  = ( point3d[op( qi::_val, qi::_1 )] >> enc::char_( ";," ) >> e[op( qi::_val, qi::_1, 'e' )] ) |
                 ( e[op( qi::_val, qi::_1, 'e' )] >> enc::char_( ";," ) >> point3d[op( qi::_val, qi::_1 )] );
        e = -( enc::no_case[enc::char_( "te" )] >> ':' ) >> scalar[qi::_val = qi::_1];
 
        point3d = list3d | ( '(' >> list3d >> ')' ) | ( '[' >> list3d >> ']' );
        list3d  = -( enc::no_case[qi::lit( "x" ) | qi::lit( "px" )] >> ':' ) >> scalar[op( qi::_val, qi::_1, 'x' )] >>
                 ',' >> -( enc::no_case[qi::lit( "y" ) | qi::lit( "py" )] >> ':' ) >>
                 scalar[op( qi::_val, qi::_1, 'y' )] >> ',' >>
                 -( enc::no_case[qi::lit( "z" ) | qi::lit( "pz" )] >> ':' ) >> scalar[op( qi::_val, qi::_1, 'z' )];
      }
 
      qi::rule<Iterator, ResultT(), Skipper>                 point3d, point4d, list3d, list4d;
      qi::rule<Iterator, ScalarT(), Skipper>                 e;
      typename Grammar_<Iterator, ScalarT, Skipper>::Grammar scalar;
      ph::function<Operations>                               op;
    };
 
    template <typename Iterator, typename T1, typename Skipper>
    struct Grammar_<Iterator, ROOT::Math::LorentzVector<T1>, Skipper> {
      typedef Pnt4DGrammar<Iterator, ROOT::Math::LorentzVector<T1>, Skipper> Grammar;
    };
 
    template <typename Iterator, typename Skipper>
    struct Histo1DGrammar : qi::grammar<Iterator, Gaudi::Histo1DDef(), qi::locals<char>, Skipper> {
      typedef Gaudi::Histo1DDef ResultT;
 
      struct Operations {
        void operator()( ResultT& res, const std::string& title ) const { res.setTitle( title ); }
        void operator()( ResultT& res, const double& val, const char lh ) const {
          switch ( lh ) {
          case 'l':
            res.setLowEdge( val );
            break;
          case 'h':
            res.setHighEdge( val );
            break;
          default:
            break;
          }
        }
        void operator()( ResultT& res, int val ) const { res.setBins( val ); }
        void operator()( ResultT& res ) const {}
      };
 
      Histo1DGrammar() : Histo1DGrammar::base_type( hist ) {
        val1 = title[op( qi::_val, qi::_1 )] >> ',' >> qi::double_[op( qi::_val, qi::_1, 'l' )] >> ',' >>
               qi::double_[op( qi::_val, qi::_1, 'h' )] >> -( ',' >> qi::int_[op( qi::_val, qi::_1 )] );
        val2 = qi::double_[op( qi::_val, qi::_1, 'l' )] >> ',' >> qi::double_[op( qi::_val, qi::_1, 'h' )] >> ',' >>
               title[op( qi::_val, qi::_1 )] >> -( ',' >> qi::int_[op( qi::_val, qi::_1 )] );
        val3 = qi::double_[op( qi::_val, qi::_1, 'l' )] >> ',' >> qi::double_[op( qi::_val, qi::_1, 'h' )] >>
               -( ',' >> title[op( qi::_val, qi::_1 )] ) >> -( ',' >> qi::int_[op( qi::_val, qi::_1 )] );
        begin = enc::char_( '[' )[qi::_val = ']'] | enc::char_( '(' )[qi::_val = ')'];
        end   = enc::char_( qi::_r1 );
        hist  = begin[qi::_a = qi::_1] >> ( val1 | val2 | val3 )[qi::_val = qi::_1] >> end( qi::_a );
      }
 
      qi::rule<Iterator, ResultT(), qi::locals<char>, Skipper> hist;
      qi::rule<Iterator, ResultT(), Skipper>                   val1, val2, val3;
      qi::rule<Iterator, char()>                               begin;
      qi::rule<Iterator, void( char )>                         end;
      StringGrammar<Iterator, Skipper>                         title;
      ph::function<Operations>                                 op;
    };
    REGISTER_GRAMMAR( Gaudi::Histo1DDef, Histo1DGrammar );
 
    template <typename Iterator, typename Skipper>
    struct KeyValueGrammar : qi::grammar<Iterator, std::pair<std::string, std::string>(), Skipper> {
      typedef std::pair<std::string, std::string> ResultT;
 
      struct first {};
      struct second {};
 
      KeyValueGrammar() : KeyValueGrammar::base_type( pair ) { pair = gstring >> ":" >> +enc::char_; }
 
      StringGrammar<Iterator, Skipper>       gstring;
      qi::rule<Iterator, ResultT(), Skipper> pair;
    };
    // We don't register KeyalueGrammar because it's a special parser
  } // namespace Parsers
} // namespace Gaudi