33
Execution control library
[exec]
33.5
Queries
[exec.queries]
33.5.3
get_
stop_
token
[exec.get.stop.token]
1
#
get_
stop_
token
asks a queryable object for an associated stop token
.
2
#
The name
get_
stop_
token
denotes a query object
.
For a subexpression
env
,
get_
stop_
token
(
env
)
is expression-equivalent to:
(2.1)
MANDATE-NOTHROW
(
as_
const
(
env
)
.
query
(
get_
stop_
token
)
)
if that expression is well-formed
.
Mandates
: The type of the expression above satisfies
stoppable_
token
.
(2.2)
Otherwise,
never_
stop_
token
{
}
.
3
#
forwarding_
query
(
get_
stop_
token
)
is a core constant expression and has value
true
.