90 lines
2.9 KiB
C++
90 lines
2.9 KiB
C++
/*=============================================================================
|
|
Copyright (c) 2016 Kohei Takahashi
|
|
|
|
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/detail/lightweight_test.hpp>
|
|
#include <boost/fusion/adapted/adt/adapt_assoc_adt.hpp>
|
|
#include <boost/fusion/sequence/intrinsic/size.hpp>
|
|
#include <boost/fusion/sequence/intrinsic/empty.hpp>
|
|
#include <boost/fusion/sequence/intrinsic/begin.hpp>
|
|
#include <boost/fusion/sequence/intrinsic/end.hpp>
|
|
#include <boost/fusion/sequence/io/out.hpp>
|
|
#include <boost/fusion/iterator/equal_to.hpp>
|
|
#include <boost/fusion/container/vector/vector.hpp>
|
|
#include <boost/fusion/container/list/list.hpp>
|
|
#include <boost/fusion/container/generation/make_vector.hpp>
|
|
#include <boost/fusion/sequence/comparison/equal_to.hpp>
|
|
#include <boost/fusion/sequence/comparison/not_equal_to.hpp>
|
|
#include <boost/fusion/sequence/comparison/less.hpp>
|
|
#include <boost/fusion/sequence/comparison/less_equal.hpp>
|
|
#include <boost/fusion/sequence/comparison/greater.hpp>
|
|
#include <boost/fusion/sequence/comparison/greater_equal.hpp>
|
|
#include <boost/fusion/mpl.hpp>
|
|
#include <boost/fusion/support/is_view.hpp>
|
|
#include <boost/mpl/is_sequence.hpp>
|
|
#include <boost/mpl/assert.hpp>
|
|
#include <iostream>
|
|
|
|
template <typename T>
|
|
class empty_adt{};
|
|
BOOST_FUSION_ADAPT_ASSOC_TPL_ADT((T), (empty_adt)(T),)
|
|
|
|
int
|
|
main()
|
|
{
|
|
using namespace boost::fusion;
|
|
using namespace boost;
|
|
|
|
std::cout << tuple_open('[');
|
|
std::cout << tuple_close(']');
|
|
std::cout << tuple_delimiter(", ");
|
|
|
|
{
|
|
BOOST_MPL_ASSERT_NOT((traits::is_view<empty_adt<void> >));
|
|
empty_adt<void> e;
|
|
|
|
std::cout << e << std::endl;
|
|
BOOST_TEST(e == make_vector());
|
|
|
|
BOOST_STATIC_ASSERT(fusion::result_of::size<empty_adt<void> >::value == 0);
|
|
BOOST_MPL_ASSERT((fusion::result_of::empty<empty_adt<void> >));
|
|
|
|
BOOST_MPL_ASSERT((fusion::result_of::equal_to<
|
|
fusion::result_of::begin<empty_adt<void> >::type,
|
|
fusion::result_of::end<empty_adt<void> >::type>));
|
|
}
|
|
|
|
{
|
|
fusion::vector<> v;
|
|
empty_adt<void> e;
|
|
BOOST_TEST(v <= e);
|
|
BOOST_TEST_NOT(e > v);
|
|
BOOST_TEST_NOT(v < e);
|
|
BOOST_TEST(v <= e);
|
|
BOOST_TEST_NOT(e > v);
|
|
BOOST_TEST(e >= v);
|
|
}
|
|
|
|
{
|
|
empty_adt<void> e;
|
|
|
|
// conversion from empty_adt to vector
|
|
fusion::vector<> v(e);
|
|
v = e;
|
|
|
|
// FIXME
|
|
// conversion from empty_adt to list
|
|
//fusion::list<> l(e);
|
|
//l = e;
|
|
}
|
|
|
|
BOOST_MPL_ASSERT((mpl::is_sequence<empty_adt<void> >));
|
|
BOOST_MPL_ASSERT_NOT((fusion::result_of::has_key<empty_adt<void>, void>));
|
|
BOOST_MPL_ASSERT_NOT((fusion::result_of::has_key<empty_adt<void>, int>));
|
|
|
|
return boost::report_errors();
|
|
}
|
|
|