Chris@16: 
Chris@16: #ifndef BOOST_MPL_AUX_NA_SPEC_HPP_INCLUDED
Chris@16: #define BOOST_MPL_AUX_NA_SPEC_HPP_INCLUDED
Chris@16: 
Chris@16: // Copyright Aleksey Gurtovoy 2001-2004
Chris@16: //
Chris@16: // Distributed under the Boost Software License, Version 1.0. 
Chris@16: // (See accompanying file LICENSE_1_0.txt or copy at 
Chris@16: // http://www.boost.org/LICENSE_1_0.txt)
Chris@16: //
Chris@16: // See http://www.boost.org/libs/mpl for documentation.
Chris@16: 
Chris@101: // $Id$
Chris@101: // $Date$
Chris@101: // $Revision$
Chris@16: 
Chris@16: #if !defined(BOOST_MPL_PREPROCESSING_MODE)
Chris@16: #   include <boost/mpl/lambda_fwd.hpp>
Chris@16: #   include <boost/mpl/int.hpp>
Chris@16: #   include <boost/mpl/bool.hpp>
Chris@16: #   include <boost/mpl/aux_/na.hpp>
Chris@16: #   include <boost/mpl/aux_/arity.hpp>
Chris@16: #   include <boost/mpl/aux_/template_arity_fwd.hpp>
Chris@16: #endif
Chris@16: 
Chris@16: #include <boost/mpl/aux_/preprocessor/params.hpp>
Chris@16: #include <boost/mpl/aux_/preprocessor/enum.hpp>
Chris@16: #include <boost/mpl/aux_/preprocessor/def_params_tail.hpp>
Chris@16: #include <boost/mpl/aux_/lambda_arity_param.hpp>
Chris@16: #include <boost/mpl/aux_/config/dtp.hpp>
Chris@16: #include <boost/mpl/aux_/config/eti.hpp>
Chris@16: #include <boost/mpl/aux_/nttp_decl.hpp>
Chris@16: #include <boost/mpl/aux_/config/ttp.hpp>
Chris@16: #include <boost/mpl/aux_/config/lambda.hpp>
Chris@16: #include <boost/mpl/aux_/config/overload_resolution.hpp>
Chris@16: 
Chris@16: 
Chris@16: #define BOOST_MPL_AUX_NA_PARAMS(i) \
Chris@16:     BOOST_MPL_PP_ENUM(i, na) \
Chris@16: /**/
Chris@16: 
Chris@16: #if defined(BOOST_MPL_CFG_BROKEN_DEFAULT_PARAMETERS_IN_NESTED_TEMPLATES)
Chris@16: #   define BOOST_MPL_AUX_NA_SPEC_ARITY(i, name) \
Chris@16: namespace aux { \
Chris@16: template< BOOST_MPL_AUX_NTTP_DECL(int, N) > \
Chris@16: struct arity< \
Chris@16:           name< BOOST_MPL_AUX_NA_PARAMS(i) > \
Chris@16:         , N \
Chris@16:         > \
Chris@16:     : int_< BOOST_MPL_LIMIT_METAFUNCTION_ARITY > \
Chris@16: { \
Chris@16: }; \
Chris@16: } \
Chris@16: /**/
Chris@16: #else
Chris@16: #   define BOOST_MPL_AUX_NA_SPEC_ARITY(i, name) /**/
Chris@16: #endif
Chris@16: 
Chris@16: #define BOOST_MPL_AUX_NA_SPEC_MAIN(i, name) \
Chris@16: template<> \
Chris@16: struct name< BOOST_MPL_AUX_NA_PARAMS(i) > \
Chris@16: { \
Chris@16:     template< \
Chris@16:           BOOST_MPL_PP_PARAMS(i, typename T) \
Chris@16:         BOOST_MPL_PP_NESTED_DEF_PARAMS_TAIL(i, typename T, na) \
Chris@16:         > \
Chris@16:     struct apply \
Chris@16:         : name< BOOST_MPL_PP_PARAMS(i, T) > \
Chris@16:     { \
Chris@16:     }; \
Chris@16: }; \
Chris@16: /**/
Chris@16: 
Chris@16: #if defined(BOOST_MPL_CFG_NO_FULL_LAMBDA_SUPPORT)
Chris@16: #   define BOOST_MPL_AUX_NA_SPEC_LAMBDA(i, name) \
Chris@16: template<> \
Chris@16: struct lambda< \
Chris@16:       name< BOOST_MPL_AUX_NA_PARAMS(i) > \
Chris@16:     , void_ \
Chris@16:     , true_ \
Chris@16:     > \
Chris@16: { \
Chris@16:     typedef false_ is_le; \
Chris@16:     typedef name< BOOST_MPL_AUX_NA_PARAMS(i) > type; \
Chris@16: }; \
Chris@16: template<> \
Chris@16: struct lambda< \
Chris@16:       name< BOOST_MPL_AUX_NA_PARAMS(i) > \
Chris@16:     , void_ \
Chris@16:     , false_ \
Chris@16:     > \
Chris@16: { \
Chris@16:     typedef false_ is_le; \
Chris@16:     typedef name< BOOST_MPL_AUX_NA_PARAMS(i) > type; \
Chris@16: }; \
Chris@16: /**/
Chris@16: #else
Chris@16: #   define BOOST_MPL_AUX_NA_SPEC_LAMBDA(i, name) \
Chris@16: template< typename Tag > \
Chris@16: struct lambda< \
Chris@16:       name< BOOST_MPL_AUX_NA_PARAMS(i) > \
Chris@16:     , Tag \
Chris@16:     BOOST_MPL_AUX_LAMBDA_ARITY_PARAM(int_<-1>) \
Chris@16:     > \
Chris@16: { \
Chris@16:     typedef false_ is_le; \
Chris@16:     typedef name< BOOST_MPL_AUX_NA_PARAMS(i) > result_; \
Chris@16:     typedef name< BOOST_MPL_AUX_NA_PARAMS(i) > type; \
Chris@16: }; \
Chris@16: /**/
Chris@16: #endif
Chris@16: 
Chris@16: #if defined(BOOST_MPL_CFG_EXTENDED_TEMPLATE_PARAMETERS_MATCHING) \
Chris@16:     || defined(BOOST_MPL_CFG_NO_FULL_LAMBDA_SUPPORT) \
Chris@16:         && defined(BOOST_MPL_CFG_BROKEN_OVERLOAD_RESOLUTION)
Chris@16: #   define BOOST_MPL_AUX_NA_SPEC_TEMPLATE_ARITY(i, j, name) \
Chris@16: namespace aux { \
Chris@16: template< BOOST_MPL_PP_PARAMS(j, typename T) > \
Chris@16: struct template_arity< \
Chris@16:           name< BOOST_MPL_PP_PARAMS(j, T) > \
Chris@16:         > \
Chris@16:     : int_<j> \
Chris@16: { \
Chris@16: }; \
Chris@16: \
Chris@16: template<> \
Chris@16: struct template_arity< \
Chris@16:           name< BOOST_MPL_PP_ENUM(i, na) > \
Chris@16:         > \
Chris@16:     : int_<-1> \
Chris@16: { \
Chris@16: }; \
Chris@16: } \
Chris@16: /**/
Chris@16: #else
Chris@16: #   define BOOST_MPL_AUX_NA_SPEC_TEMPLATE_ARITY(i, j, name) /**/
Chris@16: #endif
Chris@16: 
Chris@16: #if defined(BOOST_MPL_CFG_MSVC_ETI_BUG)
Chris@16: #   define BOOST_MPL_AUX_NA_SPEC_ETI(i, name) \
Chris@16: template<> \
Chris@16: struct name< BOOST_MPL_PP_ENUM(i, int) > \
Chris@16: { \
Chris@16:     typedef int type; \
Chris@16:     enum { value = 0 }; \
Chris@16: }; \
Chris@16: /**/
Chris@16: #else
Chris@16: #   define BOOST_MPL_AUX_NA_SPEC_ETI(i, name) /**/
Chris@16: #endif
Chris@16: 
Chris@16: #define BOOST_MPL_AUX_NA_PARAM(param) param = na
Chris@16: 
Chris@16: #define BOOST_MPL_AUX_NA_SPEC_NO_ETI(i, name) \
Chris@16: BOOST_MPL_AUX_NA_SPEC_MAIN(i, name) \
Chris@16: BOOST_MPL_AUX_NA_SPEC_LAMBDA(i, name) \
Chris@16: BOOST_MPL_AUX_NA_SPEC_ARITY(i, name) \
Chris@16: BOOST_MPL_AUX_NA_SPEC_TEMPLATE_ARITY(i, i, name) \
Chris@16: /**/
Chris@16: 
Chris@16: #define BOOST_MPL_AUX_NA_SPEC(i, name) \
Chris@16: BOOST_MPL_AUX_NA_SPEC_NO_ETI(i, name) \
Chris@16: BOOST_MPL_AUX_NA_SPEC_ETI(i, name) \
Chris@16: /**/
Chris@16: 
Chris@16: #define BOOST_MPL_AUX_NA_SPEC2(i, j, name) \
Chris@16: BOOST_MPL_AUX_NA_SPEC_MAIN(i, name) \
Chris@16: BOOST_MPL_AUX_NA_SPEC_ETI(i, name) \
Chris@16: BOOST_MPL_AUX_NA_SPEC_LAMBDA(i, name) \
Chris@16: BOOST_MPL_AUX_NA_SPEC_ARITY(i, name) \
Chris@16: BOOST_MPL_AUX_NA_SPEC_TEMPLATE_ARITY(i, j, name) \
Chris@16: /**/
Chris@16: 
Chris@16: 
Chris@16: #endif // BOOST_MPL_AUX_NA_SPEC_HPP_INCLUDED