blob: b1fdec4ce0110afa802f94c2e10736cd09c9d886 [file] [log] [blame]
#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.
// $Id: negate.hpp 49267 2008-10-11 06:19:02Z agurtovoy $
// $Date: 2008-10-11 02:19:02 -0400 (Sat, 11 Oct 2008) $
// $Revision: 49267 $
#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