/Src/Dependencies/Boost/boost/proto/detail/preprocessed/poly_function_traits.hpp

http://hadesmem.googlecode.com/ · C++ Header · 247 lines · 200 code · 40 blank · 7 comment · 0 complexity · a60d80362dfe75db3c23c6522778b07b MD5 · raw file 

    

  1. ///////////////////////////////////////////////////////////////////////////////
    2. 

  2.     // poly_function_traits.hpp
    3. 

  3.     // Contains specializations of poly_function_traits and as_mono_function
    4. 

  4.     //
    5. 

  5.     //  Copyright 2008 Eric Niebler. Distributed under the Boost
    6. 

  6.     //  Software License, Version 1.0. (See accompanying file
    7. 

  7.     //  LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
    8. 

  8.     
    9. 

  9.     template<typename PolyFun , typename A0>
    10. 

  10.     struct poly_function_traits<PolyFun, PolyFun(A0), mpl::size_t<sizeof(poly_function_t)> >
    11. 

  11.     {
    12. 

  12.         typedef typename PolyFun::template impl<const A0> function_type;
    13. 

  13.         typedef typename function_type::result_type result_type;
    14. 

  14.     };
    15. 

  15.     
    16. 

  16.     template<typename PolyFun , typename A0>
    17. 

  17.     struct as_mono_function_impl<PolyFun(A0), true>
    18. 

  18.     {
    19. 

  19.         typedef typename PolyFun::template impl<const A0> type;
    20. 

  20.     };
    21. 

  21.     
    22. 

  22.     template<typename PolyFun , typename A0>
    23. 

  23.     struct as_mono_function_impl<PolyFun(A0), false>
    24. 

  24.     {
    25. 

  25.         typedef PolyFun type;
    26. 

  26.     };
    27. 

  27.     
    28. 

  28.     template<typename PolyFun , typename A0>
    29. 

  29.     struct as_mono_function<PolyFun(A0)>
    30. 

  30.       : as_mono_function_impl<PolyFun(A0), is_poly_function<PolyFun>::value>
    31. 

  31.     {};
    32. 

  32.     
    33. 

  33.     template<typename PolyFun , typename A0 , typename A1>
    34. 

  34.     struct poly_function_traits<PolyFun, PolyFun(A0 , A1), mpl::size_t<sizeof(poly_function_t)> >
    35. 

  35.     {
    36. 

  36.         typedef typename PolyFun::template impl<const A0 , const A1> function_type;
    37. 

  37.         typedef typename function_type::result_type result_type;
    38. 

  38.     };
    39. 

  39.     
    40. 

  40.     template<typename PolyFun , typename A0 , typename A1>
    41. 

  41.     struct as_mono_function_impl<PolyFun(A0 , A1), true>
    42. 

  42.     {
    43. 

  43.         typedef typename PolyFun::template impl<const A0 , const A1> type;
    44. 

  44.     };
    45. 

  45.     
    46. 

  46.     template<typename PolyFun , typename A0 , typename A1>
    47. 

  47.     struct as_mono_function_impl<PolyFun(A0 , A1), false>
    48. 

  48.     {
    49. 

  49.         typedef PolyFun type;
    50. 

  50.     };
    51. 

  51.     
    52. 

  52.     template<typename PolyFun , typename A0 , typename A1>
    53. 

  53.     struct as_mono_function<PolyFun(A0 , A1)>
    54. 

  54.       : as_mono_function_impl<PolyFun(A0 , A1), is_poly_function<PolyFun>::value>
    55. 

  55.     {};
    56. 

  56.     
    57. 

  57.     template<typename PolyFun , typename A0 , typename A1 , typename A2>
    58. 

  58.     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2), mpl::size_t<sizeof(poly_function_t)> >
    59. 

  59.     {
    60. 

  60.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2> function_type;
    61. 

  61.         typedef typename function_type::result_type result_type;
    62. 

  62.     };
    63. 

  63.     
    64. 

  64.     template<typename PolyFun , typename A0 , typename A1 , typename A2>
    65. 

  65.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2), true>
    66. 

  66.     {
    67. 

  67.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2> type;
    68. 

  68.     };
    69. 

  69.     
    70. 

  70.     template<typename PolyFun , typename A0 , typename A1 , typename A2>
    71. 

  71.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2), false>
    72. 

  72.     {
    73. 

  73.         typedef PolyFun type;
    74. 

  74.     };
    75. 

  75.     
    76. 

  76.     template<typename PolyFun , typename A0 , typename A1 , typename A2>
    77. 

  77.     struct as_mono_function<PolyFun(A0 , A1 , A2)>
    78. 

  78.       : as_mono_function_impl<PolyFun(A0 , A1 , A2), is_poly_function<PolyFun>::value>
    79. 

  79.     {};
    80. 

  80.     
    81. 

  81.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3>
    82. 

  82.     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3), mpl::size_t<sizeof(poly_function_t)> >
    83. 

  83.     {
    84. 

  84.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3> function_type;
    85. 

  85.         typedef typename function_type::result_type result_type;
    86. 

  86.     };
    87. 

  87.     
    88. 

  88.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3>
    89. 

  89.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3), true>
    90. 

  90.     {
    91. 

  91.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3> type;
    92. 

  92.     };
    93. 

  93.     
    94. 

  94.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3>
    95. 

  95.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3), false>
    96. 

  96.     {
    97. 

  97.         typedef PolyFun type;
    98. 

  98.     };
    99. 

  99.     
    100. 

  100.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3>
    101. 

  101.     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3)>
    102. 

  102.       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3), is_poly_function<PolyFun>::value>
    103. 

  103.     {};
    104. 

  104.     
    105. 

  105.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
    106. 

  106.     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4), mpl::size_t<sizeof(poly_function_t)> >
    107. 

  107.     {
    108. 

  108.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4> function_type;
    109. 

  109.         typedef typename function_type::result_type result_type;
    110. 

  110.     };
    111. 

  111.     
    112. 

  112.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
    113. 

  113.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4), true>
    114. 

  114.     {
    115. 

  115.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4> type;
    116. 

  116.     };
    117. 

  117.     
    118. 

  118.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
    119. 

  119.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4), false>
    120. 

  120.     {
    121. 

  121.         typedef PolyFun type;
    122. 

  122.     };
    123. 

  123.     
    124. 

  124.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
    125. 

  125.     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4)>
    126. 

  126.       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4), is_poly_function<PolyFun>::value>
    127. 

  127.     {};
    128. 

  128.     
    129. 

  129.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
    130. 

  130.     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5), mpl::size_t<sizeof(poly_function_t)> >
    131. 

  131.     {
    132. 

  132.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5> function_type;
    133. 

  133.         typedef typename function_type::result_type result_type;
    134. 

  134.     };
    135. 

  135.     
    136. 

  136.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
    137. 

  137.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5), true>
    138. 

  138.     {
    139. 

  139.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5> type;
    140. 

  140.     };
    141. 

  141.     
    142. 

  142.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
    143. 

  143.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5), false>
    144. 

  144.     {
    145. 

  145.         typedef PolyFun type;
    146. 

  146.     };
    147. 

  147.     
    148. 

  148.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
    149. 

  149.     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5)>
    150. 

  150.       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5), is_poly_function<PolyFun>::value>
    151. 

  151.     {};
    152. 

  152.     
    153. 

  153.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
    154. 

  154.     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6), mpl::size_t<sizeof(poly_function_t)> >
    155. 

  155.     {
    156. 

  156.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6> function_type;
    157. 

  157.         typedef typename function_type::result_type result_type;
    158. 

  158.     };
    159. 

  159.     
    160. 

  160.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
    161. 

  161.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6), true>
    162. 

  162.     {
    163. 

  163.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6> type;
    164. 

  164.     };
    165. 

  165.     
    166. 

  166.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
    167. 

  167.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6), false>
    168. 

  168.     {
    169. 

  169.         typedef PolyFun type;
    170. 

  170.     };
    171. 

  171.     
    172. 

  172.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
    173. 

  173.     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6)>
    174. 

  174.       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6), is_poly_function<PolyFun>::value>
    175. 

  175.     {};
    176. 

  176.     
    177. 

  177.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
    178. 

  178.     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), mpl::size_t<sizeof(poly_function_t)> >
    179. 

  179.     {
    180. 

  180.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7> function_type;
    181. 

  181.         typedef typename function_type::result_type result_type;
    182. 

  182.     };
    183. 

  183.     
    184. 

  184.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
    185. 

  185.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), true>
    186. 

  186.     {
    187. 

  187.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7> type;
    188. 

  188.     };
    189. 

  189.     
    190. 

  190.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
    191. 

  191.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), false>
    192. 

  192.     {
    193. 

  193.         typedef PolyFun type;
    194. 

  194.     };
    195. 

  195.     
    196. 

  196.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
    197. 

  197.     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7)>
    198. 

  198.       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7), is_poly_function<PolyFun>::value>
    199. 

  199.     {};
    200. 

  200.     
    201. 

  201.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
    202. 

  202.     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), mpl::size_t<sizeof(poly_function_t)> >
    203. 

  203.     {
    204. 

  204.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7 , const A8> function_type;
    205. 

  205.         typedef typename function_type::result_type result_type;
    206. 

  206.     };
    207. 

  207.     
    208. 

  208.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
    209. 

  209.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), true>
    210. 

  210.     {
    211. 

  211.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7 , const A8> type;
    212. 

  212.     };
    213. 

  213.     
    214. 

  214.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
    215. 

  215.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), false>
    216. 

  216.     {
    217. 

  217.         typedef PolyFun type;
    218. 

  218.     };
    219. 

  219.     
    220. 

  220.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
    221. 

  221.     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8)>
    222. 

  222.       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8), is_poly_function<PolyFun>::value>
    223. 

  223.     {};
    224. 

  224.     
    225. 

  225.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
    226. 

  226.     struct poly_function_traits<PolyFun, PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9), mpl::size_t<sizeof(poly_function_t)> >
    227. 

  227.     {
    228. 

  228.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7 , const A8 , const A9> function_type;
    229. 

  229.         typedef typename function_type::result_type result_type;
    230. 

  230.     };
    231. 

  231.     
    232. 

  232.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
    233. 

  233.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9), true>
    234. 

  234.     {
    235. 

  235.         typedef typename PolyFun::template impl<const A0 , const A1 , const A2 , const A3 , const A4 , const A5 , const A6 , const A7 , const A8 , const A9> type;
    236. 

  236.     };
    237. 

  237.     
    238. 

  238.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
    239. 

  239.     struct as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9), false>
    240. 

  240.     {
    241. 

  241.         typedef PolyFun type;
    242. 

  242.     };
    243. 

  243.     
    244. 

  244.     template<typename PolyFun , typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
    245. 

  245.     struct as_mono_function<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9)>
    246. 

  246.       : as_mono_function_impl<PolyFun(A0 , A1 , A2 , A3 , A4 , A5 , A6 , A7 , A8 , A9), is_poly_function<PolyFun>::value>
    247. 

  247.     {};
    248.