[thread.latch.class] Exposition-only style for counter

Author: frederick-vs-ja

source/threads.tex

@@ -10723,7 +10723,7 @@
     void arrive_and_wait(ptrdiff_t update = 1);
 
   private:
-    ptrdiff_t counter;  // \expos
+    ptrdiff_t @\exposid{counter}@;  // \expos
   };
 }
 \end{codeblock}
@@ -10746,7 +10746,7 @@
 \begin{itemdescr}
 \pnum
 \returns
-The maximum value of \tcode{counter} that the implementation supports.
+The maximum value of \exposid{counter} that the implementation supports.
 \end{itemdescr}
 
 \indexlibraryctor{latch}%
@@ -10762,7 +10762,7 @@
 
 \pnum
 \effects
-Initializes \tcode{counter} with \tcode{expected}.
+Initializes \exposid{counter} with \tcode{expected}.
 
 \pnum
 \throws
@@ -10778,12 +10778,12 @@
 \pnum
 \expects
 \tcode{update >= 0} is \tcode{true}, and
-\tcode{update <= counter} is \tcode{true}.
+\tcode{update <= \exposid{counter}} is \tcode{true}.
 
 \pnum
 \effects
-Atomically decrements \tcode{counter} by \tcode{update}.
-If \tcode{counter} is equal to zero,
+Atomically decrements \exposid{counter} by \tcode{update}.
+If \exposid{counter} is equal to zero,
 unblocks all threads blocked on \tcode{*this}.
 
 \pnum
@@ -10808,7 +10808,7 @@
 \begin{itemdescr}
 \pnum
 \returns
-With very low probability \tcode{false}. Otherwise \tcode{counter == 0}.
+With very low probability \tcode{false}. Otherwise \tcode{\exposid{counter} == 0}.
 \end{itemdescr}
 
 \indexlibrarymember{wait}{latch}%
@@ -10820,9 +10820,9 @@
 \pnum
 \indextext{block (execution)}%
 \effects
-If \tcode{counter} equals zero, returns immediately.
+If \exposid{counter} equals zero, returns immediately.
 Otherwise, blocks on \tcode{*this}
-until a call to \tcode{count_down} that decrements \tcode{counter} to zero.
+until a call to \tcode{count_down} that decrements \exposid{counter} to zero.
 
 \pnum
 \throws