summaryrefslogtreecommitdiff
path: root/boost/vmd/assert_is_array.hpp
blob: 2bb7745983c8133725cb9498dc267d1b79dc26f8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
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_ARRAY_HPP)
#define BOOST_VMD_ASSERT_IS_ARRAY_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_ARRAY(sequence)

    \brief Asserts that the sequence is a Boost PP array.

    The macro checks that the sequence is a Boost PP array.
    If it is not a Boost PP array, it forces a compiler error.
    
    The macro normally checks for a Boost PP array 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  array.

    returns  = Normally the macro returns nothing. 
    
               If the sequence is a Boost PP array, 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 array 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 
               Boost PP array.
    
*/

/** \def BOOST_VMD_ASSERT_IS_ARRAY_D(d,sequence)

    \brief Asserts that the sequence is a Boost PP array. Re-entrant version.

    The macro checks that the sequence is a Boost PP array.
    If it is not a Boost PP array, it forces a compiler error.
    
    The macro normally checks for a Boost PP array 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 sequence.

    returns  = Normally the macro returns nothing. 
    
               If the sequence is a Boost PP array, 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 array 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 
               Boost PP array.
    
*/

#if !BOOST_VMD_ASSERT_DATA

#define BOOST_VMD_ASSERT_IS_ARRAY(sequence)
#define BOOST_VMD_ASSERT_IS_ARRAY_D(d,sequence)

#else

#include <boost/vmd/is_array.hpp>
#include <boost/vmd/assert.hpp>

#define BOOST_VMD_ASSERT_IS_ARRAY(sequence) \
    BOOST_VMD_ASSERT \
          ( \
          BOOST_VMD_IS_ARRAY(sequence), \
          BOOST_VMD_IS_ARRAY_ASSERT_ERROR \
          ) \
/**/

#define BOOST_VMD_ASSERT_IS_ARRAY_D(d,sequence) \
    BOOST_VMD_ASSERT \
          ( \
          BOOST_VMD_IS_ARRAY_D(d,sequence), \
          BOOST_VMD_IS_ARRAY_ASSERT_ERROR \
          ) \
/**/

#endif /* !BOOST_VMD_ASSERT_DATA */

#endif /* BOOST_PP_VARIADICS */
#endif /* BOOST_VMD_ASSERT_IS_ARRAY_HPP */