1 // Copyright Abel Sinkovics (abel@sinkovics.hu) 2012.
2 // Distributed under the Boost Software License, Version 1.0.
3 // (See accompanying file LICENSE_1_0.txt or copy at
4 // http://www.boost.org/LICENSE_1_0.txt)
5
6 #include <boost/metaparse/foldr_start_with_parser.hpp>
7 #include <boost/metaparse/start.hpp>
8 #include <boost/metaparse/string.hpp>
9 #include <boost/metaparse/is_error.hpp>
10 #include <boost/metaparse/get_result.hpp>
11 #include <boost/metaparse/fail.hpp>
12
13 #include "common.hpp"
14
15 #include <boost/mpl/apply_wrap.hpp>
16 #include <boost/mpl/char.hpp>
17 #include <boost/mpl/assert.hpp>
18
19 #include "test_case.hpp"
20
21 namespace
22 {
23 struct keep_state
24 {
25 typedef keep_state type;
26
27 template <class S, class C>
28 struct apply : S {};
29 };
30 }
31
BOOST_METAPARSE_TEST_CASE(foldr_start_with_parser)32 BOOST_METAPARSE_TEST_CASE(foldr_start_with_parser)
33 {
34 using boost::metaparse::foldr_start_with_parser;
35 using boost::metaparse::start;
36 using boost::metaparse::is_error;
37 using boost::metaparse::lit_c;
38 using boost::metaparse::get_result;
39
40 using boost::mpl::equal_to;
41 using boost::mpl::apply_wrap2;
42 using boost::mpl::char_;
43
44 typedef foldr_start_with_parser<lit_c<'a'>, lit_c<'b'>, keep_state> p;
45
46 // test_b
47 BOOST_MPL_ASSERT((
48 equal_to<get_result<apply_wrap2<p, str_b, start> >::type, char_<'b'> >
49 ));
50
51 // test_ab
52 BOOST_MPL_ASSERT((
53 equal_to<get_result<apply_wrap2<p, str_ab, start> >::type, char_<'b'> >
54 ));
55
56 // test_aaaab
57 BOOST_MPL_ASSERT((
58 equal_to<get_result<apply_wrap2<p, str_aaaab, start> >::type, char_<'b'> >
59 ));
60
61 // test_c
62 BOOST_MPL_ASSERT((is_error<apply_wrap2<p, str_c, start> >));
63
64 // test_ac
65 BOOST_MPL_ASSERT((is_error<apply_wrap2<p, str_ac, start> >));
66 }
67
68