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

Author: frederick-vs-ja

source/threads.tex

@@ -1968,7 +1968,7 @@
     static unsigned int hardware_concurrency() noexcept;
 
   private:
-    stop_source ssource;        // \expos
+    stop_source @\exposid{ssource}@;        // \expos
   };
 }
 \end{codeblock}
@@ -1989,7 +1989,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}%
@@ -2013,7 +2013,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}
@@ -2042,7 +2042,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,
@@ -2074,9 +2074,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}%
@@ -2112,7 +2112,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
@@ -2240,7 +2240,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{return ssource;}
+Equivalent to: \tcode{return \exposid{ssource};}
 \end{itemdescr}
 
 \indexlibrarymember{get_stop_token}{jthread}%
@@ -2251,7 +2251,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}%
@@ -2262,7 +2262,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{return ssource.request_stop();}
+Equivalent to: \tcode{return \exposid{ssource}.request_stop();}
 \end{itemdescr}