mirror of
https://github.com/boostorg/tti.git
synced 2026-01-25 18:52:17 +00:00
101 lines
2.7 KiB
C++
101 lines
2.7 KiB
C++
#include "TestMFHasTypeCheckTypedef.hpp"
|
|
#include <boost/detail/lightweight_test.hpp>
|
|
|
|
int main()
|
|
{
|
|
|
|
using namespace boost::mpl::placeholders;
|
|
|
|
BOOST_TEST((tti::mf_has_type
|
|
<
|
|
tti::has_type_AnIntType<_,_>,
|
|
boost::mpl::identity<AType>,
|
|
boost::mpl::identity<int>
|
|
>
|
|
::value
|
|
));
|
|
|
|
BOOST_TEST((tti::mf_has_type
|
|
<
|
|
tti::NameStruct<_,_>,
|
|
boost::mpl::identity<AType>,
|
|
tti::member_type_AStructType<AType>
|
|
>
|
|
::value
|
|
));
|
|
|
|
BOOST_TEST((tti::mf_has_type
|
|
<
|
|
tti::has_type_AnIntTypeReference<_,_>,
|
|
boost::mpl::identity<AType>,
|
|
boost::mpl::identity<int &>
|
|
>
|
|
::value
|
|
));
|
|
|
|
BOOST_TEST((tti::mf_has_type
|
|
<
|
|
tti::has_type_BType<_,_>,
|
|
boost::mpl::identity<AType>,
|
|
tti::member_type_BType<AType>
|
|
>
|
|
::value
|
|
));
|
|
|
|
BOOST_TEST((tti::mf_has_type
|
|
<
|
|
tti::TheInteger<_,_>,
|
|
tti::member_type_BType<AType>,
|
|
boost::mpl::identity<int>
|
|
>
|
|
::value
|
|
));
|
|
|
|
BOOST_TEST((tti::mf_has_type
|
|
<
|
|
tti::has_type_CType<_,_>,
|
|
tti::member_type_BType<AType>,
|
|
tti::mf_member_type
|
|
<
|
|
tti::member_type_CType<_>,
|
|
tti::member_type_BType<AType>
|
|
>
|
|
>
|
|
::value
|
|
));
|
|
|
|
BOOST_TEST((tti::mf_has_type
|
|
<
|
|
tti::has_type_AnotherIntegerType<_,_>,
|
|
tti::mf_member_type
|
|
<
|
|
tti::member_type_CType<_>,
|
|
tti::member_type_BType<AType>
|
|
>,
|
|
boost::mpl::identity<int>
|
|
>
|
|
::value
|
|
));
|
|
|
|
BOOST_TEST((tti::mf_has_type
|
|
<
|
|
tti::SomethingElse<_,_>,
|
|
boost::mpl::identity<AnotherType>,
|
|
tti::member_type_AnIntType<AType>
|
|
>
|
|
::value
|
|
));
|
|
|
|
BOOST_TEST((!tti::mf_has_type
|
|
<
|
|
tti::has_type_NoOtherType<_,_>,
|
|
boost::mpl::identity<AnotherType>,
|
|
boost::mpl::identity<double>
|
|
>
|
|
::value
|
|
));
|
|
|
|
return boost::report_errors();
|
|
|
|
}
|