ceph/src/boost/boost/spirit/home/qi/operator/sequence.hpp

   1 /*=============================================================================
   2     Copyright (c) 2001-2011 Joel de Guzman
   3     Copyright (c) 2001-2011 Hartmut Kaiser
   4
   5     Distributed under the Boost Software License, Version 1.0. (See accompanying
   6     file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
   7 =============================================================================*/
   8 #if !defined(SPIRIT_SEQUENCE_APR_22_2006_0811AM)
   9 #define SPIRIT_SEQUENCE_APR_22_2006_0811AM
  10
  11 #if defined(_MSC_VER)
  12 #pragma once
  13 #endif
  14
  15 #include <boost/spirit/home/qi/operator/sequence_base.hpp>
  16 #include <boost/spirit/home/qi/detail/fail_function.hpp>
  17 #include <boost/spirit/home/qi/meta_compiler.hpp>
  18
  19 namespace boost { namespace spirit
  20 {
  21     ///////////////////////////////////////////////////////////////////////////
  22     // Enablers
  23     ///////////////////////////////////////////////////////////////////////////
  24     template <>
  25     struct use_operator<qi::domain, proto::tag::shift_right> // enables >>
  26       : mpl::true_ {};
  27
  28     template <>
  29     struct flatten_tree<qi::domain, proto::tag::shift_right> // flattens >>
  30       : mpl::true_ {};
  31 }}
  32
  33 namespace boost { namespace spirit { namespace qi
  34 {
  35     template <typename Elements>
  36     struct sequence : sequence_base<sequence<Elements>, Elements>
  37     {
  38         friend struct sequence_base<sequence<Elements>, Elements>;
  39
  40         sequence(Elements const& elements)
  41           : sequence_base<sequence<Elements>, Elements>(elements) {}
  42
  43     private:
  44
  45         template <typename Iterator, typename Context, typename Skipper>
  46         static detail::fail_function<Iterator, Context, Skipper>
  47         fail_function(
  48             Iterator& first, Iterator const& last
  49           , Context& context, Skipper const& skipper)
  50         {
  51             return detail::fail_function<Iterator, Context, Skipper>
  52                 (first, last, context, skipper);
  53         }
  54
  55         std::string id() const { return "sequence"; }
  56     };
  57
  58     ///////////////////////////////////////////////////////////////////////////
  59     // Parser generators: make_xxx function (objects)
  60     ///////////////////////////////////////////////////////////////////////////
  61     template <typename Elements, typename Modifiers>
  62     struct make_composite<proto::tag::shift_right, Elements, Modifiers>
  63       : make_nary_composite<Elements, sequence>
  64     {};
  65
  66 //     ///////////////////////////////////////////////////////////////////////////
  67 //     // Define what attributes are compatible with a sequence
  68 //     template <typename Attribute, typename Elements, typename Context, typename Iterator>
  69 //     struct is_attribute_compatible<Attribute, sequence<Elements>, Context, Iterator>
  70 //       : mpl::or_<
  71 //             is_convertible<Attribute
  72 //               , typename traits::attribute_of<sequence<Elements>, Context, Iterator>::type>
  73 //           , traits::is_fusion_sequence_compatible<qi::domain, Attribute
  74 //               , sequence<Elements>, Context, Iterator>
  75 //           , traits::is_container_compatible<qi::domain, Attribute
  76 //               , sequence<Elements>, Context, Iterator>
  77 //         >
  78 //     {};
  79 }}}
  80
  81 namespace boost { namespace spirit { namespace traits
  82 {
  83     ///////////////////////////////////////////////////////////////////////////
  84     template <typename Elements>
  85     struct has_semantic_action<qi::sequence<Elements> >
  86       : nary_has_semantic_action<Elements> {};
  87
  88     ///////////////////////////////////////////////////////////////////////////
  89     template <typename Elements, typename Attribute, typename Context
  90       , typename Iterator>
  91     struct handles_container<qi::sequence<Elements>, Attribute, Context
  92           , Iterator>
  93       : mpl::true_ {};
  94 }}}
  95
  96 #endif