Files
2025-10-25 03:02:53 +03:00

935 B
Raw Permalink Blame History

[exec.get.domain]

33 Execution control library [exec]

33.5 Queries [exec.queries]

33.5.5 execution::get_domain [exec.get.domain]

1

#

get_domain asks a queryable object for its associated execution domain tag.

2

#

The name get_domain denotes a query object.

For a subexpression env,get_domain(env) is expression-equivalent toMANDATE-NOTHROW(AS-CONST(env).query(get_domain)).

3

#

forwarding_query(execution::get_domain) is a core constant expression and has value true.