stc/exp/ml_stc_linux_make_v1.0/include/boost/mpl/aux_/preprocessed/no_ttp/minus.hpp

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