1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162 |
- #ifndef BOOST_METAPARSE_V1_CPP11_SEQUENCE_HPP
- #define BOOST_METAPARSE_V1_CPP11_SEQUENCE_HPP
- // Copyright Abel Sinkovics (abel@sinkovics.hu) 2018.
- // 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/cpp11/impl/push_front_result.hpp>
- #include <boost/metaparse/v1/get_remaining.hpp>
- #include <boost/metaparse/v1/get_position.hpp>
- #include <boost/metaparse/v1/is_error.hpp>
- #include <boost/metaparse/v1/return_.hpp>
- #include <boost/metaparse/v1/transform.hpp>
- #include <boost/mpl/eval_if.hpp>
- #include <boost/mpl/vector.hpp>
- namespace boost
- {
- namespace metaparse
- {
- namespace v1
- {
- template <class... Ps>
- struct sequence;
- template <>
- struct sequence<> : return_<boost::mpl::vector<>> {};
- template <class P, class... Ps>
- struct sequence<P, Ps...>
- {
- private:
- template <class Res>
- struct apply_unchecked :
- transform<
- sequence<Ps...>,
- impl::push_front_result<Res>
- >::template apply<
- typename get_remaining<Res>::type,
- typename get_position<Res>::type
- >
- {};
- public:
- typedef sequence type;
- template <class S, class Pos>
- struct apply :
- boost::mpl::eval_if<
- typename is_error<typename P::template apply<S, Pos>>::type,
- typename P::template apply<S, Pos>,
- apply_unchecked<typename P::template apply<S, Pos>>
- >
- {};
- };
- }
- }
- }
- #endif
|