
//  (C) Copyright John Maddock 2007.
//  Use, modification and distribution are subject to 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/type_traits for most recent version including documentation.

#ifndef CPPCMS_BOOST_TT_MAKE_UNSIGNED_HPP_INCLUDED
#define CPPCMS_BOOST_TT_MAKE_UNSIGNED_HPP_INCLUDED

#include <cppcms_boost/mpl/if.hpp>
#include <cppcms_boost/type_traits/is_integral.hpp>
#include <cppcms_boost/type_traits/is_signed.hpp>
#include <cppcms_boost/type_traits/is_unsigned.hpp>
#include <cppcms_boost/type_traits/is_enum.hpp>
#include <cppcms_boost/type_traits/is_same.hpp>
#include <cppcms_boost/type_traits/remove_cv.hpp>
#include <cppcms_boost/type_traits/is_const.hpp>
#include <cppcms_boost/type_traits/is_volatile.hpp>
#include <cppcms_boost/type_traits/add_const.hpp>
#include <cppcms_boost/type_traits/add_volatile.hpp>
#include <cppcms_boost/type_traits/detail/ice_or.hpp>
#include <cppcms_boost/type_traits/detail/ice_and.hpp>
#include <cppcms_boost/type_traits/detail/ice_not.hpp>
#include <cppcms_boost/static_assert.hpp>

// should be the last #include
#include <cppcms_boost/type_traits/detail/type_trait_def.hpp>

namespace cppcms_boost {

namespace detail {

template <class T>
struct make_unsigned_imp
{
   CPPCMS_BOOST_STATIC_ASSERT(
      (::cppcms_boost::type_traits::ice_or< ::cppcms_boost::is_integral<T>::value, ::cppcms_boost::is_enum<T>::value>::value));
#if !CPPCMS_BOOST_WORKAROUND(CPPCMS_BOOST_MSVC, <=1300)
   CPPCMS_BOOST_STATIC_ASSERT(
      (::cppcms_boost::type_traits::ice_not< ::cppcms_boost::is_same<
         typename remove_cv<T>::type, bool>::value>::value));
#endif

   typedef typename remove_cv<T>::type t_no_cv;
   typedef typename mpl::if_c<
      (::cppcms_boost::type_traits::ice_and< 
         ::cppcms_boost::is_unsigned<T>::value,
         ::cppcms_boost::is_integral<T>::value,
         ::cppcms_boost::type_traits::ice_not< ::cppcms_boost::is_same<t_no_cv, char>::value>::value,
         ::cppcms_boost::type_traits::ice_not< ::cppcms_boost::is_same<t_no_cv, wchar_t>::value>::value,
         ::cppcms_boost::type_traits::ice_not< ::cppcms_boost::is_same<t_no_cv, bool>::value>::value >::value),
      T,
      typename mpl::if_c<
         (::cppcms_boost::type_traits::ice_and< 
            ::cppcms_boost::is_integral<T>::value,
            ::cppcms_boost::type_traits::ice_not< ::cppcms_boost::is_same<t_no_cv, char>::value>::value,
            ::cppcms_boost::type_traits::ice_not< ::cppcms_boost::is_same<t_no_cv, wchar_t>::value>::value,
            ::cppcms_boost::type_traits::ice_not< ::cppcms_boost::is_same<t_no_cv, bool>::value>::value>
         ::value),
         typename mpl::if_<
            is_same<t_no_cv, signed char>,
            unsigned char,
            typename mpl::if_<
               is_same<t_no_cv, short>,
               unsigned short,
               typename mpl::if_<
                  is_same<t_no_cv, int>,
                  unsigned int,
                  typename mpl::if_<
                     is_same<t_no_cv, long>,
                     unsigned long,
#if defined(CPPCMS_BOOST_HAS_LONG_LONG)
                     cppcms_boost::ulong_long_type
#elif defined(CPPCMS_BOOST_HAS_MS_INT64)
                     unsigned __int64
#else
                     unsigned long
#endif
                  >::type
               >::type
            >::type
         >::type,
         // Not a regular integer type:
         typename mpl::if_c<
            sizeof(t_no_cv) == sizeof(unsigned char),
            unsigned char,
            typename mpl::if_c<
               sizeof(t_no_cv) == sizeof(unsigned short),
               unsigned short,
               typename mpl::if_c<
                  sizeof(t_no_cv) == sizeof(unsigned int),
                  unsigned int,
                  typename mpl::if_c<
                     sizeof(t_no_cv) == sizeof(unsigned long),
                     unsigned long,
#if defined(CPPCMS_BOOST_HAS_LONG_LONG)
                     cppcms_boost::ulong_long_type
#elif defined(CPPCMS_BOOST_HAS_MS_INT64)
                     unsigned __int64
#else
                     unsigned long
#endif
                  >::type
               >::type
            >::type
         >::type
      >::type
   >::type base_integer_type;
   
   // Add back any const qualifier:
   typedef typename mpl::if_<
      is_const<T>,
      typename add_const<base_integer_type>::type,
      base_integer_type
   >::type const_base_integer_type;
   
   // Add back any volatile qualifier:
   typedef typename mpl::if_<
      is_volatile<T>,
      typename add_volatile<const_base_integer_type>::type,
      const_base_integer_type
   >::type type;
};


} // namespace detail

CPPCMS_BOOST_TT_AUX_TYPE_TRAIT_DEF1(make_unsigned,T,typename cppcms_boost::detail::make_unsigned_imp<T>::type)

} // namespace boost

#include <cppcms_boost/type_traits/detail/type_trait_undef.hpp>

#endif // BOOST_TT_ADD_REFERENCE_HPP_INCLUDED

