12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667 |
- // 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/foldr_start_with_parser.hpp>
- #include <boost/metaparse/start.hpp>
- #include <boost/metaparse/string.hpp>
- #include <boost/metaparse/is_error.hpp>
- #include <boost/metaparse/get_result.hpp>
- #include <boost/metaparse/fail.hpp>
- #include "common.hpp"
- #include <boost/mpl/apply_wrap.hpp>
- #include <boost/mpl/char.hpp>
- #include <boost/mpl/assert.hpp>
- #include "test_case.hpp"
- namespace
- {
- struct keep_state
- {
- typedef keep_state type;
- template <class S, class C>
- struct apply : S {};
- };
- }
- BOOST_METAPARSE_TEST_CASE(foldr_start_with_parser)
- {
- using boost::metaparse::foldr_start_with_parser;
- using boost::metaparse::start;
- using boost::metaparse::is_error;
- using boost::metaparse::lit_c;
- using boost::metaparse::get_result;
-
- using boost::mpl::equal_to;
- using boost::mpl::apply_wrap2;
- using boost::mpl::char_;
- typedef foldr_start_with_parser<lit_c<'a'>, lit_c<'b'>, keep_state> p;
- // test_b
- BOOST_MPL_ASSERT((
- equal_to<get_result<apply_wrap2<p, str_b, start> >::type, char_<'b'> >
- ));
-
- // test_ab
- BOOST_MPL_ASSERT((
- equal_to<get_result<apply_wrap2<p, str_ab, start> >::type, char_<'b'> >
- ));
- // test_aaaab
- BOOST_MPL_ASSERT((
- equal_to<get_result<apply_wrap2<p, str_aaaab, start> >::type, char_<'b'> >
- ));
- // test_c
- BOOST_MPL_ASSERT((is_error<apply_wrap2<p, str_c, start> >));
- // test_ac
- BOOST_MPL_ASSERT((is_error<apply_wrap2<p, str_ac, start> >));
- }
|