From: Wolfgang Bangerth Date: Wed, 15 Nov 2023 16:54:54 +0000 (-0700) Subject: Annotate Lazy functions for 'requires' clauses. X-Git-Tag: relicensing~294^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=de172ca3fe3e6fcc3d4ecc1b334127dc35104cf9;p=dealii.git Annotate Lazy functions for 'requires' clauses. --- diff --git a/include/deal.II/base/lazy.h b/include/deal.II/base/lazy.h index 2375e86813..01653affbf 100644 --- a/include/deal.II/base/lazy.h +++ b/include/deal.II/base/lazy.h @@ -135,6 +135,8 @@ public: * of the calling threads and that after completion the initialization * result (which is stored in the std::optional) is visible on all * threads. + * + * @dealiiConceptRequires{std::is_invocable_r_v} */ template void @@ -184,6 +186,8 @@ public: * * @post The underlying object is initialized, meaning, has_value() * returns true. + * + * @dealiiConceptRequires{std::is_invocable_r_v} */ template const T & @@ -193,6 +197,8 @@ public: /** * Variant of above function that returns a non-const reference. + * + * @dealiiConceptRequires{std::is_invocable_r_v} */ template DEAL_II_ALWAYS_INLINE inline T &