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

Author: frederick-vs-ja

source/threads.tex

@@ -10697,7 +10697,7 @@
     void arrive_and_wait(ptrdiff_t update = 1);
 
   private:
-    ptrdiff_t counter;  // \expos
+    ptrdiff_t @\exposid{counter}@;  // \expos
   };
 }
 \end{codeblock}
@@ -10720,7 +10720,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}%
@@ -10736,7 +10736,7 @@
 
 \pnum
 \effects
-Initializes \tcode{counter} with \tcode{expected}.
+Initializes \exposid{counter} with \tcode{expected}.
 
 \pnum
 \throws
@@ -10752,12 +10752,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
@@ -10782,7 +10782,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}%
@@ -10794,9 +10794,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