1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
[/
/ Copyright (c) 2003-2020 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)
/]
[section:ExecutionContext Execution context requirements]
A type `X` meets the `ExecutionContext` requirements if it is publicly and
unambiguously derived from `execution_context`, and satisfies the additional
requirements listed below.
In the table below, `x` denotes a value of type `X`.
[table ExecutionContext requirements
[[expression] [return type] [assertion/note[br]pre/post-condition]]
[
[`X::executor_type`]
[type meeting [link boost_asio.reference.Executor1 `Executor`] requirements]
[]
]
[
[`x.~X()`]
[]
[Destroys all unexecuted function objects that were submitted via an
executor object that is associated with the execution context.]
]
[
[`x.get_executor()`]
[`X::executor_type`]
[Returns an executor object that is associated with the execution context.]
]
]
[endsect]
|
