//     __ _____ _____ _____
//  __|  |   __|     |   | |  JSON for Modern C++ (supporting code)
// |  |  |__   |  |  | | | |  version 3.11.3
// |_____|_____|_____|_|___|  https://github.com/nlohmann/json
//
// SPDX-FileCopyrightText: 2013-2023 Niels Lohmann <https://nlohmann.me>
// SPDX-License-Identifier: MIT

#include "doctest_compatibility.h"

// disable -Wnoexcept due to struct pod_bis
DOCTEST_GCC_SUPPRESS_WARNING_PUSH
DOCTEST_GCC_SUPPRESS_WARNING("-Wnoexcept")

#include <azure/core/internal/json/json.hpp>
using Azure::Core::Json::_internal::json;

namespace {
enum test
{
};

struct pod
{
};
struct pod_bis
{
};

void to_json(json& /*unused*/, pod /*unused*/) noexcept;
void to_json(json& /*unused*/, pod_bis /*unused*/);
void from_json(const json& /*unused*/, pod /*unused*/) noexcept;
void from_json(const json& /*unused*/, pod_bis /*unused*/);
void to_json(json& /*unused*/, pod /*unused*/) noexcept {}
void to_json(json& /*unused*/, pod_bis /*unused*/) {}
void from_json(const json& /*unused*/, pod /*unused*/) noexcept {}
void from_json(const json& /*unused*/, pod_bis /*unused*/) {}

static_assert(noexcept(json{}), "");
static_assert(noexcept(Azure::Core::Json::_internal::to_json(std::declval<json&>(), 2)), "");
static_assert(noexcept(Azure::Core::Json::_internal::to_json(std::declval<json&>(), 2.5)), "");
static_assert(noexcept(Azure::Core::Json::_internal::to_json(std::declval<json&>(), true)), "");
static_assert(noexcept(Azure::Core::Json::_internal::to_json(std::declval<json&>(), test{})), "");
static_assert(noexcept(Azure::Core::Json::_internal::to_json(std::declval<json&>(), pod{})), "");
static_assert(
    !noexcept(Azure::Core::Json::_internal::to_json(std::declval<json&>(), pod_bis{})),
    "");
static_assert(noexcept(json(2)), "");
static_assert(noexcept(json(test{})), "");
static_assert(noexcept(json(pod{})), "");
static_assert(noexcept(std::declval<json>().get<pod>()), "");
static_assert(!noexcept(std::declval<json>().get<pod_bis>()), "");
static_assert(noexcept(json(pod{})), "");
} // namespace

TEST_CASE("noexcept")
{
  // silence -Wunneeded-internal-declaration errors
  static_cast<void>(static_cast<void (*)(json&, pod)>(&to_json));
  static_cast<void>(static_cast<void (*)(json&, pod_bis)>(&to_json));
  static_cast<void>(static_cast<void (*)(const json&, pod)>(&from_json));
  static_cast<void>(static_cast<void (*)(const json&, pod_bis)>(&from_json));

  SECTION("nothrow-copy-constructible exceptions")
  {
    // for ERR60-CPP (https://github.com/nlohmann/json/issues/531):
    // Exceptions should be nothrow-copy-constructible. However, compilers
    // treat std::runtime_exception differently in this regard. Therefore,
    // we can only demand nothrow-copy-constructibility for our exceptions
    // if std::runtime_exception is.
    CHECK(
        std::is_nothrow_copy_constructible<json::exception>::value
        == std::is_nothrow_copy_constructible<std::runtime_error>::value);
    CHECK(
        std::is_nothrow_copy_constructible<json::parse_error>::value
        == std::is_nothrow_copy_constructible<std::runtime_error>::value);
    CHECK(
        std::is_nothrow_copy_constructible<json::invalid_iterator>::value
        == std::is_nothrow_copy_constructible<std::runtime_error>::value);
    CHECK(
        std::is_nothrow_copy_constructible<json::type_error>::value
        == std::is_nothrow_copy_constructible<std::runtime_error>::value);
    CHECK(
        std::is_nothrow_copy_constructible<json::out_of_range>::value
        == std::is_nothrow_copy_constructible<std::runtime_error>::value);
    CHECK(
        std::is_nothrow_copy_constructible<json::other_error>::value
        == std::is_nothrow_copy_constructible<std::runtime_error>::value);
  }
}

DOCTEST_GCC_SUPPRESS_WARNING_POP
