minus.hpp 3.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148
  1. // Copyright Aleksey Gurtovoy 2000-2004
  2. //
  3. // Distributed under the Boost Software License, Version 1.0.
  4. // (See accompanying file LICENSE_1_0.txt or copy at
  5. // http://www.boost.org/LICENSE_1_0.txt)
  6. //
  7. // Preprocessed version of "boost/mpl/minus.hpp" header
  8. // -- DO NOT modify by hand!
  9. namespace boost { namespace mpl {
  10. template<
  11. typename Tag1
  12. , typename Tag2
  13. , BOOST_MPL_AUX_NTTP_DECL(int, tag1_) = BOOST_MPL_AUX_MSVC_VALUE_WKND(Tag1)::value
  14. , BOOST_MPL_AUX_NTTP_DECL(int, tag2_) = BOOST_MPL_AUX_MSVC_VALUE_WKND(Tag2)::value
  15. >
  16. struct minus_impl
  17. : if_c<
  18. ( tag1_ > tag2_ )
  19. , aux::cast2nd_impl< minus_impl< Tag1,Tag1 >,Tag1, Tag2 >
  20. , aux::cast1st_impl< minus_impl< Tag2,Tag2 >,Tag1, Tag2 >
  21. >::type
  22. {
  23. };
  24. /// for Digital Mars C++/compilers with no CTPS/TTP support
  25. template<> struct minus_impl< na,na >
  26. {
  27. template< typename U1, typename U2 > struct apply
  28. {
  29. typedef apply type;
  30. BOOST_STATIC_CONSTANT(int, value = 0);
  31. };
  32. };
  33. template<> struct minus_impl< na,integral_c_tag >
  34. {
  35. template< typename U1, typename U2 > struct apply
  36. {
  37. typedef apply type;
  38. BOOST_STATIC_CONSTANT(int, value = 0);
  39. };
  40. };
  41. template<> struct minus_impl< integral_c_tag,na >
  42. {
  43. template< typename U1, typename U2 > struct apply
  44. {
  45. typedef apply type;
  46. BOOST_STATIC_CONSTANT(int, value = 0);
  47. };
  48. };
  49. template< typename T > struct minus_tag
  50. {
  51. typedef typename T::tag type;
  52. };
  53. /// forward declaration
  54. template<
  55. typename BOOST_MPL_AUX_NA_PARAM(N1)
  56. , typename BOOST_MPL_AUX_NA_PARAM(N2)
  57. >
  58. struct minus2;
  59. template<
  60. typename BOOST_MPL_AUX_NA_PARAM(N1)
  61. , typename BOOST_MPL_AUX_NA_PARAM(N2)
  62. , typename N3 = na, typename N4 = na, typename N5 = na
  63. >
  64. struct minus
  65. : if_<
  66. is_na<N3>
  67. , minus2< N1,N2 >
  68. , minus<
  69. minus2< N1,N2 >
  70. , N3, N4, N5
  71. >
  72. >::type
  73. {
  74. BOOST_MPL_AUX_LAMBDA_SUPPORT(
  75. 5
  76. , minus
  77. , ( N1, N2, N3, N4, N5 )
  78. )
  79. };
  80. template<
  81. typename N1
  82. , typename N2
  83. >
  84. struct minus2
  85. : aux::msvc_eti_base< typename apply_wrap2<
  86. minus_impl<
  87. typename minus_tag<N1>::type
  88. , typename minus_tag<N2>::type
  89. >
  90. , N1
  91. , N2
  92. >::type >::type
  93. {
  94. BOOST_MPL_AUX_LAMBDA_SUPPORT(2, minus2, (N1, N2))
  95. };
  96. BOOST_MPL_AUX_NA_SPEC2(2, 5, minus)
  97. }}
  98. namespace boost { namespace mpl {
  99. namespace aux {
  100. template< typename T, T n1, T n2 >
  101. struct minus_wknd
  102. {
  103. BOOST_STATIC_CONSTANT(T, value = (n1 - n2));
  104. typedef integral_c< T,value > type;
  105. };
  106. }
  107. template<>
  108. struct minus_impl< integral_c_tag,integral_c_tag >
  109. {
  110. template< typename N1, typename N2 > struct apply
  111. : aux::minus_wknd<
  112. typename aux::largest_int<
  113. typename N1::value_type
  114. , typename N2::value_type
  115. >::type
  116. , N1::value
  117. , N2::value
  118. >::type
  119. {
  120. };
  121. };
  122. }}