deps/boost_1_63_0/boost/vmd/assert_is_type.hpp

   1
   2 //  (C) Copyright Edward Diener 2011-2015
   3 //  Use, modification and distribution are subject to the Boost Software License,
   4 //  Version 1.0. (See accompanying file LICENSE_1_0.txt or copy at
   5 //  http://www.boost.org/LICENSE_1_0.txt).
   6
   7 #if !defined(BOOST_VMD_ASSERT_IS_TYPE_HPP)
   8 #define BOOST_VMD_ASSERT_IS_TYPE_HPP
   9
  10 #include <boost/vmd/detail/setup.hpp>
  11
  12 #if BOOST_PP_VARIADICS
  13
  14 /*
  15
  16   The succeeding comments in this file are in doxygen format.
  17
  18 */
  19
  20 /** \file
  21 */
  22
  23 /** \def BOOST_VMD_ASSERT_IS_TYPE(sequence)
  24
  25     \brief Asserts that the sequence is a VMD type.
  26
  27     The macro checks that the sequence is a VMD type.
  28     If it is not a VMD type, it forces a compiler error.
  29
  30     The macro normally checks for a VMD type only in
  31     debug mode. However an end-user can force the macro
  32     to check or not check by defining the macro
  33     BOOST_VMD_ASSERT_DATA to 1 or 0 respectively.
  34
  35     sequence = a possible VMD type.
  36
  37     returns = Normally the macro returns nothing.
  38
  39               If the sequence is a VMD type, nothing is
  40               output.
  41
  42               For VC++, because there is no sure way of forcing
  43               a compiler error from within a macro without producing
  44               output, if the sequence is not a VMD type the
  45               macro forces a compiler error by outputting invalid C++.
  46
  47               For all other compilers a compiler error is forced
  48               without producing output if the sequence is not a
  49               VMD type.
  50
  51 */
  52
  53 /** \def BOOST_VMD_ASSERT_IS_TYPE_D(d,sequence)
  54
  55     \brief Asserts that the sequence is a VMD type. Re-entrant version.
  56
  57     The macro checks that the sequence is a VMD type.
  58     If it is not a VMD type, it forces a compiler error.
  59
  60     The macro normally checks for a VMD type only in
  61     debug mode. However an end-user can force the macro
  62     to check or not check by defining the macro
  63     BOOST_VMD_ASSERT_DATA to 1 or 0 respectively.
  64
  65     d       = The next available BOOST_PP_WHILE iteration.
  66     sequence = a possible VMD type.
  67
  68     returns = Normally the macro returns nothing.
  69
  70               If the sequence is a VMD type, nothing is
  71               output.
  72
  73               For VC++, because there is no sure way of forcing
  74               a compiler error from within a macro without producing
  75               output, if the sequence is not a VMD type the
  76               macro forces a compiler error by outputting invalid C++.
  77
  78               For all other compilers a compiler error is forced
  79               without producing output if the sequence is not a
  80               VMD type.
  81
  82 */
  83
  84 #if !BOOST_VMD_ASSERT_DATA
  85
  86 #define BOOST_VMD_ASSERT_IS_TYPE(sequence)
  87 #define BOOST_VMD_ASSERT_IS_TYPE_D(d,sequence)
  88
  89 #else
  90
  91 #include <boost/vmd/assert.hpp>
  92 #include <boost/vmd/is_type.hpp>
  93
  94 #define BOOST_VMD_ASSERT_IS_TYPE(sequence) \
  95     BOOST_VMD_ASSERT \
  96           ( \
  97           BOOST_VMD_IS_TYPE(sequence), \
  98           BOOST_VMD_IS_TYPE_ASSERT_ERROR \
  99           ) \
 100 /**/
 101
 102 #define BOOST_VMD_ASSERT_IS_TYPE_D(d,sequence) \
 103     BOOST_VMD_ASSERT \
 104           ( \
 105           BOOST_VMD_IS_TYPE_D(d,sequence), \
 106           BOOST_VMD_IS_TYPE_ASSERT_ERROR \
 107           ) \
 108 /**/
 109
 110 #endif // !BOOST_VMD_ASSERT_DATA
 111
 112 #endif /* BOOST_PP_VARIADICS */
 113 #endif /* BOOST_VMD_ASSERT_IS_TYPE_HPP */