ceph/src/boost/libs/mpl/include/boost/mpl/aux_/preprocessed/msvc70/minus.hpp

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