1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859 |
- #ifndef BOOST_METAPARSE_V1_ACCEPT_WHEN_HPP
- #define BOOST_METAPARSE_V1_ACCEPT_WHEN_HPP
- // Copyright Abel Sinkovics (abel@sinkovics.hu) 2009 - 2010.
- // 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/get_result.hpp>
- #include <boost/metaparse/v1/reject.hpp>
- #include <boost/metaparse/v1/is_error.hpp>
- #include <boost/mpl/if.hpp>
- #include <boost/mpl/eval_if.hpp>
- namespace boost
- {
- namespace metaparse
- {
- namespace v1
- {
- template <class P, class Pred, class Msg>
- struct accept_when
- {
- private:
- struct unchecked
- {
- template <class S, class Pos>
- struct apply :
- boost::mpl::eval_if<
- typename Pred::template apply<
- typename get_result<typename P::template apply<S, Pos> >::type
- >::type,
- typename P::template apply<S, Pos>,
- reject<Msg, Pos>
- >
- {};
- };
- public:
- typedef accept_when type;
-
- template <class S, class Pos>
- struct apply :
- boost::mpl::if_<
- is_error<typename P::template apply<S, Pos> >,
- P,
- unchecked
- >::type::template apply<
- S,
- Pos
- >
- {};
- };
- }
- }
- }
- #endif
|