// Copyright 2016 The Chromium Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

namespace WTF {

template <typename To, typename From>
bool IsInBounds(From value) {
  return true;
}

template <typename To, typename From>
To SafeCast(From value) {
  if (!IsInBounds<To>(value))
    return 0;
  return static_cast<To>(value);
}

template <typename T, typename OverflowHandler>
class Checked {
 public:
  template <typename U, typename V>
  Checked(const Checked<U, V>& rhs) {
    if (rhs.HasOverflowed())
      this->Overflowed();
    if (!IsInBounds<T>(rhs.value_))
      this->Overflowed();
    value_ = static_cast<T>(rhs.value_);
  }

  bool HasOverflowed() const { return false; }
  void Overflowed() {}

 private:
  T value_;
};

template <typename To, typename From>
To bitwise_cast(From from) {
  static_assert(sizeof(To) == sizeof(From), "msg");
  return reinterpret_cast<To>(from);
}

}  // namespace WTF

namespace mojo {

template <typename U>
struct ArrayTraits;

template <typename U>
struct ArrayTraits<WTF::Checked<U, int>> {
  static bool HasOverflowed(WTF::Checked<U, int>& input) {
    // |hasOverflowed| below should be rewritten to |HasOverflowed|
    // (because this is a method of WTF::Checked;  it doesn't matter
    // that we are not in WTF namespace *here*).
    return input.HasOverflowed();
  }
};

}  // namespace mojo

using WTF::bitwise_cast;
using WTF::SafeCast;