#
execution
::
get_
env
is a customization point object
.
For a subexpression
o
,
execution
::
get_
env
(
o
)
is expression-equivalent to:
(1.1)
MANDATE-NOTHROW
(
AS-CONST
(
o
)
.
get_
env
(
)
if that expression is well-formed
.
Mandates
: The type of the expression above satisfies
queryable
(
[exec.
queryable]
)
.
(1.2)
Otherwise,
env
<
>
{
}
.
2
#
[
Note
1
:
When passed a sender object,
get_
env
returns the sender's associated attributes
.
When passed a receiver,
get_
env
returns the receiver's associated execution environment
.
—
end note
]