Ugly, not-to-be-pushed sucking in of all of Boost to get windows to work.
[dyninst.git] / external / boost / mpl / aux_ / preprocessed / gcc / template_arity.hpp
1
2 // Copyright Aleksey Gurtovoy 2001-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/aux_/template_arity.hpp" header
10 // -- DO NOT modify by hand!
11
12 namespace boost { namespace mpl { namespace aux {
13
14 template< int N > struct arity_tag
15 {
16     typedef char (&type)[N + 1];
17 };
18
19 template<
20       int C1, int C2, int C3, int C4, int C5, int C6
21     >
22 struct max_arity
23 {
24     BOOST_STATIC_CONSTANT(int, value =
25           ( C6 > 0 ? C6 : ( C5 > 0 ? C5 : ( C4 > 0 ? C4 : ( C3 > 0 ? C3 : ( C2 > 0 ? C2 : ( C1 > 0 ? C1 : -1 ) ) ) ) ) )
26
27         );
28 };
29
30 arity_tag<0>::type arity_helper(...);
31
32 template<
33       template< typename P1 > class F
34     , typename T1
35     >
36 typename arity_tag<1>::type
37 arity_helper(type_wrapper< F<T1> >, arity_tag<1>);
38
39 template<
40       template< typename P1, typename P2 > class F
41     , typename T1, typename T2
42     >
43 typename arity_tag<2>::type
44 arity_helper(type_wrapper< F< T1,T2 > >, arity_tag<2>);
45
46 template<
47       template< typename P1, typename P2, typename P3 > class F
48     , typename T1, typename T2, typename T3
49     >
50 typename arity_tag<3>::type
51 arity_helper(type_wrapper< F< T1,T2,T3 > >, arity_tag<3>);
52
53 template<
54       template< typename P1, typename P2, typename P3, typename P4 > class F
55     , typename T1, typename T2, typename T3, typename T4
56     >
57 typename arity_tag<4>::type
58 arity_helper(type_wrapper< F< T1,T2,T3,T4 > >, arity_tag<4>);
59
60 template<
61       template<
62           typename P1, typename P2, typename P3, typename P4
63         , typename P5
64         >
65       class F
66     , typename T1, typename T2, typename T3, typename T4, typename T5
67     >
68 typename arity_tag<5>::type
69 arity_helper(type_wrapper< F< T1,T2,T3,T4,T5 > >, arity_tag<5>);
70
71 template<
72       template<
73           typename P1, typename P2, typename P3, typename P4
74         , typename P5, typename P6
75         >
76       class F
77     , typename T1, typename T2, typename T3, typename T4, typename T5
78     , typename T6
79     >
80 typename arity_tag<6>::type
81 arity_helper(type_wrapper< F< T1,T2,T3,T4,T5,T6 > >, arity_tag<6>);
82 template< typename F, int N >
83 struct template_arity_impl
84 {
85     BOOST_STATIC_CONSTANT(int, value =
86           sizeof(arity_helper(type_wrapper<F>(), arity_tag<N>())) - 1
87         );
88 };
89
90 template< typename F >
91 struct template_arity
92 {
93     BOOST_STATIC_CONSTANT(int, value  = (
94           max_arity< template_arity_impl< F,1 >::value, template_arity_impl< F,2 >::value, template_arity_impl< F,3 >::value, template_arity_impl< F,4 >::value, template_arity_impl< F,5 >::value, template_arity_impl< F,6 >::value >::value
95
96         ));
97
98     typedef mpl::int_<value> type;
99 };
100
101 }}}