ceph/src/boost/libs/metaparse/test/sequence.cpp

   1 // Copyright Abel Sinkovics (abel@sinkovics.hu) 2010.
   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/sequence.hpp>
   7 #include <boost/metaparse/is_error.hpp>
   8 #include <boost/metaparse/start.hpp>
   9 #include <boost/metaparse/get_result.hpp>
  10 #include <boost/metaparse/always.hpp>
  11 #include <boost/metaparse/one_char.hpp>
  12
  13 #include "common.hpp"
  14
  15 #include <boost/mpl/equal_to.hpp>
  16 #include <boost/mpl/apply_wrap.hpp>
  17 #include <boost/mpl/list.hpp>
  18 #include <boost/mpl/at.hpp>
  19 #include <boost/mpl/equal.hpp>
  20 #include <boost/mpl/vector_c.hpp>
  21 #include <boost/mpl/vector.hpp>
  22 #include <boost/mpl/assert.hpp>
  23
  24 #include "test_case.hpp"
  25
  26 BOOST_METAPARSE_TEST_CASE(sequence)
  27 {
  28   using boost::metaparse::get_result;
  29   using boost::metaparse::sequence;
  30   using boost::metaparse::start;
  31   using boost::metaparse::is_error;
  32   using boost::metaparse::always;
  33   using boost::metaparse::one_char;
  34
  35   using boost::mpl::equal;
  36   using boost::mpl::apply_wrap2;
  37   using boost::mpl::list;
  38   using boost::mpl::equal_to;
  39   using boost::mpl::at_c;
  40   using boost::mpl::vector_c;
  41   using boost::mpl::vector;
  42
  43   typedef always<one_char, int> always_int;
  44
  45   // test_no_parser
  46   BOOST_MPL_ASSERT((
  47     equal<get_result<apply_wrap2<sequence<>, str_hello, start> >::type, list<> >
  48   ));
  49
  50   // test_one_parser
  51   BOOST_MPL_ASSERT((
  52     equal<
  53       get_result<apply_wrap2<sequence<lit_h>, str_hello, start> >::type,
  54       vector_c<char, 'h'>
  55     >
  56   ));
  57
  58   // test_one_failing_parser
  59   BOOST_MPL_ASSERT((is_error<apply_wrap2<sequence<lit_e>, str_hello, start> >));
  60
  61   // test_two_chars
  62   BOOST_MPL_ASSERT((
  63     equal<
  64       get_result<apply_wrap2<sequence<lit_h, lit_e>, str_hello, start> >::type,
  65       vector_c<char, 'h', 'e'>
  66     >
  67   ));
  68
  69   // test_first_fails
  70   BOOST_MPL_ASSERT((
  71     is_error<apply_wrap2<sequence<lit_x, lit_e>, str_hello, start> >
  72   ));
  73
  74   // test_second_fails
  75   BOOST_MPL_ASSERT((
  76     is_error<apply_wrap2<sequence<lit_h, lit_x>, str_hello, start> >
  77   ));
  78
  79   // test_empty_input
  80   BOOST_MPL_ASSERT((is_error<apply_wrap2<sequence<lit_h,lit_e>, str_,start> >));
  81
  82   // test_three_chars
  83   BOOST_MPL_ASSERT((
  84     equal<
  85       get_result<
  86         apply_wrap2<sequence<lit_h, lit_e, lit_l>, str_hello, start>
  87       >::type,
  88       vector_c<char, 'h', 'e', 'l'>
  89     >
  90   ));
  91
  92   // test_indexing_in_result
  93   BOOST_MPL_ASSERT((
  94     equal_to<
  95       at_c<
  96         get_result<
  97           apply_wrap2<sequence<lit_h, lit_e, lit_l>, str_hello, start>
  98         >::type,
  99         1
 100       >::type,
 101       char_e
 102     >
 103   ));
 104
 105   // test_no_extra_evaluation
 106   BOOST_MPL_ASSERT((
 107     equal<
 108       get_result<
 109         apply_wrap2<sequence<always_int, always_int>, str_ca, start>
 110       >::type,
 111       vector<int, int>
 112     >
 113   ));
 114 }
 115