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