text: /******************************************************************************
   *                       ____    _    _____                                   *
   *                      / ___|  / \  |  ___|    C++                           *
   *                     | |     / _ \ | |_       Actor                         *
   *                     | |___ / ___ \|  _|      Framework                     *
   *                      \____/_/   \_|_|                                      *
   *                                                                            *
   * Copyright 2011-2018 Dominik Charousset                                     *
   *                                                                            *
   * Distributed under the terms and conditions of the BSD 3-Clause License or  *
   * (at your option) under the terms and conditions of the Boost Software      *
   * License 1.0. See accompanying files LICENSE and LICENSE_ALTERNATIVE.       *
   *                                                                            *
   * If you did not receive a copy of the license files, see                    *
   * http://opensource.org/licenses/BSD-3-Clause and                            *
   * http://www.boost.org/LICENSE_1_0.txt.                                      *
   ******************************************************************************/
  
  #define CAF_SUITE detail.parser.read_number
  
  #include "caf/detail/parser/read_number.hpp"
  
  #include "caf/test/unit_test.hpp"
  
  #include <string>
  
  #include "caf/detail/parser/add_ascii.hpp"
  #include "caf/detail/parser/sub_ascii.hpp"
  #include "caf/expected.hpp"
  #include "caf/parser_state.hpp"
  #include "caf/pec.hpp"
  #include "caf/string_view.hpp"
  #include "caf/variant.hpp"
  
  using namespace caf;
  
  namespace {
  
  struct numbers_parser_consumer {
    variant<int64_t, double> x;
    inline void value(double y) {
      x = y;
    }
    inline void value(int64_t y) {
      x = y;
    }
  };
  
  struct res_t {
    variant<pec, double, int64_t> val;
    template <class T>
    res_t(T&& x) : val(std::forward<T>(x)) {
      // nop
    }
  };
  
  bool operator==(const res_t& x, const res_t& y) {
    if (x.val.index() != y.val.index())
      return false;
    // Implements a safe equal comparison for double.
    caf::test::equal_to f;
    using caf::get;
    using caf::holds_alternative;
    if (holds_alternative<pec>(x.val))
      return f(get<pec>(x.val), get<pec>(y.val));
    if (holds_alternative<double>(x.val))
      return f(get<double>(x.val), get<double>(y.val));
    return f(get<int64_t>(x.val), get<int64_t>(y.val));
  }
  
  struct numbers_parser {
    res_t operator()(string_view str) {
      numbers_parser_consumer f;
      string_parser_state res{str.begin(), str.end()};
      detail::parser::read_number(res, f);
      if (res.code == pec::success)
        return f.x;
      return res.code;
    }
  };
  
  template <class T>
  typename std::enable_if<std::is_integral<T>::value, res_t>::type res(T x) {
    return {static_cast<int64_t>(x)};
  }
  
  template <class T>
  typename std::enable_if<std::is_floating_point<T>::value, res_t>::type
  res(T x) {
    return {static_cast<double>(x)};
  }
  
  struct fixture {
    numbers_parser p;
  };
  
  } // namespace
  
  #define CHECK_NUMBER(x) CAF_CHECK_EQUAL(p(#x), res(x))
  
  CAF_TEST_FIXTURE_SCOPE(read_number_tests, fixture)
  
  CAF_TEST(add ascii - unsigned) {
    using detail::parser::add_ascii;
    auto rd = [](string_view str) -> expected<uint8_t> {
      uint8_t x = 0;
      for (auto c : str)
        if (!add_ascii<10>(x, c))
          return pec::integer_overflow;
      return x;
    };
    for (int i = 0; i < 256; ++i)
      CAF_CHECK_EQUAL(rd(std::to_string(i)), static_cast<uint8_t>(i));
    for (int i = 256; i < 513; ++i)
      CAF_CHECK_EQUAL(rd(std::to_string(i)), pec::integer_overflow);
  }
  
  CAF_TEST(add ascii - signed) {
    auto rd = [](string_view str) -> expected<int8_t> {
      int8_t x = 0;
      for (auto c : str)
        if (!detail::parser::add_ascii<10>(x, c))
          return pec::integer_overflow;
      return x;
    };
    for (int i = 0; i < 128; ++i)
      CAF_CHECK_EQUAL(rd(std::to_string(i)), static_cast<int8_t>(i));
    for (int i = 128; i < 513; ++i)
      CAF_CHECK_EQUAL(rd(std::to_string(i)), pec::integer_overflow);
  }
  
  CAF_TEST(sub ascii) {
    auto rd = [](string_view str) -> expected<int8_t> {
      int8_t x = 0;
      for (auto c : str)
        if (!detail::parser::sub_ascii<10>(x, c))
          return pec::integer_underflow;
      return x;
    };
    // Using sub_ascii in this way behaves as if we'd prefix the number with a
    // minus sign, i.e., "123" will result in -123.
    for (int i = 1; i < 129; ++i)
      CAF_CHECK_EQUAL(rd(std::to_string(i)), static_cast<int8_t>(-i));
    for (int i = 129; i < 513; ++i)
      CAF_CHECK_EQUAL(rd(std::to_string(i)), pec::integer_underflow);
  }
  
  CAF_TEST(binary numbers) {
    /* TODO: use this implementation when switching to C++14
    CHECK_NUMBER(0b0);
    CHECK_NUMBER(0b10);
    CHECK_NUMBER(0b101);
    CHECK_NUMBER(0B1001);
    CHECK_NUMBER(-0b0);
    CHECK_NUMBER(-0b101);
    CHECK_NUMBER(-0B1001);
    */
    CAF_CHECK_EQUAL(p("0b0"), res(0));
    CAF_CHECK_EQUAL(p("0b10"), res(2));
    CAF_CHECK_EQUAL(p("0b101"), res(5));
    CAF_CHECK_EQUAL(p("0B1001"), res(9));
    CAF_CHECK_EQUAL(p("-0b0"), res(0));
    CAF_CHECK_EQUAL(p("-0b101"), res(-5));
    CAF_CHECK_EQUAL(p("-0B1001"), res(-9));
  }
  
  CAF_TEST(octal numbers) {
    // valid numbers
    CHECK_NUMBER(00);
    CHECK_NUMBER(010);
    CHECK_NUMBER(0123);
    CHECK_NUMBER(0777);
    CHECK_NUMBER(-00);
    CHECK_NUMBER(-0123);
    // invalid numbers
    CAF_CHECK_EQUAL(p("018"), pec::trailing_character);
  }
  
  CAF_TEST(decimal numbers) {
    CHECK_NUMBER(0);
    CHECK_NUMBER(10);
    CHECK_NUMBER(123);
    CHECK_NUMBER(-0);
    CHECK_NUMBER(-123);
  }
  
  CAF_TEST(hexadecimal numbers) {
    // valid numbers
    CHECK_NUMBER(0x0);
    CHECK_NUMBER(0x10);
    CHECK_NUMBER(0X123);
    CHECK_NUMBER(0xAF01);
    CHECK_NUMBER(-0x0);
    CHECK_NUMBER(-0x123);
    CHECK_NUMBER(-0xaf01);
    // invalid numbers
    CAF_CHECK_EQUAL(p("0xFG"), pec::trailing_character);
    CAF_CHECK_EQUAL(p("0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"),
                    pec::integer_overflow);
    CAF_CHECK_EQUAL(p("-0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF"),
                    pec::integer_underflow);
  }
  
  CAF_TEST(floating point numbers) {
    CHECK_NUMBER(0.0);
    CHECK_NUMBER(.0);
    CHECK_NUMBER(0.);
    CHECK_NUMBER(0.123);
    CHECK_NUMBER(.123);
    CHECK_NUMBER(123.456);
    CHECK_NUMBER(-0.0);
    CHECK_NUMBER(-.0);
    CHECK_NUMBER(-0.);
    CHECK_NUMBER(-0.123);
    CHECK_NUMBER(-.123);
    CHECK_NUMBER(-123.456);
  }
  
  CAF_TEST(integer mantissa with positive exponent) {
    CHECK_NUMBER(321E1);
    CHECK_NUMBER(321e1);
    CHECK_NUMBER(321e+1);
    CHECK_NUMBER(123e2);
    CHECK_NUMBER(-4e2);
    CHECK_NUMBER(1e1);
    CHECK_NUMBER(1e2);
    CHECK_NUMBER(1e3);
    CHECK_NUMBER(1e4);
    CHECK_NUMBER(1e5);
    CHECK_NUMBER(1e6);
  }
  
  CAF_TEST(integer mantissa with negative exponent) {
    // valid numbers
    CHECK_NUMBER(321E-1);
    CHECK_NUMBER(321e-1);
    CHECK_NUMBER(123e-2);
    CHECK_NUMBER(-4e-2);
    CHECK_NUMBER(1e-1);
    CHECK_NUMBER(1e-2);
    CHECK_NUMBER(1e-3);
    CHECK_NUMBER(1e-4);
    CHECK_NUMBER(1e-5);
    CHECK_NUMBER(1e-6);
    // invalid numbers
    CAF_CHECK_EQUAL(p("-9.9999e-e511"), pec::unexpected_character);
    CAF_CHECK_EQUAL(p("-9.9999e-511"), pec::exponent_underflow);
  }
  
  CAF_TEST(fractional mantissa with positive exponent) {
    CHECK_NUMBER(3.21E1);
    CHECK_NUMBER(3.21e+1);
    CHECK_NUMBER(3.21e+1);
    CHECK_NUMBER(12.3e2);
    CHECK_NUMBER(-0.001e3);
    CHECK_NUMBER(0.0001e5);
    CHECK_NUMBER(-42.001e3);
    CHECK_NUMBER(42.0001e5);
  }
  
  CAF_TEST(fractional mantissa with negative exponent) {
    CHECK_NUMBER(3.21E-1);
    CHECK_NUMBER(3.21e-1);
    CHECK_NUMBER(12.3e-2);
    CHECK_NUMBER(-0.001e-3);
    CHECK_NUMBER(-0.0001e-5);
    CHECK_NUMBER(-42.001e-3);
    CHECK_NUMBER(-42001e-6);
    CHECK_NUMBER(-42.0001e-5);
  }
  
  CAF_TEST_FIXTURE_SCOPE_END()
  