/Src/Dependencies/Boost/boost/mpl/aux_/preprocessed/no_ctps/reverse_fold_impl.hpp

http://hadesmem.googlecode.com/ · C++ Header · 295 lines · 246 code · 40 blank · 9 comment · 0 complexity · 1ceaa111512ab9eecd70f50c536c4688 MD5 · raw file 

    

  1. // Copyright Aleksey Gurtovoy 2000-2004
    2. 

  2. //
    3. 

  3. // Distributed under the Boost Software License, Version 1.0. 
    4. 

  4. // (See accompanying file LICENSE_1_0.txt or copy at 
    5. 

  5. // http://www.boost.org/LICENSE_1_0.txt)
    6. 

  6. //
    7. 

  7. 

  8. // Preprocessed version of "boost/mpl/aux_/reverse_fold_impl.hpp" header
    9. 

  9. // -- DO NOT modify by hand!
    10. 

  10. 

  11. namespace boost { namespace mpl { namespace aux {
    12. 

  12. 

  13. /// forward declaration
    14. 

  14. 

  15. template<
    16. 

  16.       long N
    17. 

  17.     , typename First
    18. 

  18.     , typename Last
    19. 

  19.     , typename State
    20. 

  20.     , typename BackwardOp
    21. 

  21.     , typename ForwardOp
    22. 

  22.     >
    23. 

  23. struct reverse_fold_impl;
    24. 

  24. 

  25. template< long N >
    26. 

  26. struct reverse_fold_chunk;
    27. 

  27. 

  28. template<> struct reverse_fold_chunk<0>
    29. 

  29. {
    30. 

  30.     template<
    31. 

  31.           typename First
    32. 

  32.         , typename Last
    33. 

  33.         , typename State
    34. 

  34.         , typename BackwardOp
    35. 

  35.         , typename ForwardOp
    36. 

  36.         >
    37. 

  37.     struct result_
    38. 

  38.     {
    39. 

  39.         typedef First iter0;
    40. 

  40.         typedef State fwd_state0;
    41. 

  41.         typedef fwd_state0 bkwd_state0;
    42. 

  42.         typedef bkwd_state0 state;
    43. 

  43.         typedef iter0 iterator;
    44. 

  44.     };
    45. 

  45. };
    46. 

  46. 

  47. template<> struct reverse_fold_chunk<1>
    48. 

  48. {
    49. 

  49.     template<
    50. 

  50.           typename First
    51. 

  51.         , typename Last
    52. 

  52.         , typename State
    53. 

  53.         , typename BackwardOp
    54. 

  54.         , typename ForwardOp
    55. 

  55.         >
    56. 

  56.     struct result_
    57. 

  57.     {
    58. 

  58.         typedef First iter0;
    59. 

  59.         typedef State fwd_state0;
    60. 

  60.         typedef typename apply2< ForwardOp, fwd_state0, typename deref<iter0>::type >::type fwd_state1;
    61. 

  61.         typedef typename mpl::next<iter0>::type iter1;
    62. 

  62.         
    63. 

  63. 

  64.         typedef fwd_state1 bkwd_state1;
    65. 

  65.         typedef typename apply2< BackwardOp, bkwd_state1, typename deref<iter0>::type >::type bkwd_state0;
    66. 

  66.         typedef bkwd_state0 state;
    67. 

  67.         typedef iter1 iterator;
    68. 

  68.     };
    69. 

  69. };
    70. 

  70. 

  71. template<> struct reverse_fold_chunk<2>
    72. 

  72. {
    73. 

  73.     template<
    74. 

  74.           typename First
    75. 

  75.         , typename Last
    76. 

  76.         , typename State
    77. 

  77.         , typename BackwardOp
    78. 

  78.         , typename ForwardOp
    79. 

  79.         >
    80. 

  80.     struct result_
    81. 

  81.     {
    82. 

  82.         typedef First iter0;
    83. 

  83.         typedef State fwd_state0;
    84. 

  84.         typedef typename apply2< ForwardOp, fwd_state0, typename deref<iter0>::type >::type fwd_state1;
    85. 

  85.         typedef typename mpl::next<iter0>::type iter1;
    86. 

  86.         typedef typename apply2< ForwardOp, fwd_state1, typename deref<iter1>::type >::type fwd_state2;
    87. 

  87.         typedef typename mpl::next<iter1>::type iter2;
    88. 

  88.         
    89. 

  89. 

  90.         typedef fwd_state2 bkwd_state2;
    91. 

  91.         typedef typename apply2< BackwardOp, bkwd_state2, typename deref<iter1>::type >::type bkwd_state1;
    92. 

  92.         typedef typename apply2< BackwardOp, bkwd_state1, typename deref<iter0>::type >::type bkwd_state0;
    93. 

  93.         
    94. 

  94. 

  95.         typedef bkwd_state0 state;
    96. 

  96.         typedef iter2 iterator;
    97. 

  97.     };
    98. 

  98. };
    99. 

  99. 

  100. template<> struct reverse_fold_chunk<3>
    101. 

  101. {
    102. 

  102.     template<
    103. 

  103.           typename First
    104. 

  104.         , typename Last
    105. 

  105.         , typename State
    106. 

  106.         , typename BackwardOp
    107. 

  107.         , typename ForwardOp
    108. 

  108.         >
    109. 

  109.     struct result_
    110. 

  110.     {
    111. 

  111.         typedef First iter0;
    112. 

  112.         typedef State fwd_state0;
    113. 

  113.         typedef typename apply2< ForwardOp, fwd_state0, typename deref<iter0>::type >::type fwd_state1;
    114. 

  114.         typedef typename mpl::next<iter0>::type iter1;
    115. 

  115.         typedef typename apply2< ForwardOp, fwd_state1, typename deref<iter1>::type >::type fwd_state2;
    116. 

  116.         typedef typename mpl::next<iter1>::type iter2;
    117. 

  117.         typedef typename apply2< ForwardOp, fwd_state2, typename deref<iter2>::type >::type fwd_state3;
    118. 

  118.         typedef typename mpl::next<iter2>::type iter3;
    119. 

  119.         
    120. 

  120. 

  121.         typedef fwd_state3 bkwd_state3;
    122. 

  122.         typedef typename apply2< BackwardOp, bkwd_state3, typename deref<iter2>::type >::type bkwd_state2;
    123. 

  123.         typedef typename apply2< BackwardOp, bkwd_state2, typename deref<iter1>::type >::type bkwd_state1;
    124. 

  124.         typedef typename apply2< BackwardOp, bkwd_state1, typename deref<iter0>::type >::type bkwd_state0;
    125. 

  125.         
    126. 

  126. 

  127.         typedef bkwd_state0 state;
    128. 

  128.         typedef iter3 iterator;
    129. 

  129.     };
    130. 

  130. };
    131. 

  131. 

  132. template<> struct reverse_fold_chunk<4>
    133. 

  133. {
    134. 

  134.     template<
    135. 

  135.           typename First
    136. 

  136.         , typename Last
    137. 

  137.         , typename State
    138. 

  138.         , typename BackwardOp
    139. 

  139.         , typename ForwardOp
    140. 

  140.         >
    141. 

  141.     struct result_
    142. 

  142.     {
    143. 

  143.         typedef First iter0;
    144. 

  144.         typedef State fwd_state0;
    145. 

  145.         typedef typename apply2< ForwardOp, fwd_state0, typename deref<iter0>::type >::type fwd_state1;
    146. 

  146.         typedef typename mpl::next<iter0>::type iter1;
    147. 

  147.         typedef typename apply2< ForwardOp, fwd_state1, typename deref<iter1>::type >::type fwd_state2;
    148. 

  148.         typedef typename mpl::next<iter1>::type iter2;
    149. 

  149.         typedef typename apply2< ForwardOp, fwd_state2, typename deref<iter2>::type >::type fwd_state3;
    150. 

  150.         typedef typename mpl::next<iter2>::type iter3;
    151. 

  151.         typedef typename apply2< ForwardOp, fwd_state3, typename deref<iter3>::type >::type fwd_state4;
    152. 

  152.         typedef typename mpl::next<iter3>::type iter4;
    153. 

  153.         
    154. 

  154. 

  155.         typedef fwd_state4 bkwd_state4;
    156. 

  156.         typedef typename apply2< BackwardOp, bkwd_state4, typename deref<iter3>::type >::type bkwd_state3;
    157. 

  157.         typedef typename apply2< BackwardOp, bkwd_state3, typename deref<iter2>::type >::type bkwd_state2;
    158. 

  158.         typedef typename apply2< BackwardOp, bkwd_state2, typename deref<iter1>::type >::type bkwd_state1;
    159. 

  159.         typedef typename apply2< BackwardOp, bkwd_state1, typename deref<iter0>::type >::type bkwd_state0;
    160. 

  160.         
    161. 

  161. 

  162.         typedef bkwd_state0 state;
    163. 

  163.         typedef iter4 iterator;
    164. 

  164.     };
    165. 

  165. };
    166. 

  166. 

  167. template< long N >
    168. 

  168. struct reverse_fold_chunk
    169. 

  169. {
    170. 

  170.     template<
    171. 

  171.           typename First
    172. 

  172.         , typename Last
    173. 

  173.         , typename State
    174. 

  174.         , typename BackwardOp
    175. 

  175.         , typename ForwardOp
    176. 

  176.         >
    177. 

  177.     struct result_
    178. 

  178.     {
    179. 

  179.         typedef First iter0;
    180. 

  180.         typedef State fwd_state0;
    181. 

  181.         typedef typename apply2< ForwardOp, fwd_state0, typename deref<iter0>::type >::type fwd_state1;
    182. 

  182.         typedef typename mpl::next<iter0>::type iter1;
    183. 

  183.         typedef typename apply2< ForwardOp, fwd_state1, typename deref<iter1>::type >::type fwd_state2;
    184. 

  184.         typedef typename mpl::next<iter1>::type iter2;
    185. 

  185.         typedef typename apply2< ForwardOp, fwd_state2, typename deref<iter2>::type >::type fwd_state3;
    186. 

  186.         typedef typename mpl::next<iter2>::type iter3;
    187. 

  187.         typedef typename apply2< ForwardOp, fwd_state3, typename deref<iter3>::type >::type fwd_state4;
    188. 

  188.         typedef typename mpl::next<iter3>::type iter4;
    189. 

  189.         
    190. 

  190. 

  191.         typedef reverse_fold_impl<
    192. 

  192.               ( (N - 4) < 0 ? 0 : N - 4 )
    193. 

  193.             , iter4
    194. 

  194.             , Last
    195. 

  195.             , fwd_state4
    196. 

  196.             , BackwardOp
    197. 

  197.             , ForwardOp
    198. 

  198.             > nested_chunk;
    199. 

  199. 

  200.         typedef typename nested_chunk::state bkwd_state4;
    201. 

  201.         typedef typename apply2< BackwardOp, bkwd_state4, typename deref<iter3>::type >::type bkwd_state3;
    202. 

  202.         typedef typename apply2< BackwardOp, bkwd_state3, typename deref<iter2>::type >::type bkwd_state2;
    203. 

  203.         typedef typename apply2< BackwardOp, bkwd_state2, typename deref<iter1>::type >::type bkwd_state1;
    204. 

  204.         typedef typename apply2< BackwardOp, bkwd_state1, typename deref<iter0>::type >::type bkwd_state0;
    205. 

  205.         
    206. 

  206. 

  207.         typedef bkwd_state0 state;
    208. 

  208.         typedef typename nested_chunk::iterator iterator;
    209. 

  209.     };
    210. 

  210. };
    211. 

  211. 

  212. template<
    213. 

  213.       typename First
    214. 

  214.     , typename Last
    215. 

  215.     , typename State
    216. 

  216.     , typename BackwardOp
    217. 

  217.     , typename ForwardOp
    218. 

  218.     >
    219. 

  219. struct reverse_fold_step;
    220. 

  220. 

  221. template<
    222. 

  222.       typename Last
    223. 

  223.     , typename State
    224. 

  224.     >
    225. 

  225. struct reverse_fold_null_step
    226. 

  226. {
    227. 

  227.     typedef Last iterator;
    228. 

  228.     typedef State state;
    229. 

  229. };
    230. 

  230. 

  231. template<>
    232. 

  232. struct reverse_fold_chunk< -1 >
    233. 

  233. {
    234. 

  234.     template<
    235. 

  235.           typename First
    236. 

  236.         , typename Last
    237. 

  237.         , typename State
    238. 

  238.         , typename BackwardOp
    239. 

  239.         , typename ForwardOp
    240. 

  240.         >
    241. 

  241.     struct result_
    242. 

  242.     {
    243. 

  243.         typedef typename if_<
    244. 

  244.               typename is_same< First,Last >::type
    245. 

  245.             , reverse_fold_null_step< Last,State >
    246. 

  246.             , reverse_fold_step< First,Last,State,BackwardOp,ForwardOp >
    247. 

  247.             >::type res_;
    248. 

  248. 

  249.         typedef typename res_::state state;
    250. 

  250.         typedef typename res_::iterator iterator;
    251. 

  251.     };
    252. 

  252. };
    253. 

  253. 

  254. template<
    255. 

  255.       typename First
    256. 

  256.     , typename Last
    257. 

  257.     , typename State
    258. 

  258.     , typename BackwardOp
    259. 

  259.     , typename ForwardOp
    260. 

  260.     >
    261. 

  261. struct reverse_fold_step
    262. 

  262. {
    263. 

  263.     typedef reverse_fold_chunk< -1 >::template result_<
    264. 

  264.           typename mpl::next<First>::type
    265. 

  265.         , Last
    266. 

  266.         , typename apply2<ForwardOp,State, typename deref<First>::type>::type
    267. 

  267.         , BackwardOp
    268. 

  268.         , ForwardOp
    269. 

  269.         > nested_step;
    270. 

  270. 

  271.     typedef typename apply2<
    272. 

  272.           BackwardOp
    273. 

  273.         , typename nested_step::state
    274. 

  274.         , typename deref<First>::type
    275. 

  275.         >::type state;
    276. 

  276. 

  277.     typedef typename nested_step::iterator iterator;
    278. 

  278. };
    279. 

  279. 

  280. template<
    281. 

  281.       long N
    282. 

  282.     , typename First
    283. 

  283.     , typename Last
    284. 

  284.     , typename State
    285. 

  285.     , typename BackwardOp
    286. 

  286.     , typename ForwardOp
    287. 

  287.     >
    288. 

  288. struct reverse_fold_impl
    289. 

  289.     : reverse_fold_chunk<N>
    290. 

  290.         ::template result_< First,Last,State,BackwardOp,ForwardOp >
    291. 

  291. {
    292. 

  292. };
    293. 

  293. 

  294. }}}
    295.