123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115 |
- // Copyright Abel Sinkovics (abel@sinkovics.hu) 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/sequence.hpp>
- #include <boost/metaparse/is_error.hpp>
- #include <boost/metaparse/start.hpp>
- #include <boost/metaparse/get_result.hpp>
- #include <boost/metaparse/always.hpp>
- #include <boost/metaparse/one_char.hpp>
- #include "common.hpp"
- #include <boost/mpl/equal_to.hpp>
- #include <boost/mpl/apply_wrap.hpp>
- #include <boost/mpl/list.hpp>
- #include <boost/mpl/at.hpp>
- #include <boost/mpl/equal.hpp>
- #include <boost/mpl/vector_c.hpp>
- #include <boost/mpl/vector.hpp>
- #include <boost/mpl/assert.hpp>
- #include "test_case.hpp"
- BOOST_METAPARSE_TEST_CASE(sequence)
- {
- using boost::metaparse::get_result;
- using boost::metaparse::sequence;
- using boost::metaparse::start;
- using boost::metaparse::is_error;
- using boost::metaparse::always;
- using boost::metaparse::one_char;
-
- using boost::mpl::equal;
- using boost::mpl::apply_wrap2;
- using boost::mpl::list;
- using boost::mpl::equal_to;
- using boost::mpl::at_c;
- using boost::mpl::vector_c;
- using boost::mpl::vector;
- typedef always<one_char, int> always_int;
- // test_no_parser
- BOOST_MPL_ASSERT((
- equal<get_result<apply_wrap2<sequence<>, str_hello, start> >::type, list<> >
- ));
- // test_one_parser
- BOOST_MPL_ASSERT((
- equal<
- get_result<apply_wrap2<sequence<lit_h>, str_hello, start> >::type,
- vector_c<char, 'h'>
- >
- ));
- // test_one_failing_parser
- BOOST_MPL_ASSERT((is_error<apply_wrap2<sequence<lit_e>, str_hello, start> >));
-
- // test_two_chars
- BOOST_MPL_ASSERT((
- equal<
- get_result<apply_wrap2<sequence<lit_h, lit_e>, str_hello, start> >::type,
- vector_c<char, 'h', 'e'>
- >
- ));
- // test_first_fails
- BOOST_MPL_ASSERT((
- is_error<apply_wrap2<sequence<lit_x, lit_e>, str_hello, start> >
- ));
- // test_second_fails
- BOOST_MPL_ASSERT((
- is_error<apply_wrap2<sequence<lit_h, lit_x>, str_hello, start> >
- ));
- // test_empty_input
- BOOST_MPL_ASSERT((is_error<apply_wrap2<sequence<lit_h,lit_e>, str_,start> >));
- // test_three_chars
- BOOST_MPL_ASSERT((
- equal<
- get_result<
- apply_wrap2<sequence<lit_h, lit_e, lit_l>, str_hello, start>
- >::type,
- vector_c<char, 'h', 'e', 'l'>
- >
- ));
- // test_indexing_in_result
- BOOST_MPL_ASSERT((
- equal_to<
- at_c<
- get_result<
- apply_wrap2<sequence<lit_h, lit_e, lit_l>, str_hello, start>
- >::type,
- 1
- >::type,
- char_e
- >
- ));
- // test_no_extra_evaluation
- BOOST_MPL_ASSERT((
- equal<
- get_result<
- apply_wrap2<sequence<always_int, always_int>, str_ca, start>
- >::type,
- vector<int, int>
- >
- ));
- }
|