boostorg/mpl
1
0
Fork 1
mirror of https://github.com/boostorg/mpl.git synced 2025-08-03 23:04:33 +02:00
Code Issues Packages Projects Releases Wiki Activity

Added test for BOOST_NO_MPL_AUX_HAS_XXX macro

Browse Source 
[SVN r18226]
This commit is contained in:
Dave Abrahams
2003-04-10 12:43:19 +00:00
parent d1a899970f
commit 2a5b68c117
2 changed files with 71 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
test/aux_/Jamfile
View File

@@ -8,4 +8,5 @@ compile debug_print.cpp ;
compile has_rebind.cpp ; compile has_rebind.cpp ;
compile has_distance.cpp ; compile has_distance.cpp ;
compile has_xxx.cpp ; compile has_xxx.cpp ;
compile no_has_xxx.cpp ;
compile typeof.cpp ; compile typeof.cpp ;

70
test/aux_/no_has_xxx.cpp Executable file
View File

@@ -0,0 +1,70 @@
//-----------------------------------------------------------------------------
// boost mpl/test/aux_/no_has_xxx.cpp source file
// See http://www.boost.org for updates, documentation, and revision history.
//-----------------------------------------------------------------------------
//
// Copyright (c) 2000-03
// Aleksey Gurtovoy, Dave Abrahams
//
// Permission to use, copy, modify, distribute and sell this software
// and its documentation for any purpose is hereby granted without fee,
// provided that the above copyright notice appears in all copies and
// that both the copyright notice and this permission notice appear in
// supporting documentation. No representations are made about the
// suitability of this software for any purpose. It is provided "as is"
// without express or implied warranty.
#include "boost/mpl/aux_/has_xxx.hpp"
#include "boost/mpl/aux_/config/workaround.hpp"
#include "boost/static_assert.hpp"
BOOST_MPL_HAS_XXX_TRAIT_DEF(xxx_type)
struct a1;
struct a2 {};
struct a3 { typedef int xxx_type; };
struct a4 { struct xxx_type; };
struct a5 { typedef int& xxx_type; };
struct a6 { typedef int* xxx_type; };
struct a7 { typedef int xxx_type[10]; };
struct a8 { typedef void (*xxx_type)(); };
struct a9 { typedef void (xxx_type)(); };
//
// This file tests that we have the right value for
// BOOST_NO_MPL_AUX_HAS_XXX, and that has_xxx doesn't just fail to
// compile arbitrarily. Could be used as part of the config tests.
//
#undef FALSE
#undef TRUE
#define FALSE false
#ifdef BOOST_NO_MPL_AUX_HAS_XXX
# define TRUE FALSE
#else
# define TRUE true
#endif
int main()
{
#if !BOOST_WORKAROUND(BOOST_MSVC, <= 1300)
BOOST_STATIC_ASSERT(has_xxx_type<int&>::value == FALSE);
BOOST_STATIC_ASSERT(has_xxx_type<int*>::value == FALSE);
BOOST_STATIC_ASSERT(has_xxx_type<int[]>::value == FALSE);
BOOST_STATIC_ASSERT(has_xxx_type<int (*)()>::value == FALSE);
#endif
BOOST_STATIC_ASSERT(has_xxx_type<int>::value == FALSE);
BOOST_STATIC_ASSERT(has_xxx_type<a1>::value == FALSE);
BOOST_STATIC_ASSERT(has_xxx_type<a2>::value == FALSE);
BOOST_STATIC_ASSERT(has_xxx_type<a3>::value == TRUE);
BOOST_STATIC_ASSERT(has_xxx_type<a4>::value == TRUE);
BOOST_STATIC_ASSERT(has_xxx_type<a5>::value == TRUE);
BOOST_STATIC_ASSERT(has_xxx_type<a6>::value == TRUE);
BOOST_STATIC_ASSERT(has_xxx_type<a7>::value == TRUE);
BOOST_STATIC_ASSERT(has_xxx_type<a8>::value == TRUE);
BOOST_STATIC_ASSERT(has_xxx_type<a9>::value == TRUE);
return 0;
}