Merge c:/dyninst/pc_bluegene/dyninst into dyn_pc_integration
[dyninst.git] / external / boost / mpl / aux_ / preprocessed / no_ttp / 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< typename Tag > struct minus_impl< na,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< typename Tag > struct minus_impl< 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 template<
64       typename BOOST_MPL_AUX_NA_PARAM(N1)
65     , typename BOOST_MPL_AUX_NA_PARAM(N2)
66     , typename N3 = na, typename N4 = na, typename N5 = na
67     >
68 struct minus
69     : minus< minus< minus< minus< N1,N2 >, N3>, N4>, N5>
70 {
71     BOOST_MPL_AUX_LAMBDA_SUPPORT(
72           5
73         , minus
74         , ( N1, N2, N3, N4, N5 )
75         )
76 };
77
78 template<
79       typename N1, typename N2, typename N3, typename N4
80     >
81 struct minus< N1,N2,N3,N4,na >
82
83     : minus< minus< minus< N1,N2 >, N3>, N4>
84 {
85     BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(
86           5
87         , minus
88         , ( N1, N2, N3, N4, na )
89         )
90 };
91
92 template<
93       typename N1, typename N2, typename N3
94     >
95 struct minus< N1,N2,N3,na,na >
96
97     : minus< minus< N1,N2 >, N3>
98 {
99     BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(
100           5
101         , minus
102         , ( N1, N2, N3, na, na )
103         )
104 };
105
106 template<
107       typename N1, typename N2
108     >
109 struct minus< N1,N2,na,na,na >
110     : minus_impl<
111           typename minus_tag<N1>::type
112         , typename minus_tag<N2>::type
113         >::template apply< N1,N2 >::type
114 {
115     BOOST_MPL_AUX_LAMBDA_SUPPORT_SPEC(
116           5
117         , minus
118         , ( N1, N2, na, na, na )
119         )
120
121 };
122
123 BOOST_MPL_AUX_NA_SPEC2(2, 5, minus)
124
125 }}
126
127 namespace boost { namespace mpl {
128
129 namespace aux {
130 template< typename T, T n1, T n2 >
131 struct minus_wknd
132 {
133     BOOST_STATIC_CONSTANT(T, value  = (n1 - n2));
134     typedef integral_c< T,value > type;
135 };
136
137 }
138
139 template<>
140 struct minus_impl< integral_c_tag,integral_c_tag >
141 {
142     template< typename N1, typename N2 > struct apply
143         : aux::minus_wknd<
144               typename aux::largest_int<
145                   typename N1::value_type
146                 , typename N2::value_type
147                 >::type
148             , N1::value
149             , N2::value
150             >::type
151
152     {
153     };
154 };
155
156 }}