williamr@2: 
williamr@2: #ifndef BOOST_MPL_NEGATE_HPP_INCLUDED
williamr@2: #define BOOST_MPL_NEGATE_HPP_INCLUDED
williamr@2: 
williamr@2: // Copyright Aleksey Gurtovoy 2000-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/negate.hpp,v $
williamr@2: // $Date: 2004/09/07 09:06:08 $
williamr@2: // $Revision: 1.4 $
williamr@2: 
williamr@2: #include <boost/mpl/integral_c.hpp>
williamr@2: #include <boost/mpl/aux_/msvc_eti_base.hpp>
williamr@2: #include <boost/mpl/aux_/na_spec.hpp>
williamr@2: #include <boost/mpl/aux_/lambda_support.hpp>
williamr@2: #include <boost/mpl/aux_/config/eti.hpp>
williamr@2: #include <boost/mpl/aux_/config/integral.hpp>
williamr@2: #include <boost/mpl/aux_/config/static_constant.hpp>
williamr@2: 
williamr@2: namespace boost { namespace mpl {
williamr@2: 
williamr@2: template< typename Tag > struct negate_impl;
williamr@2: 
williamr@2: template< typename T > struct negate_tag
williamr@2: {
williamr@2:     typedef typename T::tag type;
williamr@2: };
williamr@2: 
williamr@2: template<
williamr@2:       typename BOOST_MPL_AUX_NA_PARAM(N)
williamr@2:     >
williamr@2: struct negate
williamr@2: #if !defined(BOOST_MPL_CFG_MSVC_ETI_BUG)
williamr@2:     : negate_impl<
williamr@2:           typename negate_tag<N>::type
williamr@2:         >::template apply<N>::type
williamr@2: #else
williamr@2:     : aux::msvc_eti_base< typename apply_wrap1<
williamr@2:           negate_impl< typename negate_tag<N>::type >
williamr@2:         , N
williamr@2:         >::type >::type
williamr@2: #endif
williamr@2: {
williamr@2:     BOOST_MPL_AUX_LAMBDA_SUPPORT(1, negate, (N))
williamr@2: };
williamr@2: 
williamr@2: BOOST_MPL_AUX_NA_SPEC(1, negate)
williamr@2: 
williamr@2: 
williamr@2: #if defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC)
williamr@2: namespace aux {
williamr@2: template< typename T, T n > struct negate_wknd
williamr@2: {
williamr@2:     BOOST_STATIC_CONSTANT(T, value = -n);
williamr@2:     typedef integral_c<T,value> type;
williamr@2: };
williamr@2: }
williamr@2: #endif
williamr@2: 
williamr@2: template<>
williamr@2: struct negate_impl<integral_c_tag>
williamr@2: {
williamr@2: #if defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC)
williamr@2:     template< typename N > struct apply
williamr@2:         : aux::negate_wknd< typename N::value_type, N::value >
williamr@2: #else
williamr@2:     template< typename N > struct apply
williamr@2:         : integral_c< typename N::value_type, (-N::value) >
williamr@2: #endif    
williamr@2:     {
williamr@2:     };
williamr@2: };
williamr@2: 
williamr@2: }}
williamr@2: 
williamr@2: #endif // BOOST_MPL_NEGATE_HPP_INCLUDED