]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Annotate Lazy functions for 'requires' clauses. 16269/head
authorWolfgang Bangerth <bangerth@colostate.edu>
Wed, 15 Nov 2023 16:54:54 +0000 (09:54 -0700)
committerWolfgang Bangerth <bangerth@colostate.edu>
Wed, 15 Nov 2023 16:54:54 +0000 (09:54 -0700)
include/deal.II/base/lazy.h

index 2375e86813415f9ec477f3bec04d6c97ab2ae593..01653affbfb96eaaa1c132bddf0994ea0cc22129 100644 (file)
@@ -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<T, Callable>}
    */
   template <typename Callable>
   void
@@ -184,6 +186,8 @@ public:
    *
    * @post The underlying object is initialized, meaning, has_value()
    * returns true.
+   *
+   * @dealiiConceptRequires{std::is_invocable_r_v<T, Callable>}
    */
   template <typename Callable>
   const T &
@@ -193,6 +197,8 @@ public:
 
   /**
    * Variant of above function that returns a non-const reference.
+   *
+   * @dealiiConceptRequires{std::is_invocable_r_v<T, Callable>}
    */
   template <typename Callable>
   DEAL_II_ALWAYS_INLINE inline T &

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.