1[/
2 / Copyright (c) 2003-2021 Christopher M. Kohlhoff (chris at kohlhoff dot com)
3 /
4 / Distributed under the Boost Software License, Version 1.0. (See accompanying
5 / file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
6 /]
7
8[section:ExecutionContext Execution context requirements]
9
10A type `X` meets the `ExecutionContext` requirements if it is publicly and
11unambiguously derived from `execution_context`, and satisfies the additional
12requirements listed below.
13
14In the table below, `x` denotes a value of type `X`.
15
16[table ExecutionContext requirements
17  [[expression] [return type] [assertion/note[br]pre/post-condition]]
18  [
19    [`X::executor_type`]
20    [type meeting [link boost_asio.reference.Executor1 `Executor`] requirements]
21    []
22  ]
23  [
24    [`x.~X()`]
25    []
26    [Destroys all unexecuted function objects that were submitted via an
27     executor object that is associated with the execution context.]
28  ]
29  [
30    [`x.get_executor()`]
31    [`X::executor_type`]
32    [Returns an executor object that is associated with the execution context.]
33  ]
34]
35
36[endsect]
37