williamr@2: //-----------------------------------------------------------------------------
williamr@2: // boost variant/detail/substitute_fwd.hpp header file
williamr@2: // See http://www.boost.org for updates, documentation, and revision history.
williamr@2: //-----------------------------------------------------------------------------
williamr@2: //
williamr@2: // Copyright (c) 2003
williamr@2: // Eric Friedman
williamr@2: //
williamr@2: // Distributed under the Boost Software License, Version 1.0. (See
williamr@2: // accompanying file LICENSE_1_0.txt or copy at
williamr@2: // http://www.boost.org/LICENSE_1_0.txt)
williamr@2: 
williamr@2: #ifndef BOOST_VARIANT_DETAIL_SUBSTITUTE_FWD_HPP
williamr@2: #define BOOST_VARIANT_DETAIL_SUBSTITUTE_FWD_HPP
williamr@2: 
williamr@2: #include "boost/mpl/aux_/lambda_arity_param.hpp"
williamr@2: #include "boost/mpl/aux_/template_arity.hpp"
williamr@2: #include "boost/mpl/int_fwd.hpp"
williamr@2: 
williamr@2: 
williamr@2: ///////////////////////////////////////////////////////////////////////////////
williamr@2: // BOOST_VARIANT_DETAIL_NO_SUBSTITUTE
williamr@2: //
williamr@2: // Defined if 'substitute' is not implementable on the current compiler.
williamr@2: //
williamr@2: 
williamr@2: #include "boost/mpl/aux_/config/ctps.hpp"
williamr@2: #include "boost/mpl/aux_/config/ttp.hpp"
williamr@2: 
williamr@2: #if defined(BOOST_NO_TEMPLATE_TEMPLATE_PARAMETERS) \
williamr@2:  || defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION) \
williamr@2:  && !defined(BOOST_VARIANT_DETAIL_NO_SUBSTITUTE)
williamr@2: #   define BOOST_VARIANT_DETAIL_NO_SUBSTITUTE
williamr@2: #endif
williamr@2: 
williamr@2: namespace boost {
williamr@2: namespace detail { namespace variant {
williamr@2: 
williamr@2: #if !defined(BOOST_VARIANT_DETAIL_NO_SUBSTITUTE)
williamr@2: 
williamr@2: ///////////////////////////////////////////////////////////////////////////////
williamr@2: // metafunction substitute
williamr@2: //
williamr@2: // Substitutes one type for another in the given type expression.
williamr@2: //
williamr@2: template <
williamr@2:       typename T, typename Dest, typename Source
williamr@2:       BOOST_MPL_AUX_LAMBDA_ARITY_PARAM(
williamr@2:           typename Arity = mpl::int_< mpl::aux::template_arity<T>::value >
williamr@2:         )
williamr@2:     >
williamr@2: struct substitute;
williamr@2: 
williamr@2: #endif // !defined(BOOST_VARIANT_DETAIL_NO_SUBSTITUTE)
williamr@2: 
williamr@2: }} // namespace detail::variant
williamr@2: } // namespace boost
williamr@2: 
williamr@2: #endif // BOOST_VARIANT_DETAIL_SUBSTITUTE_FWD_HPP