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