Skip to content

Commit b3786e8

Browse files
[thread.lock.scoped] Exposition-only style for pm
1 parent 59da206 commit b3786e8

File tree

1 file changed

+5
-5
lines changed

1 file changed

+5
-5
lines changed

source/threads.tex

Lines changed: 5 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -8277,7 +8277,7 @@
82778277
scoped_lock& operator=(const scoped_lock&) = delete;
82788278

82798279
private:
8280-
tuple<MutexTypes&...> pm; // \expos
8280+
tuple<MutexTypes&...> @\exposid{pm}@; // \expos
82818281
};
82828282
}
82838283
\end{codeblock}
@@ -8287,7 +8287,7 @@
82878287
within a scope. A \tcode{scoped_lock} object maintains ownership of lockable
82888288
objects throughout the \tcode{scoped_lock} object's lifetime\iref{basic.life}.
82898289
The behavior of a program is undefined if the lockable objects referenced by
8290-
\tcode{pm} do not exist for the entire lifetime of the \tcode{scoped_lock}
8290+
\exposid{pm} do not exist for the entire lifetime of the \tcode{scoped_lock}
82918291
object.
82928292
\begin{itemize}
82938293
\item
@@ -8311,7 +8311,7 @@
83118311
\begin{itemdescr}
83128312
\pnum
83138313
\effects
8314-
Initializes \tcode{pm} with \tcode{tie(m...)}.
8314+
Initializes \exposid{pm} with \tcode{tie(m...)}.
83158315
Then if \tcode{sizeof...(MutexTypes)} is \tcode{0}, no effects.
83168316
Otherwise if \tcode{sizeof...(MutexTypes)} is \tcode{1}, then \tcode{m.lock()}.
83178317
Otherwise, \tcode{lock(m...)}.
@@ -8329,7 +8329,7 @@
83298329

83308330
\pnum
83318331
\effects
8332-
Initializes \tcode{pm} with \tcode{tie(m...)}.
8332+
Initializes \exposid{pm} with \tcode{tie(m...)}.
83338333

83348334
\pnum
83358335
\throws
@@ -8345,7 +8345,7 @@
83458345
\pnum
83468346
\effects
83478347
For all \tcode{i} in \range{0}{sizeof...(MutexTypes)},
8348-
\tcode{get<i>(pm).unlock()}.
8348+
\tcode{get<i>(\exposid{pm}).unlock()}.
83498349
\end{itemdescr}
83508350

83518351
\rSec3[thread.lock.unique]{Class template \tcode{unique_lock}}

0 commit comments

Comments
 (0)