v8::base::internal::CheckedNumeric< T > Class Template Reference

#include <safe_math.h>

Collaboration diagram for v8::base::internal::CheckedNumeric< T >:

Public Types
typedef T	type

Public Member Functions
	CheckedNumeric ()
template<typename Src >
	CheckedNumeric (const CheckedNumeric< Src > &rhs)
template<typename Src >
	CheckedNumeric (Src value, RangeConstraint validity)
template<typename Src >
	CheckedNumeric (Src value)
bool	IsValid () const
T	ValueOrDie () const
T	ValueOrDefault (T default_value) const
T	ValueFloating () const
RangeConstraint	validity () const
T	ValueUnsafe () const
template<typename Src >
CheckedNumeric &	operator+= (Src rhs)
template<typename Src >
CheckedNumeric &	operator-= (Src rhs)
template<typename Src >
CheckedNumeric &	operator*= (Src rhs)
template<typename Src >
CheckedNumeric &	operator/= (Src rhs)
template<typename Src >
CheckedNumeric &	operator%= (Src rhs)
CheckedNumeric	operator- () const
CheckedNumeric	Abs () const
CheckedNumeric &	operator++ ()
CheckedNumeric	operator++ (int)
CheckedNumeric &	operator-- ()
CheckedNumeric	operator-- (int)

Static Public Member Functions
template<typename Src >
static CheckedNumeric< T >	cast (Src u, typename enable_if< std::numeric_limits< Src >::is_specialized, int >::type=0)
template<typename Src >
static CheckedNumeric< T >	cast (const CheckedNumeric< Src > &u, typename enable_if<!is_same< Src, T >::value, int >::type=0)
static const CheckedNumeric< T > &	cast (const CheckedNumeric< T > &u)

Private Attributes
CheckedNumericState< T >	state_

Detailed Description

template<typename T>
class v8::base::internal::CheckedNumeric< T >

Definition at line 48 of file safe_math.h.

Member Typedef Documentation

type

template<typename T >

typedef T v8::base::internal::CheckedNumeric< T >::type

Definition at line 50 of file safe_math.h.

Constructor & Destructor Documentation

CheckedNumeric() [1/4]

template<typename T >

v8::base::internal::CheckedNumeric< T >::CheckedNumeric ( )

inline

Definition at line 52 of file safe_math.h.

{}

CheckedNumeric() [2/4]

template<typename T >

template<typename Src >

v8::base::internal::CheckedNumeric< T >::CheckedNumeric ( const CheckedNumeric< Src > &  rhs )

inline

Definition at line 56 of file safe_math.h.

      : state_(rhs.ValueUnsafe(), rhs.validity()) {}

CheckedNumeric() [3/4]

template<typename T >

template<typename Src >

v8::base::internal::CheckedNumeric< T >::CheckedNumeric ( Src  value, RangeConstraint  validity  )

inline

Definition at line 60 of file safe_math.h.

      : state_(value, validity) {}

CheckedNumeric() [4/4]

template<typename T >

template<typename Src >

v8::base::internal::CheckedNumeric< T >::CheckedNumeric ( Src  value )

inline

Definition at line 66 of file safe_math.h.

      : state_(value) {
    // Argument must be numeric.
    STATIC_ASSERT(std::numeric_limits<Src>::is_specialized);
  }

References STATIC_ASSERT.

Member Function Documentation

Abs()

template<typename T >

CheckedNumeric v8::base::internal::CheckedNumeric< T >::Abs ( ) const

inline

Definition at line 134 of file safe_math.h.

                             {
    RangeConstraint validity;
    T value = CheckedAbs(state_.value(), &validity);
    // Absolute value is always valid for floating point.
    if (std::numeric_limits<T>::is_iec559)
      return CheckedNumeric<T>(value);
 
    validity = GetRangeConstraint(state_.validity() | validity);
    return CheckedNumeric<T>(value, validity);
  }

References v8::base::internal::CheckedAbs(), v8::base::internal::GetRangeConstraint(), v8::base::internal::CheckedNumeric< T >::state_, T, and v8::base::internal::CheckedNumeric< T >::validity().

Here is the call graph for this function:

cast() [1/3]

template<typename T >

template<typename Src >

static CheckedNumeric<T> v8::base::internal::CheckedNumeric< T >::cast ( const CheckedNumeric< Src > &  u, typename enable_if<!is_same< Src, T >::value, int >::type  = 0  )

inlinestatic

Definition at line 179 of file safe_math.h.

                                                              {
    return u;
  }

cast() [2/3]

template<typename T >

static const CheckedNumeric<T>& v8::base::internal::CheckedNumeric< T >::cast ( const CheckedNumeric< T > &  u )

inlinestatic

Definition at line 185 of file safe_math.h.

{ return u; }

cast() [3/3]

template<typename T >

template<typename Src >

static CheckedNumeric<T> v8::base::internal::CheckedNumeric< T >::cast ( Src  u, typename enable_if< std::numeric_limits< Src >::is_specialized, int >::type  = 0  )

inlinestatic

Definition at line 171 of file safe_math.h.

             {
    return u;
  }

Referenced by v8::base::internal::CheckedNumeric< T >::ValueFloating().

Here is the caller graph for this function:

IsValid()

template<typename T >

bool v8::base::internal::CheckedNumeric< T >::IsValid ( ) const

inline

Definition at line 73 of file safe_math.h.

{ return validity() == RANGE_VALID; }

References v8::base::internal::RANGE_VALID, and v8::base::internal::CheckedNumeric< T >::validity().

Referenced by v8::internal::DehoistArrayIndex(), v8::base::internal::CheckedNumeric< T >::ValueOrDefault(), and v8::base::internal::CheckedNumeric< T >::ValueOrDie().

Here is the call graph for this function:

Here is the caller graph for this function:

operator%=()

template<typename T >

template<typename Src >

CheckedNumeric& v8::base::internal::CheckedNumeric< T >::operator%=

(

Src

rhs

)

operator*=()

template<typename T >

template<typename Src >

CheckedNumeric& v8::base::internal::CheckedNumeric< T >::operator*=

(

Src

rhs

)

operator++() [1/2]

template<typename T >

CheckedNumeric& v8::base::internal::CheckedNumeric< T >::operator++ ( )

inline

Definition at line 145 of file safe_math.h.

                               {
    *this += 1;
    return *this;
  }

operator++() [2/2]

template<typename T >

CheckedNumeric v8::base::internal::CheckedNumeric< T >::operator++ ( int  )

inline

Definition at line 150 of file safe_math.h.

                                 {
    CheckedNumeric value = *this;
    *this += 1;
    return value;
  }

operator+=()

template<typename T >

template<typename Src >

CheckedNumeric& v8::base::internal::CheckedNumeric< T >::operator+=

(

Src

rhs

)

operator-()

template<typename T >

CheckedNumeric v8::base::internal::CheckedNumeric< T >::operator- ( ) const

inline

Definition at line 123 of file safe_math.h.

                                   {
    RangeConstraint validity;
    T value = CheckedNeg(state_.value(), &validity);
    // Negation is always valid for floating point.
    if (std::numeric_limits<T>::is_iec559)
      return CheckedNumeric<T>(value);
 
    validity = GetRangeConstraint(state_.validity() | validity);
    return CheckedNumeric<T>(value, validity);
  }

References v8::base::internal::CheckedNeg(), v8::base::internal::GetRangeConstraint(), v8::base::internal::CheckedNumeric< T >::state_, T, and v8::base::internal::CheckedNumeric< T >::validity().

Here is the call graph for this function:

operator--() [1/2]

template<typename T >

CheckedNumeric& v8::base::internal::CheckedNumeric< T >::operator-- ( )

inline

Definition at line 156 of file safe_math.h.

                               {
    *this -= 1;
    return *this;
  }

operator--() [2/2]

template<typename T >

CheckedNumeric v8::base::internal::CheckedNumeric< T >::operator-- ( int  )

inline

Definition at line 161 of file safe_math.h.

                                 {
    CheckedNumeric value = *this;
    *this -= 1;
    return value;
  }

operator-=()

template<typename T >

template<typename Src >

CheckedNumeric& v8::base::internal::CheckedNumeric< T >::operator-=

(

Src

rhs

)

operator/=()

template<typename T >

template<typename Src >

CheckedNumeric& v8::base::internal::CheckedNumeric< T >::operator/=

(

Src

rhs

)

validity()

template<typename T >

RangeConstraint v8::base::internal::CheckedNumeric< T >::validity ( ) const

inline

Definition at line 105 of file safe_math.h.

{ return state_.validity(); }

References v8::base::internal::CheckedNumeric< T >::state_.

Referenced by v8::base::internal::CheckedNumeric< T >::Abs(), v8::base::internal::CheckedNumeric< T >::IsValid(), and v8::base::internal::CheckedNumeric< T >::operator-().

Here is the caller graph for this function:

ValueFloating()

template<typename T >

T v8::base::internal::CheckedNumeric< T >::ValueFloating ( ) const

inline

Definition at line 92 of file safe_math.h.

                          {
    // Argument must be a floating-point value.
    STATIC_ASSERT(std::numeric_limits<T>::is_iec559);
    return CheckedNumeric<T>::cast(*this).ValueUnsafe();
  }

References v8::base::internal::CheckedNumeric< T >::cast(), and STATIC_ASSERT.

Here is the call graph for this function:

ValueOrDefault()

template<typename T >

T v8::base::internal::CheckedNumeric< T >::ValueOrDefault ( T  default_value ) const

inline

Definition at line 85 of file safe_math.h.

                                          {
    return IsValid() ? state_.value() : default_value;
  }

References v8::base::internal::CheckedNumeric< T >::IsValid(), and v8::base::internal::CheckedNumeric< T >::state_.

Here is the call graph for this function:

ValueOrDie()

template<typename T >

T v8::base::internal::CheckedNumeric< T >::ValueOrDie ( ) const

inline

Definition at line 77 of file safe_math.h.

                       {
    CHECK(IsValid());
    return state_.value();
  }

References CHECK, v8::base::internal::CheckedNumeric< T >::IsValid(), and v8::base::internal::CheckedNumeric< T >::state_.

Referenced by v8::internal::DehoistArrayIndex().

Here is the call graph for this function:

Here is the caller graph for this function:

ValueUnsafe()

template<typename T >

T v8::base::internal::CheckedNumeric< T >::ValueUnsafe ( ) const

inline

Definition at line 114 of file safe_math.h.

{ return state_.value(); }

References v8::base::internal::CheckedNumeric< T >::state_.

Member Data Documentation

state_

template<typename T >

CheckedNumericState<T> v8::base::internal::CheckedNumeric< T >::state_

private

Definition at line 188 of file safe_math.h.

Referenced by v8::base::internal::CheckedNumeric< T >::Abs(), v8::base::internal::CheckedNumeric< T >::operator-(), v8::base::internal::CheckedNumeric< T >::validity(), v8::base::internal::CheckedNumeric< T >::ValueOrDefault(), v8::base::internal::CheckedNumeric< T >::ValueOrDie(), and v8::base::internal::CheckedNumeric< T >::ValueUnsafe().

---

The documentation for this class was generated from the following file:

• /mnt/V8SourceCode/src/base/safe_math.h