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 | }}
|
---|