summaryrefslogtreecommitdiffstats
path: root/src/boost/libs/metaparse/test/reject.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'src/boost/libs/metaparse/test/reject.cpp')
-rw-r--r--src/boost/libs/metaparse/test/reject.cpp58
1 files changed, 58 insertions, 0 deletions
diff --git a/src/boost/libs/metaparse/test/reject.cpp b/src/boost/libs/metaparse/test/reject.cpp
new file mode 100644
index 00000000..5dfe2ad1
--- /dev/null
+++ b/src/boost/libs/metaparse/test/reject.cpp
@@ -0,0 +1,58 @@
+// Copyright Abel Sinkovics (abel@sinkovics.hu) 2014.
+// 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/reject.hpp>
+#include <boost/metaparse/start.hpp>
+#include <boost/metaparse/get_message.hpp>
+#include <boost/metaparse/get_position.hpp>
+
+#include <boost/mpl/assert.hpp>
+
+#include <boost/type_traits.hpp>
+
+#include "test_case.hpp"
+
+namespace
+{
+ template <class T>
+ struct returns
+ {
+ typedef T type;
+ };
+
+ template <class T>
+ struct get_foo
+ {
+ typedef typename T::foo type;
+ };
+}
+
+BOOST_METAPARSE_TEST_CASE(reject)
+{
+ using boost::metaparse::reject;
+ using boost::metaparse::start;
+ using boost::metaparse::get_message;
+ using boost::metaparse::get_position;
+
+ using boost::is_same;
+
+ // test_reject_is_metaprogramming_value
+ BOOST_MPL_ASSERT((is_same<reject<int, start>, reject<int, start>::type>));
+
+ // test_reject_is_not_lazy
+ BOOST_MPL_ASSERT((
+ is_same<
+ reject<get_foo<int>, start>,
+ reject<get_foo<int>, returns<start> >::type
+ >
+ ));
+
+ // test_get_message_of_reject
+ BOOST_MPL_ASSERT((is_same<int, get_message<reject<int, start> >::type>));
+
+ // test_get_position_of_reject
+ BOOST_MPL_ASSERT((is_same<start, get_position<reject<int, start> >::type>));
+}
+