[thread.jthread.class] Exposition-only style for ssource

Author: frederick-vs-ja

source/threads.tex

@@ -1981,7 +1981,7 @@
     static unsigned int hardware_concurrency() noexcept;
 
   private:
-    stop_source ssource;        // \expos
+    stop_source @\exposid{ssource}@;        // \expos
   };
 }
 \end{codeblock}
@@ -2002,7 +2002,7 @@
 \pnum
 \ensures
 \tcode{get_id() == id()} is \tcode{true}
-and \tcode{ssource.stop_possible()} is \tcode{false}.
+and \tcode{\exposid{ssource}.stop_possible()} is \tcode{false}.
 \end{itemdescr}
 
 \indexlibraryctor{jthread}%
@@ -2026,7 +2026,7 @@
 
 \pnum
 \effects
-Initializes \tcode{ssource}.
+Initializes \exposid{ssource}.
 The new thread of execution executes
 \begin{codeblock}
 invoke(auto(std::forward<F>(f)), get_stop_token(),  // for \tcode{invoke}, see \ref{func.invoke}
@@ -2055,7 +2055,7 @@
 \pnum
 \ensures
 \tcode{get_id() != id()} is \tcode{true}
-and \tcode{ssource.stop_possible()} is \tcode{true}
+and \tcode{\exposid{ssource}.stop_possible()} is \tcode{true}
 and \tcode{*this} represents the newly started thread.
 \begin{note}
 The calling thread can make a stop request only once,
@@ -2087,9 +2087,9 @@
 \tcode{x.get_id() == id()}
 and \tcode{get_id()} returns the value of \tcode{x.get_id()}
 prior to the start of construction.
-\tcode{ssource} has the value of \tcode{x.ssource}
+\exposid{ssource} has the value of \tcode{x.\exposid{ssource}}
 prior to the start of construction
-and \tcode{x.ssource.stop_possible()} is \tcode{false}.
+and \tcode{x.\exposid{ssource}.stop_possible()} is \tcode{false}.
 \end{itemdescr}
 
 \indexlibrarydtor{jthread}%
@@ -2125,7 +2125,7 @@
 \ensures
 \tcode{get_id()} returns the value of \tcode{x.get_id()}
 prior to the assignment.
-\tcode{ssource} has the value of \tcode{x.ssource}
+\exposid{ssource} has the value of \tcode{x.\exposid{ssource}}
 prior to the assignment.
 
 \pnum
@@ -2253,7 +2253,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{return ssource;}
+Equivalent to: \tcode{return \exposid{ssource};}
 \end{itemdescr}
 
 \indexlibrarymember{get_stop_token}{jthread}%
@@ -2264,7 +2264,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{return ssource.get_token();}
+Equivalent to: \tcode{return \exposid{ssource}.get_token();}
 \end{itemdescr}
 
 \indexlibrarymember{request_stop}{jthread}%
@@ -2275,7 +2275,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{return ssource.request_stop();}
+Equivalent to: \tcode{return \exposid{ssource}.request_stop();}
 \end{itemdescr}