boost/mpl/aux_/preprocessed/no_ctps/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 struct minus_impl
  19     : if_c<
  20           ( BOOST_MPL_AUX_NESTED_VALUE_WKND(int, Tag1)
  21               > BOOST_MPL_AUX_NESTED_VALUE_WKND(int, Tag2)
  22             )
  23
  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 {
  60     typedef typename T::tag type;
  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     : 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     BOOST_MPL_AUX_LAMBDA_SUPPORT(
  90           5
  91         , minus
  92         , ( N1, N2, N3, N4, N5 )
  93         )
  94 };
  95
  96 template<
  97       typename N1
  98     , typename N2
  99     >
 100 struct minus2
 101     : minus_impl<
 102           typename minus_tag<N1>::type
 103         , typename minus_tag<N2>::type
 104         >::template apply< N1,N2 >::type
 105 {
 106     BOOST_MPL_AUX_LAMBDA_SUPPORT(2, minus2, (N1, N2))
 107
 108 };
 109
 110 BOOST_MPL_AUX_NA_SPEC2(2, 5, minus)
 111
 112 }}
 113
 114 namespace boost { namespace mpl {
 115 template<>
 116 struct minus_impl< integral_c_tag,integral_c_tag >
 117 {
 118     template< typename N1, typename N2 > struct apply
 119
 120         : integral_c<
 121               typename aux::largest_int<
 122                   typename N1::value_type
 123                 , typename N2::value_type
 124                 >::type
 125             , ( BOOST_MPL_AUX_VALUE_WKND(N1)::value
 126                   - BOOST_MPL_AUX_VALUE_WKND(N2)::value
 127                 )
 128             >
 129     {
 130     };
 131 };
 132
 133 }}