![]() |
Arene Base
Fundamental Utilities For Safety Critical C++
|
A class holding the result of a call to arrive, which can then be passed to wait to wait for the end of the completion step associated with the call to arrive.
More...
Public Member Functions | |
| arrival_token (arrival_token &&other) noexcept=default | |
| Default move constructor. | |
| arrival_token (arrival_token const &other)=delete | |
| not copyable | |
| arrival_token (private_construction_tag, std::uint64_t phase) noexcept | |
| Construct a new arrival token for the phase. | |
| ~arrival_token ()=default | |
| Default destructor. | |
| auto | get_phase () const noexcept -> std::uint64_t |
| Get the phase this token is associated with. | |
| auto | operator= (arrival_token &&other) noexcept -> arrival_token &=default |
| Default move assignment. | |
| auto | operator= (arrival_token const &other) -> arrival_token &=delete |
| not copyable | |
A class holding the result of a call to arrive, which can then be passed to wait to wait for the end of the completion step associated with the call to arrive.
|
inlinenoexcept |
Construct a new arrival token for the phase.
| phase | The phase number |
|
defaultnoexcept |
Default move constructor.
|
delete |
not copyable
|
default |
Default destructor.
|
inlinenoexcept |
Get the phase this token is associated with.
|
defaultnoexcept |
Default move assignment.
|
delete |
not copyable