summaryrefslogtreecommitdiff
path: root/boost/vmd/assert_is_type.hpp
diff options
context:
space:
mode:
Diffstat (limited to 'boost/vmd/assert_is_type.hpp')
-rw-r--r--boost/vmd/assert_is_type.hpp113
1 files changed, 113 insertions, 0 deletions
diff --git a/boost/vmd/assert_is_type.hpp b/boost/vmd/assert_is_type.hpp
new file mode 100644
index 0000000000..5bf86d1cac
--- /dev/null
+++ b/boost/vmd/assert_is_type.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_TYPE_HPP)
+#define BOOST_VMD_ASSERT_IS_TYPE_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_TYPE(sequence)
+
+ \brief Asserts that the sequence is a VMD type.
+
+ The macro checks that the sequence is a VMD type.
+ If it is not a VMD type, it forces a compiler error.
+
+ The macro normally checks for a VMD type 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 VMD type.
+
+ returns = Normally the macro returns nothing.
+
+ If the sequence is a VMD type, 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 VMD type the
+ macro forces a compiler error by outputting invalid C++.
+
+ For all other compilers a compiler error is forced
+ without producing output if the sequence is not a
+ VMD type.
+
+*/
+
+/** \def BOOST_VMD_ASSERT_IS_TYPE_D(d,sequence)
+
+ \brief Asserts that the sequence is a VMD type. Re-entrant version.
+
+ The macro checks that the sequence is a VMD type.
+ If it is not a VMD type, it forces a compiler error.
+
+ The macro normally checks for a VMD type 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 VMD type.
+
+ returns = Normally the macro returns nothing.
+
+ If the sequence is a VMD type, 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 VMD type the
+ macro forces a compiler error by outputting invalid C++.
+
+ For all other compilers a compiler error is forced
+ without producing output if the sequence is not a
+ VMD type.
+
+*/
+
+#if !BOOST_VMD_ASSERT_DATA
+
+#define BOOST_VMD_ASSERT_IS_TYPE(sequence)
+#define BOOST_VMD_ASSERT_IS_TYPE_D(d,sequence)
+
+#else
+
+#include <boost/vmd/assert.hpp>
+#include <boost/vmd/is_type.hpp>
+
+#define BOOST_VMD_ASSERT_IS_TYPE(sequence) \
+ BOOST_VMD_ASSERT \
+ ( \
+ BOOST_VMD_IS_TYPE(sequence), \
+ BOOST_VMD_IS_TYPE_ASSERT_ERROR \
+ ) \
+/**/
+
+#define BOOST_VMD_ASSERT_IS_TYPE_D(d,sequence) \
+ BOOST_VMD_ASSERT \
+ ( \
+ BOOST_VMD_IS_TYPE_D(d,sequence), \
+ BOOST_VMD_IS_TYPE_ASSERT_ERROR \
+ ) \
+/**/
+
+#endif // !BOOST_VMD_ASSERT_DATA
+
+#endif /* BOOST_PP_VARIADICS */
+#endif /* BOOST_VMD_ASSERT_IS_TYPE_HPP */