1 // Copyright Louis Dionne 2013-2016
2 // Distributed under the Boost Software License, Version 1.0.
3 // (See accompanying file LICENSE.md or copy at http://boost.org/LICENSE_1_0.txt)
5 #ifndef BOOST_HANA_TEST_AUTO_IS_EMPTY_HPP
6 #define BOOST_HANA_TEST_AUTO_IS_EMPTY_HPP
8 #include <boost/hana/assert.hpp>
9 #include <boost/hana/is_empty.hpp>
10 #include <boost/hana/not.hpp>
12 #include "test_case.hpp"
15 namespace _test_is_empty_detail { template <int i> struct undefined { }; }
17 TestCase test_is_empty{[]{
18 namespace hana = boost::hana;
19 using _test_is_empty_detail::undefined;
21 BOOST_HANA_CONSTANT_CHECK(hana::is_empty(
25 BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(
26 MAKE_TUPLE(undefined<0>{})
29 BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(
30 MAKE_TUPLE(undefined<0>{}, undefined<1>{})
33 BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(
34 MAKE_TUPLE(undefined<0>{}, undefined<1>{}, undefined<2>{})
37 BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(
38 MAKE_TUPLE(undefined<0>{}, undefined<1>{}, undefined<2>{}, undefined<3>{})
41 // Check with a runtime value
43 int i = 3; // <- runtime value
44 BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(MAKE_TUPLE(i))));
45 BOOST_HANA_CONSTANT_CHECK(hana::not_(hana::is_empty(MAKE_TUPLE(i, i))));
48 #ifndef MAKE_TUPLE_NO_CONSTEXPR
49 static_assert(hana::is_empty(MAKE_TUPLE()), "");
50 static_assert(hana::not_(hana::is_empty(MAKE_TUPLE(undefined<0>{}))), "");
51 static_assert(hana::not_(hana::is_empty(MAKE_TUPLE(undefined<0>{}, undefined<1>{}))), "");
55 #endif // !BOOST_HANA_TEST_AUTO_IS_EMPTY_HPP