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/foldl_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/return_.hpp>
12 #include <boost/metaparse/v1/impl/back_inserter.hpp>
13
14 #include "common.hpp"
15
16 #include <boost/mpl/apply_wrap.hpp>
17 #include <boost/mpl/char.hpp>
18 #include <boost/mpl/assert.hpp>
19
20 #include "test_case.hpp"
21
22 namespace
23 {
24 struct keep_state
25 {
26 typedef keep_state type;
27
28 template <class S, class C>
29 struct apply : S {};
30 };
31 }
32
BOOST_METAPARSE_TEST_CASE(foldl_start_with_parser)33 BOOST_METAPARSE_TEST_CASE(foldl_start_with_parser)
34 {
35 using boost::metaparse::foldl_start_with_parser;
36 using boost::metaparse::start;
37 using boost::metaparse::is_error;
38 using boost::metaparse::lit_c;
39 using boost::metaparse::get_result;
40
41 using boost::mpl::equal_to;
42 using boost::mpl::apply_wrap2;
43 using boost::mpl::char_;
44
45 typedef foldl_start_with_parser<lit_c<'a'>, lit_c<'b'>, keep_state> p;
46
47 // test_b
48 BOOST_MPL_ASSERT((
49 equal_to<get_result<apply_wrap2<p, str_b, start> >::type, char_<'b'> >
50 ));
51
52 // test_ba
53 BOOST_MPL_ASSERT((
54 equal_to<get_result<apply_wrap2<p, str_ba, start> >::type, char_<'b'> >
55 ));
56
57 // test_baaaa
58 BOOST_MPL_ASSERT((
59 equal_to<get_result<apply_wrap2<p, str_baaaa, start> >::type, char_<'b'> >
60 ));
61
62 // test_c
63 BOOST_MPL_ASSERT((is_error<apply_wrap2<p, str_c, start> >));
64
65 // test_ca
66 BOOST_MPL_ASSERT((is_error<apply_wrap2<p, str_ca, start> >));
67 }
68
69 // Test foldl_start_with_parser as a normal fold
70
71 using boost::metaparse::foldl_start_with_parser;
72 using boost::metaparse::return_;
73 using boost::metaparse::v1::impl::back_inserter;
74
75 using boost::mpl::vector;
76
77 namespace
78 {
79 template <class P>
80 struct repeated :
81 foldl_start_with_parser<P, return_<vector<> >, back_inserter>
82 {};
83 }
84
85 #define TEST_NAME foldl_start_with_parser_as_foldl
86
87 #include "repeated_test.hpp"
88
89