/******************************************************************************
 *                       ____    _    _____                                   *
 *                      / ___|  / \  |  ___|    C++                           *
 *                     | |     / _ \ | |_       Actor                         *
 *                     | |___ / ___ \|  _|      Framework                     *
 *                      \____/_/   \_|_|                                      *
 *                                                                            *
 * Copyright 2011-2019 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.                                      *
 ******************************************************************************/

#include "caf/detail/parse.hpp"

#include "caf/detail/config_consumer.hpp"
#include "caf/detail/consumer.hpp"
#include "caf/detail/parser/chars.hpp"
#include "caf/detail/parser/read_bool.hpp"
#include "caf/detail/parser/read_config.hpp"
#include "caf/detail/parser/read_floating_point.hpp"
#include "caf/detail/parser/read_ipv4_address.hpp"
#include "caf/detail/parser/read_ipv6_address.hpp"
#include "caf/detail/parser/read_signed_integer.hpp"
#include "caf/detail/parser/read_string.hpp"
#include "caf/detail/parser/read_timespan.hpp"
#include "caf/detail/parser/read_unsigned_integer.hpp"
#include "caf/detail/parser/read_uri.hpp"
#include "caf/detail/print.hpp"
#include "caf/error.hpp"
#include "caf/ipv4_address.hpp"
#include "caf/ipv4_endpoint.hpp"
#include "caf/ipv4_subnet.hpp"
#include "caf/ipv6_address.hpp"
#include "caf/ipv6_endpoint.hpp"
#include "caf/ipv6_subnet.hpp"
#include "caf/uri_builder.hpp"

#define PARSE_IMPL(type, parser_name)                                          \
  void parse(string_parser_state& ps, type& x) {                               \
    parser::read_##parser_name(ps, make_consumer(x));                          \
  }

namespace caf::detail {

void parse(string_parser_state& ps, literal x) {
  CAF_ASSERT(!x.str.empty());
  if (ps.current() != x.str[0]) {
    ps.code = pec::unexpected_character;
    return;
  }
  auto c = ps.next();
  for (auto i = x.str.begin() + 1; i != x.str.end(); ++i) {
    if (c != *i) {
      ps.code = pec::unexpected_character;
      return;
    }
    c = ps.next();
  }
  ps.code = ps.at_end() ? pec::success : pec::trailing_character;
}

void parse(string_parser_state& ps, time_unit& x) {
  if (ps.at_end()) {
    ps.code = pec::unexpected_eof;
    return;
  }
  switch (ps.current()) {
    case '\0':
      ps.code = pec::unexpected_eof;
      return;
    case 'h':
      x = time_unit::hours;
      break;
    case 's':
      x = time_unit::seconds;
      break;
    case 'u':
      if (ps.next() == 's') {
        x = time_unit::microseconds;
        break;
      }
      ps.code = ps.at_end() ? pec::unexpected_eof : pec::unexpected_character;
      return;
    case 'n':
      if (ps.next() == 's') {
        x = time_unit::nanoseconds;
        break;
      }
      ps.code = ps.at_end() ? pec::unexpected_eof : pec::unexpected_character;
      return;
    case 'm':
      switch (ps.next()) {
        case '\0':
          ps.code = pec::unexpected_eof;
          return;
        case 's':
          x = time_unit::milliseconds;
          break;
        case 'i':
          if (ps.next() == 'n') {
            x = time_unit::minutes;
            break;
          }
          ps.code = ps.at_end() ? pec::unexpected_eof
                                : pec::unexpected_character;
          return;
        default:
          ps.code = pec::unexpected_character;
          return;
      }
      break;
    default:
      ps.code = pec::unexpected_character;
  }
  ps.next();
  ps.code = ps.at_end() ? pec::success : pec::trailing_character;
}

PARSE_IMPL(bool, bool)

PARSE_IMPL(int8_t, signed_integer)

PARSE_IMPL(int16_t, signed_integer)

PARSE_IMPL(int32_t, signed_integer)

PARSE_IMPL(int64_t, signed_integer)

PARSE_IMPL(uint8_t, unsigned_integer)

PARSE_IMPL(uint16_t, unsigned_integer)

PARSE_IMPL(uint32_t, unsigned_integer)

PARSE_IMPL(uint64_t, unsigned_integer)

PARSE_IMPL(float, floating_point)

PARSE_IMPL(double, floating_point)

PARSE_IMPL(long double, floating_point)

void parse(string_parser_state& ps, uri& x) {
  uri_builder builder;
  if (ps.consume('<')) {
    parser::read_uri(ps, builder);
    if (ps.code > pec::trailing_character)
      return;
    if (!ps.consume('>')) {
      ps.code = pec::unexpected_character;
      return;
    }
  } else {
    parser::read_uri(ps, builder);
  }
  if (ps.code <= pec::trailing_character)
    x = builder.make();
}

void parse(string_parser_state& ps, config_value& x) {
  ps.skip_whitespaces();
  if (!ps.at_end()) {
    detail::config_value_consumer f;
    parser::read_config_value(ps, f);
    if (ps.code <= pec::trailing_character)
      x = std::move(f.result);
  } else {
    ps.code = pec::unexpected_eof;
  }
}

void parse(string_parser_state& ps, std::vector<config_value>& x) {
  ps.skip_whitespaces();
  if (!ps.at_end()) {
    detail::config_list_consumer f;
    auto fallback = ps;
    if (ps.consume('[')) {
      parser::read_config_list(ps, f);
      if (ps.code == pec::success) {
        x = std::move(f.result);
      } else {
        // Rewind parser state and try parsing again as a list without
        // surrounding '[]' characters. This catches edge cases like
        // '[1, 2], [3, 4]'. On error, we restore the parser state after the
        // first error.
        auto first_failure = ps;
        ps = fallback;
        f.result.clear();
        parser::lift_config_list(ps, f);
        if (ps.code <= pec::trailing_character)
          x = std::move(f.result);
        else
          ps = first_failure;
      }
    } else {
      // If the string isn't surrounded by '[]' in the first place, we call
      // lift_config_list and keep it's result in any case.
      parser::lift_config_list(ps, f);
      if (ps.code == pec::success)
        x = std::move(f.result);
    }
  } else {
    ps.code = pec::unexpected_eof;
  }
}

void parse(string_parser_state& ps, dictionary<config_value>& x) {
  ps.skip_whitespaces();
  if (!ps.at_end()) {
    detail::config_consumer f{x};
    if (ps.consume('{'))
      parser::read_config_map(ps, f);
    else
      parser::read_config_map<false>(ps, f);
  } else {
    ps.code = pec::unexpected_eof;
  }
}

PARSE_IMPL(ipv4_address, ipv4_address)

void parse(string_parser_state& ps, ipv4_subnet& x) {
  ipv4_address addr;
  uint8_t prefix_length;
  parse_sequence(ps, addr, literal{{"/"}}, prefix_length);
  if (ps.code <= pec::trailing_character) {
    if (prefix_length > 32) {
      ps.code = pec::integer_overflow;
      return;
    }
    x = ipv4_subnet{addr, prefix_length};
  }
}

void parse(string_parser_state& ps, ipv4_endpoint& x) {
  ipv4_address addr;
  uint16_t port;
  parse_sequence(ps, addr, literal{{":"}}, port);
  if (ps.code <= pec::trailing_character)
    x = ipv4_endpoint{addr, port};
}

PARSE_IMPL(ipv6_address, ipv6_address)

void parse(string_parser_state& ps, ipv6_subnet& x) {
  // TODO: this algorithm is currently not one-pass. The reason we need to
  // check whether the input is a valid ipv4_subnet first is that "1.2.3.0" is
  // a valid IPv6 address, but "1.2.3.0/16" results in the wrong subnet when
  // blindly reading the address as an IPv6 address.
  auto nested = ps;
  ipv4_subnet v4_subnet;
  parse(nested, v4_subnet);
  if (nested.code <= pec::trailing_character) {
    ps.i = nested.i;
    ps.code = nested.code;
    ps.line = nested.line;
    ps.column = nested.column;
    x = ipv6_subnet{v4_subnet};
    return;
  }
  ipv6_address addr;
  uint8_t prefix_length;
  parse_sequence(ps, addr, literal{{"/"}}, prefix_length);
  if (ps.code <= pec::trailing_character) {
    if (prefix_length > 128) {
      ps.code = pec::integer_overflow;
      return;
    }
    x = ipv6_subnet{addr, prefix_length};
  }
}

void parse(string_parser_state& ps, ipv6_endpoint& x) {
  ipv6_address addr;
  uint16_t port;
  if (ps.consume('[')) {
    parse_sequence(ps, addr, literal{{"]:"}}, port);
  } else {
    ipv4_address v4_addr;
    parse_sequence(ps, v4_addr, literal{{":"}}, port);
    if (ps.code <= pec::trailing_character)
      addr = ipv6_address{v4_addr};
  }
  if (ps.code <= pec::trailing_character)
    x = ipv6_endpoint{addr, port};
}

void parse(string_parser_state& ps, std::string& x) {
  ps.skip_whitespaces();
  if (ps.current() == '"') {
    parser::read_string(ps, make_consumer(x));
    return;
  }
  for (auto c = ps.current(); c != '\0'; c = ps.next())
    x += c;
  while (!x.empty() && isspace(x.back()))
    x.pop_back();
  ps.code = pec::success;
}

void parse_element(string_parser_state& ps, std::string& x,
                   const char* char_blacklist) {
  ps.skip_whitespaces();
  if (ps.current() == '"') {
    parser::read_string(ps, make_consumer(x));
    return;
  }
  auto is_legal = [=](char c) {
    return c != '\0' && strchr(char_blacklist, c) == nullptr;
  };
  for (auto c = ps.current(); is_legal(c); c = ps.next())
    x += c;
  while (!x.empty() && isspace(x.back()))
    x.pop_back();
  ps.code = ps.at_end() ? pec::success : pec::trailing_character;
}

// -- convenience functions ----------------------------------------------------

error parse_result(const string_parser_state& ps, string_view input) {
  if (ps.code == pec::success)
    return {};
  auto msg = to_string(ps.code);
  msg += " at line ";
  print(msg, ps.line);
  msg += ", column ";
  print(msg, ps.column);
  msg += " for input ";
  print_escaped(msg, input);
  return make_error(ps.code, std::move(msg));
}

} // namespace caf::detail
