#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
|
