MPL11
 All Classes Namespaces Files Typedefs Macros Groups Pages
at_index.hpp
Go to the documentation of this file.
1 
12 // GENERATED HEADER: DO NOT EDIT.
15 
16 #ifndef BOOST_MPL11_DETAIL_TEST_AT_INDEX_HPP
17 #define BOOST_MPL11_DETAIL_TEST_AT_INDEX_HPP
18 
19 #include <boost/mpl11/core.hpp>
23 
24 
25 namespace boost { namespace mpl11 { namespace detail {
26 namespace test_at_index_detail {
27  template <int> struct x { struct type; };
28  using u = undefined;
29 
30  template <template <std_size_t, typename ...> class at_index>
31  struct test_at_index
32  : instantiate<
33  typename expect<at_index<0, x<0>>>::
34  template to_eq<x<0>>
35 ,
36 
37  typename expect<at_index<0, x<0>, u>>::
38  template to_eq<x<0>>
39 ,
40  typename expect<at_index<1, u, x<1>>>::
41  template to_eq<x<1>>
42 ,
43 
44  typename expect<at_index<0, x<0>, u, u>>::
45  template to_eq<x<0>>
46 ,
47  typename expect<at_index<1, u, x<1>, u>>::
48  template to_eq<x<1>>
49 ,
50  typename expect<at_index<2, u, u, x<2>>>::
51  template to_eq<x<2>>
52 ,
53 
54  typename expect<at_index<0, x<0>, u, u, u>>::
55  template to_eq<x<0>>
56 ,
57  typename expect<at_index<1, u, x<1>, u, u>>::
58  template to_eq<x<1>>
59 ,
60  typename expect<at_index<2, u, u, x<2>, u>>::
61  template to_eq<x<2>>
62 ,
63  typename expect<at_index<3, u, u, u, x<3>>>::
64  template to_eq<x<3>>
65 ,
66 
67  typename expect<at_index<0, x<0>, u, u, u, u>>::
68  template to_eq<x<0>>
69 ,
70  typename expect<at_index<1, u, x<1>, u, u, u>>::
71  template to_eq<x<1>>
72 ,
73  typename expect<at_index<2, u, u, x<2>, u, u>>::
74  template to_eq<x<2>>
75 ,
76  typename expect<at_index<3, u, u, u, x<3>, u>>::
77  template to_eq<x<3>>
78 ,
79  typename expect<at_index<4, u, u, u, u, x<4>>>::
80  template to_eq<x<4>>
81 ,
82 
83  typename expect<at_index<0, x<0>, u, u, u, u, u>>::
84  template to_eq<x<0>>
85 ,
86  typename expect<at_index<1, u, x<1>, u, u, u, u>>::
87  template to_eq<x<1>>
88 ,
89  typename expect<at_index<2, u, u, x<2>, u, u, u>>::
90  template to_eq<x<2>>
91 ,
92  typename expect<at_index<3, u, u, u, x<3>, u, u>>::
93  template to_eq<x<3>>
94 ,
95  typename expect<at_index<4, u, u, u, u, x<4>, u>>::
96  template to_eq<x<4>>
97 ,
98  typename expect<at_index<5, u, u, u, u, u, x<5>>>::
99  template to_eq<x<5>>
100 ,
101 
102  typename expect<at_index<0, x<0>, u, u, u, u, u, u>>::
103  template to_eq<x<0>>
104 ,
105  typename expect<at_index<1, u, x<1>, u, u, u, u, u>>::
106  template to_eq<x<1>>
107 ,
108  typename expect<at_index<2, u, u, x<2>, u, u, u, u>>::
109  template to_eq<x<2>>
110 ,
111  typename expect<at_index<3, u, u, u, x<3>, u, u, u>>::
112  template to_eq<x<3>>
113 ,
114  typename expect<at_index<4, u, u, u, u, x<4>, u, u>>::
115  template to_eq<x<4>>
116 ,
117  typename expect<at_index<5, u, u, u, u, u, x<5>, u>>::
118  template to_eq<x<5>>
119 ,
120  typename expect<at_index<6, u, u, u, u, u, u, x<6>>>::
121  template to_eq<x<6>>
122 ,
123 
124  typename expect<at_index<0, x<0>, u, u, u, u, u, u, u>>::
125  template to_eq<x<0>>
126 ,
127  typename expect<at_index<1, u, x<1>, u, u, u, u, u, u>>::
128  template to_eq<x<1>>
129 ,
130  typename expect<at_index<2, u, u, x<2>, u, u, u, u, u>>::
131  template to_eq<x<2>>
132 ,
133  typename expect<at_index<3, u, u, u, x<3>, u, u, u, u>>::
134  template to_eq<x<3>>
135 ,
136  typename expect<at_index<4, u, u, u, u, x<4>, u, u, u>>::
137  template to_eq<x<4>>
138 ,
139  typename expect<at_index<5, u, u, u, u, u, x<5>, u, u>>::
140  template to_eq<x<5>>
141 ,
142  typename expect<at_index<6, u, u, u, u, u, u, x<6>, u>>::
143  template to_eq<x<6>>
144 ,
145  typename expect<at_index<7, u, u, u, u, u, u, u, x<7>>>::
146  template to_eq<x<7>>
147 ,
148 
149  typename expect<at_index<0, x<0>, u, u, u, u, u, u, u, u>>::
150  template to_eq<x<0>>
151 ,
152  typename expect<at_index<1, u, x<1>, u, u, u, u, u, u, u>>::
153  template to_eq<x<1>>
154 ,
155  typename expect<at_index<2, u, u, x<2>, u, u, u, u, u, u>>::
156  template to_eq<x<2>>
157 ,
158  typename expect<at_index<3, u, u, u, x<3>, u, u, u, u, u>>::
159  template to_eq<x<3>>
160 ,
161  typename expect<at_index<4, u, u, u, u, x<4>, u, u, u, u>>::
162  template to_eq<x<4>>
163 ,
164  typename expect<at_index<5, u, u, u, u, u, x<5>, u, u, u>>::
165  template to_eq<x<5>>
166 ,
167  typename expect<at_index<6, u, u, u, u, u, u, x<6>, u, u>>::
168  template to_eq<x<6>>
169 ,
170  typename expect<at_index<7, u, u, u, u, u, u, u, x<7>, u>>::
171  template to_eq<x<7>>
172 ,
173  typename expect<at_index<8, u, u, u, u, u, u, u, u, x<8>>>::
174  template to_eq<x<8>>
175 ,
176 
177  typename expect<at_index<0, x<0>, u, u, u, u, u, u, u, u, u>>::
178  template to_eq<x<0>>
179 ,
180  typename expect<at_index<1, u, x<1>, u, u, u, u, u, u, u, u>>::
181  template to_eq<x<1>>
182 ,
183  typename expect<at_index<2, u, u, x<2>, u, u, u, u, u, u, u>>::
184  template to_eq<x<2>>
185 ,
186  typename expect<at_index<3, u, u, u, x<3>, u, u, u, u, u, u>>::
187  template to_eq<x<3>>
188 ,
189  typename expect<at_index<4, u, u, u, u, x<4>, u, u, u, u, u>>::
190  template to_eq<x<4>>
191 ,
192  typename expect<at_index<5, u, u, u, u, u, x<5>, u, u, u, u>>::
193  template to_eq<x<5>>
194 ,
195  typename expect<at_index<6, u, u, u, u, u, u, x<6>, u, u, u>>::
196  template to_eq<x<6>>
197 ,
198  typename expect<at_index<7, u, u, u, u, u, u, u, x<7>, u, u>>::
199  template to_eq<x<7>>
200 ,
201  typename expect<at_index<8, u, u, u, u, u, u, u, u, x<8>, u>>::
202  template to_eq<x<8>>
203 ,
204  typename expect<at_index<9, u, u, u, u, u, u, u, u, u, x<9>>>::
205  template to_eq<x<9>>
206 
207  >
208  { };
209 }
210 
211 using test_at_index_detail::test_at_index;
212 }}} // end namespace boost::mpl11::detail
213 
214 #endif // !BOOST_MPL11_DETAIL_TEST_AT_INDEX_HPP
Defines boost::mpl11::detail::std_size_t.
Defines boost::mpl11::detail::std_is_same.
Defines the Core module.
Defines utilities to write unit tests.