

#ifndef BOOST_MPL_NEGATE_HPP_INCLUDED

#define BOOST_MPL_NEGATE_HPP_INCLUDED



// Copyright Aleksey Gurtovoy 2000-2004

//

// Distributed under the Boost Software License, Version 1.0. 

// (See accompanying file LICENSE_1_0.txt or copy at 

// http://www.boost.org/LICENSE_1_0.txt)

//

// See http://www.boost.org/libs/mpl for documentation.



// $Source$

// $Date: 2004-09-07 05:06:10 -0400 (Tue, 07 Sep 2004) $

// $Revision: 24948 $



#include <boost/mpl/integral_c.hpp>

#include <boost/mpl/aux_/msvc_eti_base.hpp>

#include <boost/mpl/aux_/na_spec.hpp>

#include <boost/mpl/aux_/lambda_support.hpp>

#include <boost/mpl/aux_/config/eti.hpp>

#include <boost/mpl/aux_/config/integral.hpp>

#include <boost/mpl/aux_/config/static_constant.hpp>



namespace boost { namespace mpl {



template< typename Tag > struct negate_impl;



template< typename T > struct negate_tag

{

    typedef typename T::tag type;

};



template<

      typename BOOST_MPL_AUX_NA_PARAM(N)

    >

struct negate

#if !defined(BOOST_MPL_CFG_MSVC_ETI_BUG)

    : negate_impl<

          typename negate_tag<N>::type

        >::template apply<N>::type

#else

    : aux::msvc_eti_base< typename apply_wrap1<

          negate_impl< typename negate_tag<N>::type >

        , N

        >::type >::type

#endif

{

    BOOST_MPL_AUX_LAMBDA_SUPPORT(1, negate, (N))

};



BOOST_MPL_AUX_NA_SPEC(1, negate)





#if defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC)

namespace aux {

template< typename T, T n > struct negate_wknd

{

    BOOST_STATIC_CONSTANT(T, value = -n);

    typedef integral_c<T,value> type;

};

}

#endif



template<>

struct negate_impl<integral_c_tag>

{

#if defined(BOOST_MPL_CFG_NO_NESTED_VALUE_ARITHMETIC)

    template< typename N > struct apply

        : aux::negate_wknd< typename N::value_type, N::value >

#else

    template< typename N > struct apply

        : integral_c< typename N::value_type, (-N::value) >

#endif    

    {

    };

};



}}



#endif // BOOST_MPL_NEGATE_HPP_INCLUDED

