123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778 |
- #ifndef BOOST_METAPARSE_V1_FOLDR_START_WITH_PARSER_HPP
- #define BOOST_METAPARSE_V1_FOLDR_START_WITH_PARSER_HPP
- // Copyright Abel Sinkovics (abel@sinkovics.hu) 2012.
- // Distributed under the Boost Software License, Version 1.0.
- // (See accompanying file LICENSE_1_0.txt or copy at
- // http://www.boost.org/LICENSE_1_0.txt)
- #include <boost/metaparse/v1/accept.hpp>
- #include <boost/metaparse/v1/is_error.hpp>
- #include <boost/metaparse/v1/get_position.hpp>
- #include <boost/metaparse/v1/get_result.hpp>
- #include <boost/metaparse/v1/get_remaining.hpp>
- #include <boost/mpl/eval_if.hpp>
- namespace boost
- {
- namespace metaparse
- {
- namespace v1
- {
- template <class P, class StateP, class BackwardOp>
- struct foldr_start_with_parser
- {
- private:
- template <class Res, class Rem>
- struct apply_unchecked1 :
- accept<
- typename BackwardOp::template apply<
- typename get_result<Rem>::type,
- typename get_result<Res>::type
- >::type,
- typename get_remaining<Rem>::type,
- typename get_position<Rem>::type
- >
- {};
- template <class Res>
- struct apply_unchecked;
- public:
- typedef foldr_start_with_parser type;
-
- template <class S, class Pos>
- struct apply :
- boost::mpl::eval_if<
- typename is_error<typename P::template apply<S, Pos> >::type,
- typename StateP::template apply<S, Pos>,
- apply_unchecked<typename P::template apply<S, Pos> >
- >
- {};
- private:
- template <class Res>
- struct apply_unchecked
- {
- private:
- typedef
- typename foldr_start_with_parser::template apply<
- typename get_remaining<Res>::type,
- typename get_position<Res>::type
- >
- parsed_remaining;
- public:
- typedef
- typename boost::mpl::eval_if<
- typename is_error<parsed_remaining>::type,
- parsed_remaining,
- apply_unchecked1<Res, parsed_remaining>
- >::type
- type;
- };
- };
- }
- }
- }
- #endif
|