//
// start.cpp
// ~~~~~~~~~
//
// Copyright (c) 2003-2023 Christopher M. Kohlhoff (chris at kohlhoff dot com)
//
// Distributed under the Boost Software License, Version 1.0. (See accompanying
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
//

// Disable autolinking for unit tests.
#if !defined(BOOST_ALL_NO_LIB)
#define BOOST_ALL_NO_LIB 1
#endif // !defined(BOOST_ALL_NO_LIB)

// Test that header file is self-contained.
#include "asio/execution/start.hpp"

#include "asio/error_code.hpp"
#include "../unit_test.hpp"

#if !defined(ASIO_NO_DEPRECATED)

namespace exec = asio::execution;

static int call_count = 0;

struct no_start
{
};

struct const_member_start
{
  void start() const ASIO_NOEXCEPT
  {
    ++call_count;
  }
};

#if !defined(ASIO_HAS_DEDUCED_START_MEMBER_TRAIT)

namespace asio {
namespace traits {

template <>
struct start_member<const const_member_start>
{
  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
  typedef void result_type;
};

} // namespace traits
} // namespace asio

#endif // !defined(ASIO_HAS_DEDUCED_START_MEMBER_TRAIT)

struct free_start_const_receiver
{
  friend void start(const free_start_const_receiver&) ASIO_NOEXCEPT
  {
    ++call_count;
  }
};

#if !defined(ASIO_HAS_DEDUCED_START_FREE_TRAIT)

namespace asio {
namespace traits {

template <>
struct start_free<const free_start_const_receiver>
{
  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
  typedef void result_type;
};

} // namespace traits
} // namespace asio

#endif // !defined(ASIO_HAS_DEDUCED_START_FREE_TRAIT)

struct non_const_member_start
{
  void start() ASIO_NOEXCEPT
  {
    ++call_count;
  }
};

#if !defined(ASIO_HAS_DEDUCED_START_MEMBER_TRAIT)

namespace asio {
namespace traits {

template <>
struct start_member<non_const_member_start>
{
  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
  typedef void result_type;
};

} // namespace traits
} // namespace asio

#endif // !defined(ASIO_HAS_DEDUCED_START_MEMBER_TRAIT)

struct free_start_non_const_receiver
{
  friend void start(free_start_non_const_receiver&) ASIO_NOEXCEPT
  {
    ++call_count;
  }
};

#if !defined(ASIO_HAS_DEDUCED_START_FREE_TRAIT)

namespace asio {
namespace traits {

template <>
struct start_free<free_start_non_const_receiver>
{
  ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
  ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
  typedef void result_type;
};

} // namespace traits
} // namespace asio

#endif // !defined(ASIO_HAS_DEDUCED_START_FREE_TRAIT)

void test_can_start()
{
  ASIO_CONSTEXPR bool b1 = exec::can_start<
      no_start&>::value;
  ASIO_CHECK(b1 == false);

  ASIO_CONSTEXPR bool b2 = exec::can_start<
      const no_start&>::value;
  ASIO_CHECK(b2 == false);

  ASIO_CONSTEXPR bool b3 = exec::can_start<
      const_member_start&>::value;
  ASIO_CHECK(b3 == true);

  ASIO_CONSTEXPR bool b4 = exec::can_start<
      const const_member_start&>::value;
  ASIO_CHECK(b4 == true);

  ASIO_CONSTEXPR bool b5 = exec::can_start<
      free_start_const_receiver&>::value;
  ASIO_CHECK(b5 == true);

  ASIO_CONSTEXPR bool b6 = exec::can_start<
      const free_start_const_receiver&>::value;
  ASIO_CHECK(b6 == true);

  ASIO_CONSTEXPR bool b7 = exec::can_start<
      non_const_member_start&>::value;
  ASIO_CHECK(b7 == true);

  ASIO_CONSTEXPR bool b8 = exec::can_start<
      const non_const_member_start&>::value;
  ASIO_CHECK(b8 == false);

  ASIO_CONSTEXPR bool b9 = exec::can_start<
      free_start_non_const_receiver&>::value;
  ASIO_CHECK(b9 == true);

  ASIO_CONSTEXPR bool b10 = exec::can_start<
      const free_start_non_const_receiver&>::value;
  ASIO_CHECK(b10 == false);
}

void increment(int* count)
{
  ++(*count);
}

void test_start()
{
  call_count = 0;
  const_member_start ex1 = {};
  exec::start(ex1);
  ASIO_CHECK(call_count == 1);

  call_count = 0;
  const const_member_start ex2 = {};
  exec::start(ex2);
  ASIO_CHECK(call_count == 1);

  call_count = 0;
  exec::start(const_member_start());
  ASIO_CHECK(call_count == 1);

  call_count = 0;
  free_start_const_receiver ex3 = {};
  exec::start(ex3);
  ASIO_CHECK(call_count == 1);

  call_count = 0;
  const free_start_const_receiver ex4 = {};
  exec::start(ex4);
  ASIO_CHECK(call_count == 1);

  call_count = 0;
  exec::start(free_start_const_receiver());
  ASIO_CHECK(call_count == 1);

  call_count = 0;
  non_const_member_start ex5 = {};
  exec::start(ex5);
  ASIO_CHECK(call_count == 1);

  call_count = 0;
  free_start_non_const_receiver ex6 = {};
  exec::start(ex6);
  ASIO_CHECK(call_count == 1);
}

ASIO_TEST_SUITE
(
  "start",
  ASIO_TEST_CASE(test_can_start)
  ASIO_TEST_CASE(test_start)
)

#else // !defined(ASIO_NO_DEPRECATED)

ASIO_TEST_SUITE
(
  "start",
  ASIO_TEST_CASE(null_test)
)

#endif // !defined(ASIO_NO_DEPRECATED)
