123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119 |
- ///////////////////////////////////////////////////////////////////////////////
- // deduce_domain_n.hpp
- // Definitions of common_domain[n] and deduce_domain[n] class templates.
- //
- // Copyright 2008 Eric Niebler. Distributed under the Boost
- // Software License, Version 1.0. (See accompanying file
- // LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
- template<typename A0 , typename A1 , typename A2>
- struct common_domain3
- {
- typedef A0 common1;
- typedef typename common_domain2<common1, A1>::type common2; typedef typename common_domain2<common2, A2>::type common3;
- typedef common3 type;
- BOOST_PROTO_ASSERT_VALID_DOMAIN(type);
- };
- template<typename E0 , typename E1 , typename E2>
- struct deduce_domain3
- : common_domain3<
- typename domain_of<E0 >::type , typename domain_of<E1 >::type , typename domain_of<E2 >::type
- >
- {};
- template<typename A0 , typename A1 , typename A2 , typename A3>
- struct common_domain4
- {
- typedef A0 common1;
- typedef typename common_domain2<common1, A1>::type common2; typedef typename common_domain2<common2, A2>::type common3; typedef typename common_domain2<common3, A3>::type common4;
- typedef common4 type;
- BOOST_PROTO_ASSERT_VALID_DOMAIN(type);
- };
- template<typename E0 , typename E1 , typename E2 , typename E3>
- struct deduce_domain4
- : common_domain4<
- typename domain_of<E0 >::type , typename domain_of<E1 >::type , typename domain_of<E2 >::type , typename domain_of<E3 >::type
- >
- {};
- template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4>
- struct common_domain5
- {
- typedef A0 common1;
- typedef typename common_domain2<common1, A1>::type common2; typedef typename common_domain2<common2, A2>::type common3; typedef typename common_domain2<common3, A3>::type common4; typedef typename common_domain2<common4, A4>::type common5;
- typedef common5 type;
- BOOST_PROTO_ASSERT_VALID_DOMAIN(type);
- };
- template<typename E0 , typename E1 , typename E2 , typename E3 , typename E4>
- struct deduce_domain5
- : common_domain5<
- typename domain_of<E0 >::type , typename domain_of<E1 >::type , typename domain_of<E2 >::type , typename domain_of<E3 >::type , typename domain_of<E4 >::type
- >
- {};
- template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5>
- struct common_domain6
- {
- typedef A0 common1;
- typedef typename common_domain2<common1, A1>::type common2; typedef typename common_domain2<common2, A2>::type common3; typedef typename common_domain2<common3, A3>::type common4; typedef typename common_domain2<common4, A4>::type common5; typedef typename common_domain2<common5, A5>::type common6;
- typedef common6 type;
- BOOST_PROTO_ASSERT_VALID_DOMAIN(type);
- };
- template<typename E0 , typename E1 , typename E2 , typename E3 , typename E4 , typename E5>
- struct deduce_domain6
- : common_domain6<
- typename domain_of<E0 >::type , typename domain_of<E1 >::type , typename domain_of<E2 >::type , typename domain_of<E3 >::type , typename domain_of<E4 >::type , typename domain_of<E5 >::type
- >
- {};
- template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6>
- struct common_domain7
- {
- typedef A0 common1;
- typedef typename common_domain2<common1, A1>::type common2; typedef typename common_domain2<common2, A2>::type common3; typedef typename common_domain2<common3, A3>::type common4; typedef typename common_domain2<common4, A4>::type common5; typedef typename common_domain2<common5, A5>::type common6; typedef typename common_domain2<common6, A6>::type common7;
- typedef common7 type;
- BOOST_PROTO_ASSERT_VALID_DOMAIN(type);
- };
- template<typename E0 , typename E1 , typename E2 , typename E3 , typename E4 , typename E5 , typename E6>
- struct deduce_domain7
- : common_domain7<
- typename domain_of<E0 >::type , typename domain_of<E1 >::type , typename domain_of<E2 >::type , typename domain_of<E3 >::type , typename domain_of<E4 >::type , typename domain_of<E5 >::type , typename domain_of<E6 >::type
- >
- {};
- template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7>
- struct common_domain8
- {
- typedef A0 common1;
- typedef typename common_domain2<common1, A1>::type common2; typedef typename common_domain2<common2, A2>::type common3; typedef typename common_domain2<common3, A3>::type common4; typedef typename common_domain2<common4, A4>::type common5; typedef typename common_domain2<common5, A5>::type common6; typedef typename common_domain2<common6, A6>::type common7; typedef typename common_domain2<common7, A7>::type common8;
- typedef common8 type;
- BOOST_PROTO_ASSERT_VALID_DOMAIN(type);
- };
- template<typename E0 , typename E1 , typename E2 , typename E3 , typename E4 , typename E5 , typename E6 , typename E7>
- struct deduce_domain8
- : common_domain8<
- typename domain_of<E0 >::type , typename domain_of<E1 >::type , typename domain_of<E2 >::type , typename domain_of<E3 >::type , typename domain_of<E4 >::type , typename domain_of<E5 >::type , typename domain_of<E6 >::type , typename domain_of<E7 >::type
- >
- {};
- template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8>
- struct common_domain9
- {
- typedef A0 common1;
- typedef typename common_domain2<common1, A1>::type common2; typedef typename common_domain2<common2, A2>::type common3; typedef typename common_domain2<common3, A3>::type common4; typedef typename common_domain2<common4, A4>::type common5; typedef typename common_domain2<common5, A5>::type common6; typedef typename common_domain2<common6, A6>::type common7; typedef typename common_domain2<common7, A7>::type common8; typedef typename common_domain2<common8, A8>::type common9;
- typedef common9 type;
- BOOST_PROTO_ASSERT_VALID_DOMAIN(type);
- };
- template<typename E0 , typename E1 , typename E2 , typename E3 , typename E4 , typename E5 , typename E6 , typename E7 , typename E8>
- struct deduce_domain9
- : common_domain9<
- typename domain_of<E0 >::type , typename domain_of<E1 >::type , typename domain_of<E2 >::type , typename domain_of<E3 >::type , typename domain_of<E4 >::type , typename domain_of<E5 >::type , typename domain_of<E6 >::type , typename domain_of<E7 >::type , typename domain_of<E8 >::type
- >
- {};
- template<typename A0 , typename A1 , typename A2 , typename A3 , typename A4 , typename A5 , typename A6 , typename A7 , typename A8 , typename A9>
- struct common_domain10
- {
- typedef A0 common1;
- typedef typename common_domain2<common1, A1>::type common2; typedef typename common_domain2<common2, A2>::type common3; typedef typename common_domain2<common3, A3>::type common4; typedef typename common_domain2<common4, A4>::type common5; typedef typename common_domain2<common5, A5>::type common6; typedef typename common_domain2<common6, A6>::type common7; typedef typename common_domain2<common7, A7>::type common8; typedef typename common_domain2<common8, A8>::type common9; typedef typename common_domain2<common9, A9>::type common10;
- typedef common10 type;
- BOOST_PROTO_ASSERT_VALID_DOMAIN(type);
- };
- template<typename E0 , typename E1 , typename E2 , typename E3 , typename E4 , typename E5 , typename E6 , typename E7 , typename E8 , typename E9>
- struct deduce_domain10
- : common_domain10<
- typename domain_of<E0 >::type , typename domain_of<E1 >::type , typename domain_of<E2 >::type , typename domain_of<E3 >::type , typename domain_of<E4 >::type , typename domain_of<E5 >::type , typename domain_of<E6 >::type , typename domain_of<E7 >::type , typename domain_of<E8 >::type , typename domain_of<E9 >::type
- >
- {};
|