[thread.barrier.class] Exposition-only style for completion

Author: frederick-vs-ja

source/threads.tex

@@ -10872,7 +10872,7 @@
     void arrive_and_drop();
 
   private:
-    CompletionFunction completion;      // \expos
+    CompletionFunction @\exposid{completion}@;      // \expos
   };
 }
 \end{codeblock}
@@ -10909,7 +10909,7 @@
 The \defn{phase completion step}
 that is executed at the end of each phase has the following effects:
 \begin{itemize}
-\item Invokes the completion function, equivalent to \tcode{completion()}.
+\item Invokes the completion function, equivalent to \tcode{\exposid{completion}()}.
 \item Unblocks all threads that are blocked on the phase synchronization point.
 \end{itemize}
 The end of the completion step strongly happens before
@@ -10937,7 +10937,7 @@
 in addition to satisfying the requirements of \tcode{CompletionFunction},
 it meets the \oldconcept{DefaultConstructible}
 requirements (\tref{cpp17.defaultconstructible}) and
-\tcode{completion()} has no effects.
+\tcode{\exposid{completion}()} has no effects.
 
 \pnum
 \tcode{barrier::arrival_token} is an unspecified type,
@@ -10973,7 +10973,7 @@
 \effects
 Sets both the initial expected count for each barrier phase and
 the current expected count for the first phase to \tcode{expected}.
-Initializes \tcode{completion} with \tcode{std::move(f)}.
+Initializes \exposid{completion} with \tcode{std::move(f)}.
 Starts the first phase.
 \begin{note}
 If \tcode{expected} is 0 this object can only be destroyed.