/*

 * © Portions copyright (c) 2006-2007 Nokia Corporation.  All rights reserved.

 * Copyright (c) 1997

 * Silicon Graphics Computer Systems, Inc.

 *

 * Copyright (c) 1999 

 * Boris Fomitchev

 *

 * This material is provided "as is", with absolutely no warranty expressed

 * or implied. Any use is at your own risk.

 *

 * Permission to use or copy this software for any purpose is hereby granted 

 * without fee, provided the above notices are retained on all copies.

 * Permission to modify the code and to distribute modified code is granted,

 * provided the above notices are retained, and a notice that the code was

 * modified is included with the above copyright notice.

 *

 */

/* NOTE: This may be not portable code. Parts of numeric_limits<> are

 * inherently machine-dependent.  At present this file is suitable

 * for the MIPS, SPARC, Alpha and ia32 architectures.

 */

#ifndef _STLP_INTERNAL_LIMITS_H

# define _STLP_INTERNAL_LIMITS_H

#ifndef _STLP_CLIMITS

# include <climits>

#endif

#ifndef _STLP_CFLOAT

# include <cfloat>

#endif

#if !defined (_STLP_NO_WCHAR_T) && !defined (_STLP_CWCHAR_H)

# include <stl/_cwchar.h>

#endif

_STLP_BEGIN_NAMESPACE

enum float_round_style {

  round_indeterminate       = -1,

  round_toward_zero         =  0,

  round_to_nearest          =  1,

  round_toward_infinity     =  2,

  round_toward_neg_infinity =  3

};

enum float_denorm_style {

  denorm_indeterminate = -1,

  denorm_absent        =  0,

  denorm_present       =  1

};

// Base class for all specializations of numeric_limits.

template <class __number>

class _Numeric_limits_base {

public:

  static __number (_STLP_CALL min)() _STLP_NOTHROW { return __number(); }

  static __number (_STLP_CALL max)() _STLP_NOTHROW { return __number(); }

# if defined ( _STLP_STATIC_CONST_INIT_BUG)

  enum {

# else

  static const int 

# endif

  digits = 0,

  digits10 = 0,

  radix = 0,

  min_exponent = 0,

  min_exponent10 = 0,

  max_exponent = 0,

  max_exponent10 = 0

# if defined ( _STLP_STATIC_CONST_INIT_BUG)

  ,  

  has_denorm = denorm_absent,

  round_style = round_toward_zero,

# else

  ;

  static const float_denorm_style has_denorm =  denorm_absent;

  static const float_round_style round_style = round_toward_zero;

  static const bool 

# endif

    is_specialized = false,

    is_signed  = false,

    is_integer = false,

    is_exact = false,

    has_infinity = false,

    has_quiet_NaN = false,

    has_signaling_NaN = false,

    has_denorm_loss = false,

    is_iec559 = false,

    is_bounded = false,

    is_modulo = false,

    traps = false,

    tinyness_before = false

# if defined ( _STLP_STATIC_CONST_INIT_BUG)

  }

# endif

  ;

  static __number _STLP_CALL epsilon() _STLP_NOTHROW     { return __number(); }

  static __number _STLP_CALL round_error() _STLP_NOTHROW { return __number(); }

  static __number _STLP_CALL infinity() _STLP_NOTHROW      { return __number(); }

  static __number _STLP_CALL quiet_NaN() _STLP_NOTHROW     { return __number(); }

  static __number _STLP_CALL signaling_NaN() _STLP_NOTHROW { return __number(); }

  static __number _STLP_CALL denorm_min() _STLP_NOTHROW    { return __number(); }

};

// Base class for integers.

# ifdef _STLP_LIMITED_DEFAULT_TEMPLATES

#  ifdef _STLP_LONG_LONG

#   define _STLP_LIMITS_MIN_TYPE _STLP_LONG_LONG

#   define _STLP_LIMITS_MAX_TYPE unsigned _STLP_LONG_LONG

#  else

#   define _STLP_LIMITS_MIN_TYPE long

#   define _STLP_LIMITS_MAX_TYPE unsigned long

#  endif

# else

#   define _STLP_LIMITS_MIN_TYPE _Int

#   define _STLP_LIMITS_MAX_TYPE _Int

# endif /* _STLP_LIMITED_DEFAULT_TEMPLATES */

template <class _Int,

          _STLP_LIMITS_MIN_TYPE __imin,

          _STLP_LIMITS_MAX_TYPE __imax,

          int __idigits, bool __ismod>

class _Integer_limits : public _Numeric_limits_base<_Int> 

{

public:

  static _Int (_STLP_CALL min) () _STLP_NOTHROW { return (_Int)__imin; }

  static _Int (_STLP_CALL max) () _STLP_NOTHROW { return (_Int)__imax; }

# if defined ( _STLP_STATIC_CONST_INIT_BUG)

  enum {

# else

  static const int 

# endif  

  digits = (__idigits < 0) ?

  ((int)((sizeof(_Int) * (CHAR_BIT))) - ((__imin == 0) ? 0 : 1))

  : (__idigits),

  digits10 = (digits * 301UL) / 1000,

  radix = 2

# if ! defined ( _STLP_STATIC_CONST_INIT_BUG)

  ;

  static const bool

# else

  ,

# endif

  is_specialized = true,

  is_signed = (__imin != 0),

  is_integer = true,

  is_exact = true,

  is_bounded = true,

  is_modulo = __ismod

# if defined ( _STLP_STATIC_CONST_INIT_BUG)

  }

# endif

  ;

};

// Base class for floating-point numbers.

template <class __number,

         int __Digits, int __Digits10,

         int __MinExp, int __MaxExp,

         int __MinExp10, int __MaxExp10,

         bool __IsIEC559,

         float_round_style __RoundStyle>

class _Floating_limits : public _Numeric_limits_base<__number>

{

public:

# if defined ( _STLP_STATIC_CONST_INIT_BUG)

  enum {

# else

  static const int 

# endif  

  digits = __Digits,

  digits10 = __Digits10,

  radix = (  FLT_RADIX /* 2 */ ),

  min_exponent = __MinExp, 

  max_exponent = __MaxExp,

  min_exponent10 = __MinExp10,

  max_exponent10 = __MaxExp10

# if defined (_STLP_STATIC_CONST_INIT_BUG)

  ,  

  has_denorm = denorm_indeterminate,

  round_style = __RoundStyle,

# else

  ;

  static const float_denorm_style has_denorm = denorm_indeterminate;

  static const float_round_style round_style = __RoundStyle;

  static const bool 

# endif

  is_specialized = true,

  is_signed = true, 

#if (!defined(_CRAY) || !defined(_CRAYIEEE))

   has_infinity     =  true,

   has_quiet_NaN    =  true,

   has_signaling_NaN=  true,

#else

  has_infinity     =  false,

  has_quiet_NaN    =  false,

  has_signaling_NaN=  false,

#endif

  has_denorm_loss  =  false,

  is_iec559      =  __IsIEC559,

  is_bounded     =  true,

  traps          =  true,

  tinyness_before=  false

# if defined ( _STLP_STATIC_CONST_INIT_BUG)

  }

# endif

  ;

};

// Class numeric_limits

// The unspecialized class.

template<class _Tp> 

class numeric_limits : public _Numeric_limits_base<_Tp> {};

// Specializations for all built-in integral types.

#ifndef _STLP_NO_BOOL

_STLP_TEMPLATE_NULL

class   numeric_limits<bool>

  : public _Integer_limits<bool, false, true, 1, false>

{};

#endif /* _STLP_NO_BOOL */

_STLP_TEMPLATE_NULL

class   numeric_limits<char>

  : public _Integer_limits<char, CHAR_MIN, CHAR_MAX, -1, true>

{};

# ifndef _STLP_NO_SIGNED_BUILTINS

_STLP_TEMPLATE_NULL

class   numeric_limits<signed char>

  : public _Integer_limits<signed char, SCHAR_MIN, SCHAR_MAX, -1, true>

{};

# endif

_STLP_TEMPLATE_NULL

class   numeric_limits<unsigned char>

  : public _Integer_limits<unsigned char, 0, UCHAR_MAX, -1, true>

{};

#ifdef __SYMBIAN32__

#if !defined ( _STLP_NO_WCHAR_T )

_STLP_TEMPLATE_NULL

class   numeric_limits<wchar_t>

  : public _Integer_limits<wchar_t, WCHAR_MIN, WCHAR_MAX, -1, true>

{};

#endif

#else

#if !(defined ( _STLP_NO_WCHAR_T ) || defined (_STLP_WCHAR_T_IS_USHORT))

_STLP_TEMPLATE_NULL

class   numeric_limits<wchar_t>

  : public _Integer_limits<wchar_t, WCHAR_MIN, WCHAR_MAX, -1, true>

{};

#endif

#endif

_STLP_TEMPLATE_NULL

class   numeric_limits<short>

  : public _Integer_limits<short, SHRT_MIN, SHRT_MAX, -1, true>

{};

_STLP_TEMPLATE_NULL

class   numeric_limits<unsigned short>

  : public _Integer_limits<unsigned short, 0, USHRT_MAX, -1, true>

{};

# if defined (__xlC__) && (__xlC__ == 0x500)

#  undef INT_MIN

#  define INT_MIN -2147483648

# endif

_STLP_TEMPLATE_NULL

class   numeric_limits<int>

  : public _Integer_limits<int, INT_MIN, INT_MAX, -1, true>

{};

_STLP_TEMPLATE_NULL

class   numeric_limits<unsigned int>

  : public _Integer_limits<unsigned int, 0, UINT_MAX, -1, true>

{};

_STLP_TEMPLATE_NULL

class   numeric_limits<long>

  : public _Integer_limits<long, LONG_MIN, LONG_MAX, -1, true>

{};

_STLP_TEMPLATE_NULL

class   numeric_limits<unsigned long>

  : public _Integer_limits<unsigned long, 0, ULONG_MAX, -1, true>

{};

#ifdef _STLP_LONG_LONG

# if defined (_STLP_MSVC) || defined (__BORLANDC__)

#    define LONGLONG_MAX     0x7fffffffffffffffi64

#    define LONGLONG_MIN     (-LONGLONG_MAX-1i64)

#    define ULONGLONG_MAX    0xffffffffffffffffUi64

# else

#  ifndef   LONGLONG_MAX

#    define LONGLONG_MAX     0x7fffffffffffffffLL

#  endif

#  ifndef   LONGLONG_MIN

#    define LONGLONG_MIN     (-LONGLONG_MAX-1LL)

#  endif

#  ifndef   ULONGLONG_MAX

#    define ULONGLONG_MAX    0xffffffffffffffffULL

#  endif

# endif

#if !defined(__GNUC__) || (__GNUC__ == 2 && __GNUC_MINOR__ <= 96)

_STLP_TEMPLATE_NULL

class   numeric_limits<_STLP_LONG_LONG>

  : public _Integer_limits<_STLP_LONG_LONG, LONGLONG_MIN, LONGLONG_MAX, -1, true>

{};

_STLP_TEMPLATE_NULL

class   numeric_limits<unsigned _STLP_LONG_LONG>

  : public _Integer_limits<unsigned _STLP_LONG_LONG, 0, ULONGLONG_MAX, -1, true>

{};

#else /* gcc 2.97 (after 2000-11-01), 2.98, 3.0 */

/*

 newest gcc has new mangling scheme, that has problem

 with generating name [instantiated] of template specialization like

 _Integer_limits<_STLP_LONG_LONG, LONGLONG_MIN, LONGLONG_MAX, -1, true>

                                  ~~~~~~~~~~~~  ~~~~~~~~~~~~

 Below is code that solve this problem.

   - ptr

 */

_STLP_TEMPLATE_NULL

class   numeric_limits<_STLP_LONG_LONG>

  : public _Numeric_limits_base<_STLP_LONG_LONG> 

{

public:

  static _STLP_LONG_LONG (_STLP_CALL min) () _STLP_NOTHROW { return LONGLONG_MIN; }

  static _STLP_LONG_LONG (_STLP_CALL max) () _STLP_NOTHROW { return LONGLONG_MAX; }

# if defined ( _STLP_STATIC_CONST_INIT_BUG)

  enum {

# else

  static const int 

# endif  

  digits = ((int)((sizeof(_STLP_LONG_LONG) * (CHAR_BIT))) - 1),

  digits10 = (digits * 301UL) / 1000,

  radix = 2

# if ! defined ( _STLP_STATIC_CONST_INIT_BUG)

  ;

  static const bool

# else

  ,

# endif

  is_specialized = true,

  is_signed = true,

  is_integer = true,

  is_exact = true,

  is_bounded = true,

  is_modulo = true

# if defined ( _STLP_STATIC_CONST_INIT_BUG)

  }

# endif

  ;

};

_STLP_TEMPLATE_NULL

class   numeric_limits<unsigned _STLP_LONG_LONG>

  : public _Numeric_limits_base<unsigned _STLP_LONG_LONG> 

{

public:

  static unsigned _STLP_LONG_LONG (_STLP_CALL min) () _STLP_NOTHROW { return 0ULL; }

  static unsigned _STLP_LONG_LONG (_STLP_CALL max) () _STLP_NOTHROW { return ULONGLONG_MAX; }

# if defined ( _STLP_STATIC_CONST_INIT_BUG)

  enum {

# else

  static const int 

# endif  

  digits = ((int)((sizeof(unsigned _STLP_LONG_LONG) * (CHAR_BIT)))),

  digits10 = (digits * 301UL) / 1000,

  radix = 2

# if ! defined ( _STLP_STATIC_CONST_INIT_BUG)

  ;

  static const bool

# else

  ,

# endif

  is_specialized = true,

  is_signed = false,

  is_integer = true,

  is_exact = true,

  is_bounded = true,

  is_modulo = true

# if defined ( _STLP_STATIC_CONST_INIT_BUG)

  }

# endif

  ;

};

# endif /* __GNUC__ > 2000-11-01 */

#endif /* _STLP_LONG_LONG */

// Specializations for all built-in floating-point types.

union _F_rep

{

  unsigned short rep[2];

  float val;

};

union _D_rep

{

  unsigned short rep[4];

  double val;

};

# ifndef _STLP_NO_LONG_DOUBLE

union _L_rep

{

  unsigned short rep[8];

  long double val;

};

# endif

template <class __dummy>

class _LimG 

{

public:  

  static const _F_rep _F_inf;

  static const _F_rep _F_qNaN;

  static const _F_rep _F_sNaN;

  static const _D_rep _D_inf;

  static const _D_rep _D_qNaN;

  static const _D_rep _D_sNaN;

# ifndef _STLP_NO_LONG_DOUBLE

  static const _L_rep _L_inf;

  static const _L_rep _L_qNaN;

  static const _L_rep _L_sNaN;

# endif

};

# if defined (_STLP_USE_TEMPLATE_EXPORT) 

_STLP_EXPORT_TEMPLATE_CLASS _LimG<bool>;

# endif

_STLP_TEMPLATE_NULL class   numeric_limits<float>

  : public _Floating_limits<float, 

                            FLT_MANT_DIG,   // Binary digits of precision

                            FLT_DIG,        // Decimal digits of precision

                            FLT_MIN_EXP,    // Minimum exponent

                            FLT_MAX_EXP,    // Maximum exponent

                            FLT_MIN_10_EXP, // Minimum base 10 exponent

                            FLT_MAX_10_EXP, // Maximum base 10 exponent

                            true,           // conforms to iec559

                            round_to_nearest>

{

public: