• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
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/empty.hpp>
7 #include <boost/metaparse/is_error.hpp>
8 #include <boost/metaparse/start.hpp>
9 #include <boost/metaparse/get_result.hpp>
10 
11 #include "common.hpp"
12 
13 #include <boost/mpl/equal_to.hpp>
14 #include <boost/mpl/apply_wrap.hpp>
15 #include <boost/mpl/assert.hpp>
16 
17 #include "test_case.hpp"
18 
BOOST_METAPARSE_TEST_CASE(empty)19 BOOST_METAPARSE_TEST_CASE(empty)
20 {
21   using boost::metaparse::get_result;
22   using boost::metaparse::empty;
23   using boost::metaparse::start;
24   using boost::metaparse::is_error;
25 
26   using boost::mpl::equal_to;
27   using boost::mpl::apply_wrap2;
28 
29   typedef empty<int13> empty13;
30 
31   // test_accept_empty
32   BOOST_MPL_ASSERT((
33     equal_to<get_result<apply_wrap2<empty13, str_, start> >::type, int13>
34   ));
35 
36   // test_reject_non_empty
37   BOOST_MPL_ASSERT((is_error<apply_wrap2<empty13, str_a, start> >));
38 }
39 
40