diff options
Diffstat (limited to 'boost/vmd/assert_is_list.hpp')
-rw-r--r-- | boost/vmd/assert_is_list.hpp | 113 |
1 files changed, 113 insertions, 0 deletions
diff --git a/boost/vmd/assert_is_list.hpp b/boost/vmd/assert_is_list.hpp new file mode 100644 index 0000000000..6c1b5eaa06 --- /dev/null +++ b/boost/vmd/assert_is_list.hpp @@ -0,0 +1,113 @@ + +// (C) Copyright Edward Diener 2011-2015 +// Use, modification and distribution are subject to 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). + +#if !defined(BOOST_VMD_ASSERT_IS_LIST_HPP) +#define BOOST_VMD_ASSERT_IS_LIST_HPP + +#include <boost/vmd/detail/setup.hpp> + +#if BOOST_PP_VARIADICS + +/* + + The succeeding comments in this file are in doxygen format. + +*/ + +/** \file +*/ + +/** \def BOOST_VMD_ASSERT_IS_LIST(sequence) + + \brief Asserts that the sequence is a Boost PP list. + + The macro checks that the sequence is a Boost PP list. + If it is not a Boost PP list, it forces a compiler error. + + The macro normally checks for a Boost PP list only in + debug mode. However an end-user can force the macro + to check or not check by defining the macro + BOOST_VMD_ASSERT_DATA to 1 or 0 respectively. + + sequence = a possible Boost PP list. + + returns = Normally the macro returns nothing. + + If the sequence is a Boost PP list, nothing is + output. + + For VC++, because there is no sure way of forcing + a compiler error from within a macro without producing + output, if the sequence is not a Boost PP list the + macro forces a compiler error by outputting invalid C++. + + For all other compilers a compiler error is forced + without producing output if the parameter is not a + Boost PP list. + +*/ + +/** \def BOOST_VMD_ASSERT_IS_LIST_D(d,sequence) + + \brief Asserts that the sequence is a Boost PP list. Re-entrant version. + + The macro checks that the sequence is a Boost PP list. + If it is not a Boost PP list, it forces a compiler error. + + The macro normally checks for a Boost PP list only in + debug mode. However an end-user can force the macro + to check or not check by defining the macro + BOOST_VMD_ASSERT_DATA to 1 or 0 respectively. + + d = The next available BOOST_PP_WHILE iteration. + sequence = a possible Boost PP list. + + returns = Normally the macro returns nothing. + + If the sequence is a Boost PP list, nothing is + output. + + For VC++, because there is no sure way of forcing + a compiler error from within a macro without producing + output, if the sequence is not a Boost PP list the + macro forces a compiler error by outputting invalid C++. + + For all other compilers a compiler error is forced + without producing output if the parameter is not a + Boost PP list. + +*/ + +#if !BOOST_VMD_ASSERT_DATA + +#define BOOST_VMD_ASSERT_IS_LIST(sequence) +#define BOOST_VMD_ASSERT_IS_LIST_D(d,sequence) + +#else + +#include <boost/vmd/assert.hpp> +#include <boost/vmd/is_list.hpp> + +#define BOOST_VMD_ASSERT_IS_LIST(sequence) \ + BOOST_VMD_ASSERT \ + ( \ + BOOST_VMD_IS_LIST(sequence), \ + BOOST_VMD_ASSERT_IS_LIST_ERROR \ + ) \ +/**/ + +#define BOOST_VMD_ASSERT_IS_LIST_D(d,sequence) \ + BOOST_VMD_ASSERT \ + ( \ + BOOST_VMD_IS_LIST_D(d,sequence), \ + BOOST_VMD_ASSERT_IS_LIST_ERROR \ + ) \ +/**/ + +#endif /* BOOST_VMD_ASSERT_DATA */ + +#endif /* BOOST_PP_VARIADICS */ +#endif /* BOOST_VMD_ASSERT_IS_LIST_HPP */ |