Home Explore Help
Register Sign In
devn00b
/
EQ2EMu
9
3
Fork 0
Files Issues 75 Pull Requests 0 Wiki
Tree: 37313e0645
Branches Tags
EQ2EMu
/
EQ2
/
source
/
depends
/
boost_1_72_0
/
libs
/
type_erasure
/
test
/
test_is_subconcept.cpp

test_is_subconcept.cpp 1.9 KB
History Raw

12345678910111213141516171819202122232425262728293031323334 
  1. // Boost.TypeErasure library
    2. 

  2. //
    3. 

  3. // Copyright 2012 Steven Watanabe
    4. 

  4. //
    5. 

  5. // Distributed under the Boost Software License Version 1.0. (See
    6. 

  6. // accompanying file LICENSE_1_0.txt or copy at
    7. 

  7. // http://www.boost.org/LICENSE_1_0.txt)
    8. 

  8. //
    9. 

  9. // $Id$
    10. 

  10. 

  11. #include <boost/type_erasure/is_subconcept.hpp>
    12. 

  12. #include <boost/type_erasure/builtin.hpp>
    13. 

  13. #include <boost/type_erasure/operators.hpp>
    14. 

  14. #include <boost/mpl/vector.hpp>
    15. 

  15. #include <boost/mpl/assert.hpp>
    16. 

  16. 

  17. namespace mpl = boost::mpl;
    18. 

  18. using namespace boost::type_erasure;
    19. 

  19. 

  20. BOOST_MPL_ASSERT((is_subconcept<typeid_<>, typeid_<> >));
    21. 

  21. BOOST_MPL_ASSERT_NOT((is_subconcept<typeid_<>, incrementable<> >));
    22. 

  22. BOOST_MPL_ASSERT_NOT((is_subconcept<mpl::vector<typeid_<>, incrementable<> >, typeid_<> >));
    23. 

  23. BOOST_MPL_ASSERT_NOT((is_subconcept<mpl::vector<typeid_<>, incrementable<> >, incrementable<> >));
    24. 

  24. BOOST_MPL_ASSERT((is_subconcept<typeid_<>, mpl::vector<typeid_<>, incrementable<> > >));
    25. 

  25. BOOST_MPL_ASSERT((is_subconcept<incrementable<>, mpl::vector<typeid_<>, incrementable<> > >));
    26. 

  26. BOOST_MPL_ASSERT((is_subconcept<mpl::vector<typeid_<>, incrementable<> >, mpl::vector<incrementable<>, typeid_<> > >));
    27. 

  27. 

  28. BOOST_MPL_ASSERT((is_subconcept<typeid_<_a>, typeid_<_b>, mpl::map<mpl::pair<_a, _b> > >));
    29. 

  29. BOOST_MPL_ASSERT_NOT((is_subconcept<typeid_<_a>, incrementable<_b>, mpl::map<mpl::pair<_a, _b> > >));
    30. 

  30. BOOST_MPL_ASSERT_NOT((is_subconcept<mpl::vector<typeid_<_a>, incrementable<_a> >, typeid_<_b>, mpl::map<mpl::pair<_a, _b> > >));
    31. 

  31. BOOST_MPL_ASSERT_NOT((is_subconcept<mpl::vector<typeid_<_a>, incrementable<_a> >, incrementable<_b>, mpl::map<mpl::pair<_a, _b> > >));
    32. 

  32. BOOST_MPL_ASSERT((is_subconcept<typeid_<_a>, mpl::vector<typeid_<_b>, incrementable<_b> >, mpl::map<mpl::pair<_a, _b> > >));
    33. 

  33. BOOST_MPL_ASSERT((is_subconcept<incrementable<_a>, mpl::vector<typeid_<_b>, incrementable<_b> >, mpl::map<mpl::pair<_a, _b> > >));
    34. 

  34. BOOST_MPL_ASSERT((is_subconcept<mpl::vector<typeid_<_a>, incrementable<_a> >, mpl::vector<incrementable<_b>, typeid_<_b> >, mpl::map<mpl::pair<_a, _b> > >));
    35.