[thread.sema.cnt] Exposition-only style for counter

Author: frederick-vs-ja

source/threads.tex

@@ -10492,7 +10492,7 @@
       bool try_acquire_until(const chrono::time_point<Clock, Duration>& abs_time);
 
   private:
-    ptrdiff_t counter;          // \expos
+    ptrdiff_t @\exposid{counter}@;          // \expos
   };
 }
 \end{codeblock}
@@ -10522,7 +10522,7 @@
 \begin{itemdescr}
 \pnum
 \returns
-The maximum value of \tcode{counter}.
+The maximum value of \exposid{counter}.
 This value is greater than or equal to \tcode{least_max_value}.
 \end{itemdescr}
 
@@ -10539,7 +10539,7 @@
 
 \pnum
 \effects
-Initializes \tcode{counter} with \tcode{desired}.
+Initializes \exposid{counter} with \tcode{desired}.
 
 \pnum
 \throws
@@ -10555,13 +10555,13 @@
 \pnum
 \expects
 \tcode{update >= 0} is \tcode{true}, and
-\tcode{update <= max() - counter} is \tcode{true}.
+\tcode{update <= max() - \exposid{counter}} is \tcode{true}.
 
 \pnum
 \effects
-Atomically execute \tcode{counter += update}.
+Atomically execute \tcode{\exposid{counter} += update}.
 Then, unblocks any threads
-that are waiting for \tcode{counter} to be greater than zero.
+that are waiting for \exposid{counter} to be greater than zero.
 
 \pnum
 \sync
@@ -10586,11 +10586,11 @@
 \begin{itemdescr}
 \pnum
 \effects
-Attempts to atomically decrement \tcode{counter} if it is positive,
+Attempts to atomically decrement \exposid{counter} if it is positive,
 without blocking.
-If \tcode{counter} is not decremented, there is no effect and
+If \exposid{counter} is not decremented, there is no effect and
 \tcode{try_acquire} immediately returns.
-An implementation may fail to decrement \tcode{counter}
+An implementation may fail to decrement \exposid{counter}
 even if it is positive.
 \begin{note}
 This spurious failure is normally uncommon, but
@@ -10603,7 +10603,7 @@
 
 \pnum
 \returns
-\tcode{true} if \tcode{counter} was decremented, otherwise \tcode{false}.
+\tcode{true} if \exposid{counter} was decremented, otherwise \tcode{false}.
 \end{itemdescr}
 
 \indexlibrarymember{acquire}{counting_semaphore}%
@@ -10619,7 +10619,7 @@
 \item Evaluates \tcode{try_acquire()}. If the result is \tcode{true}, returns.
 \item
 \indextext{block (execution)}%
-Blocks on \tcode{*this} until \tcode{counter} is greater than zero.
+Blocks on \tcode{*this} until \exposid{counter} is greater than zero.
 \end{itemize}
 
 \pnum
@@ -10652,7 +10652,7 @@
 \item
   \indextext{block (execution)}%
   Blocks on \tcode{*this}
-  until \tcode{counter} is greater than zero or until the timeout expires.
+  until \exposid{counter} is greater than zero or until the timeout expires.
   If it is unblocked by the timeout expiring, returns \tcode{false}.
 \end{itemize}
 The timeout expires\iref{thread.req.timing}