summaryrefslogtreecommitdiffstatshomepage
path: root/3rdparty/asio/src/tests/unit/execution/schedule.cpp
diff options
context:
space:
mode:
author Vas Crabb <vas@vastheman.com>2021-11-15 04:15:13 +1100
committer Vas Crabb <vas@vastheman.com>2021-11-15 04:15:13 +1100
commit44ec6d2e0ee569202b75b73eea40972595866779 (patch)
treeb286443c264704198789514e0594dc24b3ca9f96 /3rdparty/asio/src/tests/unit/execution/schedule.cpp
parent137f254b918f1f1ebee43dfbed86793b0dae73eb (diff)
3rdparty: Updated ASIO to version 1.20.0.
The doc folder isn't included as it's pretty big. This required include/asio/detail/win_iocp_socket_accept_op.hpp due to mismatched order in the member declarations and initialiser list for the win_iocp_socket_accept_op class. I reversed the declaration order so it matches win_iocp_socket_move_accept_op.
Diffstat (limited to '3rdparty/asio/src/tests/unit/execution/schedule.cpp')
-rw-r--r--3rdparty/asio/src/tests/unit/execution/schedule.cpp490
1 files changed, 490 insertions, 0 deletions
diff --git a/3rdparty/asio/src/tests/unit/execution/schedule.cpp b/3rdparty/asio/src/tests/unit/execution/schedule.cpp
new file mode 100644
index 00000000000..a18b9520c2e
--- /dev/null
+++ b/3rdparty/asio/src/tests/unit/execution/schedule.cpp
@@ -0,0 +1,490 @@
+//
+// schedule.cpp
+// ~~~~~~~~~~~~
+//
+// Copyright (c) 2003-2021 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/schedule.hpp"
+
+#include "asio/error_code.hpp"
+#include "asio/execution/sender.hpp"
+#include "asio/execution/submit.hpp"
+#include "asio/traits/connect_member.hpp"
+#include "asio/traits/start_member.hpp"
+#include "asio/traits/submit_member.hpp"
+#include "../unit_test.hpp"
+
+namespace exec = asio::execution;
+
+struct operation_state
+{
+ void start() ASIO_NOEXCEPT
+ {
+ }
+};
+
+namespace asio {
+namespace traits {
+
+#if !defined(ASIO_HAS_DEDUCED_START_MEMBER_TRAIT)
+
+template <>
+struct start_member<operation_state>
+{
+ ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
+ ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+ typedef void result_type;
+};
+
+#endif // !defined(ASIO_HAS_DEDUCED_START_MEMBER_TRAIT)
+
+} // namespace traits
+} // namespace asio
+
+struct sender : exec::sender_base
+{
+ sender()
+ {
+ }
+
+ template <typename R>
+ operation_state connect(ASIO_MOVE_ARG(R) r) const
+ {
+ (void)r;
+ return operation_state();
+ }
+
+ template <typename R>
+ void submit(ASIO_MOVE_ARG(R) r) const
+ {
+ typename asio::decay<R>::type tmp(ASIO_MOVE_CAST(R)(r));
+ exec::set_value(tmp);
+ }
+};
+
+namespace asio {
+namespace traits {
+
+#if !defined(ASIO_HAS_DEDUCED_CONNECT_MEMBER_TRAIT)
+
+template <typename R>
+struct connect_member<const sender, R>
+{
+ ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
+ ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false);
+ typedef operation_state result_type;
+};
+
+#endif // !defined(ASIO_HAS_DEDUCED_CONNECT_MEMBER_TRAIT)
+
+#if !defined(ASIO_HAS_DEDUCED_SUBMIT_MEMBER_TRAIT)
+
+template <typename R>
+struct submit_member<const sender, R>
+{
+ ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
+ ASIO_STATIC_CONSTEXPR(bool, is_noexcept = false);
+ typedef void result_type;
+};
+
+#endif // !defined(ASIO_HAS_DEDUCED_SUBMIT_MEMBER_TRAIT)
+
+} // namespace traits
+} // namespace asio
+
+struct no_schedule
+{
+};
+
+struct const_member_schedule
+{
+ sender schedule() const ASIO_NOEXCEPT
+ {
+ return sender();
+ }
+};
+
+#if !defined(ASIO_HAS_DEDUCED_SCHEDULE_MEMBER_TRAIT)
+
+namespace asio {
+namespace traits {
+
+template <>
+struct schedule_member<const const_member_schedule>
+{
+ ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
+ ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+ typedef sender result_type;
+};
+
+} // namespace traits
+} // namespace asio
+
+#endif // !defined(ASIO_HAS_DEDUCED_SCHEDULE_MEMBER_TRAIT)
+
+struct free_schedule_const_receiver
+{
+ friend sender schedule(
+ const free_schedule_const_receiver&) ASIO_NOEXCEPT
+ {
+ return sender();
+ }
+};
+
+#if !defined(ASIO_HAS_DEDUCED_SCHEDULE_FREE_TRAIT)
+
+namespace asio {
+namespace traits {
+
+template <>
+struct schedule_free<const free_schedule_const_receiver>
+{
+ ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
+ ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+ typedef sender result_type;
+};
+
+} // namespace traits
+} // namespace asio
+
+#endif // !defined(ASIO_HAS_DEDUCED_SCHEDULE_FREE_TRAIT)
+
+struct non_const_member_schedule
+{
+ sender schedule() ASIO_NOEXCEPT
+ {
+ return sender();
+ }
+};
+
+#if !defined(ASIO_HAS_DEDUCED_SCHEDULE_MEMBER_TRAIT)
+
+namespace asio {
+namespace traits {
+
+template <>
+struct schedule_member<non_const_member_schedule>
+{
+ ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
+ ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+ typedef sender result_type;
+};
+
+} // namespace traits
+} // namespace asio
+
+#endif // !defined(ASIO_HAS_DEDUCED_SCHEDULE_MEMBER_TRAIT)
+
+struct free_schedule_non_const_receiver
+{
+ friend sender schedule(
+ free_schedule_non_const_receiver&) ASIO_NOEXCEPT
+ {
+ return sender();
+ }
+};
+
+#if !defined(ASIO_HAS_DEDUCED_SCHEDULE_FREE_TRAIT)
+
+namespace asio {
+namespace traits {
+
+template <>
+struct schedule_free<free_schedule_non_const_receiver>
+{
+ ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
+ ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+ typedef sender result_type;
+};
+
+} // namespace traits
+} // namespace asio
+
+#endif // !defined(ASIO_HAS_DEDUCED_SCHEDULE_FREE_TRAIT)
+
+struct executor
+{
+ executor()
+ {
+ }
+
+ executor(const executor&) ASIO_NOEXCEPT
+ {
+ }
+
+#if defined(ASIO_HAS_MOVE)
+ executor(executor&&) ASIO_NOEXCEPT
+ {
+ }
+#endif // defined(ASIO_HAS_MOVE)
+
+ template <typename F>
+ void execute(ASIO_MOVE_ARG(F) f) const ASIO_NOEXCEPT
+ {
+ typename asio::decay<F>::type tmp(ASIO_MOVE_CAST(F)(f));
+ tmp();
+ }
+
+ bool operator==(const executor&) const ASIO_NOEXCEPT
+ {
+ return true;
+ }
+
+ bool operator!=(const executor&) const ASIO_NOEXCEPT
+ {
+ return false;
+ }
+};
+
+namespace asio {
+namespace traits {
+
+#if !defined(ASIO_HAS_DEDUCED_EXECUTE_MEMBER_TRAIT)
+
+template <typename F>
+struct execute_member<executor, F>
+{
+ ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
+ ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+ typedef void result_type;
+};
+
+#endif // !defined(ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT)
+#if !defined(ASIO_HAS_DEDUCED_EQUALITY_COMPARABLE_TRAIT)
+
+template <>
+struct equality_comparable<executor>
+{
+ ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
+ ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+};
+
+#endif // !defined(ASIO_HAS_DEDUCED_EQUALITY_COMPARABLE_TRAIT)
+
+} // namespace traits
+} // namespace asio
+
+void test_can_schedule()
+{
+ ASIO_CONSTEXPR bool b1 = exec::can_schedule<
+ no_schedule&>::value;
+ ASIO_CHECK(b1 == false);
+
+ ASIO_CONSTEXPR bool b2 = exec::can_schedule<
+ const no_schedule&>::value;
+ ASIO_CHECK(b2 == false);
+
+ ASIO_CONSTEXPR bool b3 = exec::can_schedule<
+ const_member_schedule&>::value;
+ ASIO_CHECK(b3 == true);
+
+ ASIO_CONSTEXPR bool b4 = exec::can_schedule<
+ const const_member_schedule&>::value;
+ ASIO_CHECK(b4 == true);
+
+ ASIO_CONSTEXPR bool b5 = exec::can_schedule<
+ free_schedule_const_receiver&>::value;
+ ASIO_CHECK(b5 == true);
+
+ ASIO_CONSTEXPR bool b6 = exec::can_schedule<
+ const free_schedule_const_receiver&>::value;
+ ASIO_CHECK(b6 == true);
+
+ ASIO_CONSTEXPR bool b7 = exec::can_schedule<
+ non_const_member_schedule&>::value;
+ ASIO_CHECK(b7 == true);
+
+ ASIO_CONSTEXPR bool b8 = exec::can_schedule<
+ const non_const_member_schedule&>::value;
+ ASIO_CHECK(b8 == false);
+
+ ASIO_CONSTEXPR bool b9 = exec::can_schedule<
+ free_schedule_non_const_receiver&>::value;
+ ASIO_CHECK(b9 == true);
+
+ ASIO_CONSTEXPR bool b10 = exec::can_schedule<
+ const free_schedule_non_const_receiver&>::value;
+ ASIO_CHECK(b10 == false);
+
+ ASIO_CONSTEXPR bool b11 = exec::can_schedule<
+ executor&>::value;
+ ASIO_CHECK(b11 == true);
+
+ ASIO_CONSTEXPR bool b12 = exec::can_schedule<
+ const executor&>::value;
+ ASIO_CHECK(b12 == true);
+}
+
+struct receiver
+{
+ int* count_;
+
+ receiver(int* count)
+ : count_(count)
+ {
+ }
+
+ receiver(const receiver& other) ASIO_NOEXCEPT
+ : count_(other.count_)
+ {
+ }
+
+#if defined(ASIO_HAS_MOVE)
+ receiver(receiver&& other) ASIO_NOEXCEPT
+ : count_(other.count_)
+ {
+ other.count_ = 0;
+ }
+#endif // defined(ASIO_HAS_MOVE)
+
+ void set_value() ASIO_NOEXCEPT
+ {
+ ++(*count_);
+ }
+
+ template <typename E>
+ void set_error(ASIO_MOVE_ARG(E) e) ASIO_NOEXCEPT
+ {
+ (void)e;
+ }
+
+ void set_done() ASIO_NOEXCEPT
+ {
+ }
+};
+
+namespace asio {
+namespace traits {
+
+#if !defined(ASIO_HAS_DEDUCED_SET_VALUE_MEMBER_TRAIT)
+
+template <>
+struct set_value_member<receiver, void()>
+{
+ ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
+ ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+ typedef void result_type;
+};
+
+#endif // !defined(ASIO_HAS_DEDUCED_SET_VALUE_MEMBER_TRAIT)
+
+#if !defined(ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT)
+
+template <typename E>
+struct set_error_member<receiver, E>
+{
+ ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
+ ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+ typedef void result_type;
+};
+
+#endif // !defined(ASIO_HAS_DEDUCED_SET_ERROR_MEMBER_TRAIT)
+
+#if !defined(ASIO_HAS_DEDUCED_SET_DONE_MEMBER_TRAIT)
+
+template <>
+struct set_done_member<receiver>
+{
+ ASIO_STATIC_CONSTEXPR(bool, is_valid = true);
+ ASIO_STATIC_CONSTEXPR(bool, is_noexcept = true);
+ typedef void result_type;
+};
+
+#endif // !defined(ASIO_HAS_DEDUCED_SET_DONE_MEMBER_TRAIT)
+
+} // namespace traits
+} // namespace asio
+
+void test_schedule()
+{
+ int count = 0;
+ const_member_schedule ex1 = {};
+ exec::submit(
+ exec::schedule(ex1),
+ receiver(&count));
+ ASIO_CHECK(count == 1);
+
+ count = 0;
+ const const_member_schedule ex2 = {};
+ exec::submit(
+ exec::schedule(ex2),
+ receiver(&count));
+ ASIO_CHECK(count == 1);
+
+ count = 0;
+ exec::submit(
+ exec::schedule(const_member_schedule()),
+ receiver(&count));
+ ASIO_CHECK(count == 1);
+
+ count = 0;
+ free_schedule_const_receiver ex3 = {};
+ exec::submit(
+ exec::schedule(ex3),
+ receiver(&count));
+ ASIO_CHECK(count == 1);
+
+ count = 0;
+ const free_schedule_const_receiver ex4 = {};
+ exec::submit(
+ exec::schedule(ex4),
+ receiver(&count));
+ ASIO_CHECK(count == 1);
+
+ count = 0;
+ exec::submit(
+ exec::schedule(free_schedule_const_receiver()),
+ receiver(&count));
+ ASIO_CHECK(count == 1);
+
+ count = 0;
+ non_const_member_schedule ex5 = {};
+ exec::submit(
+ exec::schedule(ex5),
+ receiver(&count));
+ ASIO_CHECK(count == 1);
+
+ count = 0;
+ free_schedule_non_const_receiver ex6 = {};
+ exec::submit(
+ exec::schedule(ex6),
+ receiver(&count));
+ ASIO_CHECK(count == 1);
+
+ count = 0;
+ executor ex7;
+ exec::submit(
+ exec::schedule(ex7),
+ receiver(&count));
+ ASIO_CHECK(count == 1);
+
+ count = 0;
+ const executor ex8;
+ exec::submit(
+ exec::schedule(ex8),
+ receiver(&count));
+ ASIO_CHECK(count == 1);
+
+ count = 0;
+ exec::submit(
+ exec::schedule(executor()),
+ receiver(&count));
+ ASIO_CHECK(count == 1);
+}
+
+ASIO_TEST_SUITE
+(
+ "schedule",
+ ASIO_TEST_CASE(test_can_schedule)
+ ASIO_TEST_CASE(test_schedule)
+)