1 /*============================================================================= 2 Copyright (c) 2001-2014 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(BOOST_SPIRIT_X3_LIST_MARCH_24_2007_1031AM) 9 #define BOOST_SPIRIT_X3_LIST_MARCH_24_2007_1031AM 10 11 #include <boost/spirit/home/x3/core/parser.hpp> 12 #include <boost/spirit/home/x3/support/traits/container_traits.hpp> 13 #include <boost/spirit/home/x3/support/traits/attribute_of.hpp> 14 #include <boost/spirit/home/x3/core/detail/parse_into_container.hpp> 15 16 namespace boost { namespace spirit { namespace x3 17 { 18 template <typename Left, typename Right> 19 struct list : binary_parser<Left, Right, list<Left, Right>> 20 { 21 typedef binary_parser<Left, Right, list<Left, Right>> base_type; 22 static bool const handles_container = true; 23 static bool const has_attribute = true; 24 listboost::spirit::x3::list25 constexpr list(Left const& left, Right const& right) 26 : base_type(left, right) {} 27 28 template <typename Iterator, typename Context 29 , typename RContext, typename Attribute> parseboost::spirit::x3::list30 bool parse(Iterator& first, Iterator const& last 31 , Context const& context, RContext& rcontext, Attribute& attr) const 32 { 33 // in order to succeed we need to match at least one element 34 if (!detail::parse_into_container( 35 this->left, first, last, context, rcontext, attr)) 36 return false; 37 38 Iterator iter = first; 39 while (this->right.parse(iter, last, context, rcontext, unused) 40 && detail::parse_into_container( 41 this->left, iter, last, context, rcontext, attr)) 42 { 43 first = iter; 44 } 45 46 return true; 47 } 48 }; 49 50 template <typename Left, typename Right> 51 constexpr list< 52 typename extension::as_parser<Left>::value_type 53 , typename extension::as_parser<Right>::value_type> operator %(Left const & left,Right const & right)54 operator%(Left const& left, Right const& right) 55 { 56 return { as_parser(left), as_parser(right) }; 57 } 58 }}} 59 60 namespace boost { namespace spirit { namespace x3 { namespace traits 61 { 62 template <typename Left, typename Right, typename Context> 63 struct attribute_of<x3::list<Left, Right>, Context> 64 : traits::build_container< 65 typename attribute_of<Left, Context>::type> {}; 66 }}}} 67 68 #endif 69