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 williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: # include williamr@2: #endif williamr@2: williamr@2: #include williamr@2: #include williamr@2: #include williamr@2: #include williamr@2: #include williamr@2: #include williamr@2: #include williamr@2: #include williamr@2: #include williamr@2: #include 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_ \ 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