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