[inout.ptr.t] Exposition-only style for s, a, and p

Author: frederick-vs-ja

source/memory.tex

@@ -5712,9 +5712,9 @@
     operator void**() const noexcept;
 
   private:
-    Smart& s;                   // \expos
-    tuple<Args...> a;           // \expos
-    Pointer p;                  // \expos
+    Smart& @\exposid{s}@;                   // \expos
+    tuple<Args...> @\exposid{a}@;           // \expos
+    Pointer @\exposid{p}@;                  // \expos
   };
 }
 \end{codeblock}
@@ -5745,17 +5745,17 @@
 \begin{itemdescr}
 \pnum
 \effects
-Initializes \tcode{s} with \tcode{smart},
-\tcode{a} with \tcode{std::forward<Args>(args)...}, and
-\tcode{p} to either
+Initializes \exposid{s} with \tcode{smart},
+\exposid{a} with \tcode{std::forward<Args>(args)...}, and
+\exposid{p} to either
 \begin{itemize}
 \item \tcode{smart} if \tcode{is_pointer_v<Smart>} is \tcode{true},
 \item otherwise, \tcode{smart.get()}.
 \end{itemize}
 
 \pnum
 \remarks
-An implementation can call \tcode{s.release()}.
+An implementation can call \tcode{\exposid{s}.release()}.
 
 \pnum
 \begin{note}
@@ -5777,8 +5777,8 @@
 \tcode{\exposid{POINTER_OF_OR}(Smart, Pointer)}\iref{memory.general}.
 
 \pnum
-Let \exposid{release-statement} be \tcode{s.release();}
-if an implementation does not call \tcode{s.release()} in the constructor.
+Let \exposid{release-statement} be \tcode{\exposid{s}.release();}
+if an implementation does not call \tcode{\exposid{s}.release()} in the constructor.
 Otherwise, it is empty.
 
 \pnum
@@ -5790,28 +5790,28 @@
 \mbox{}\vspace{-\baselineskip}\vspace{-\parskip}
 \begin{codeblock}
 apply([&](auto&&... args) {
-  s = Smart(static_cast<SP>(p), std::forward<Args>(args)...); }, std::move(a));
+  @\exposid{s}@ = Smart(static_cast<SP>(@\exposid{p}@), std::forward<Args>(args)...); }, std::move(@\exposid{a}@));
 \end{codeblock}
 if \tcode{is_pointer_v<Smart>} is \tcode{true};
 \item
 otherwise,
 \begin{codeblock}
 @\exposid{release-statement}@;
-if (p) {
+if (@\exposid{p}@) {
   apply([&](auto&&... args) {
-    s.reset(static_cast<SP>(p), std::forward<Args>(args)...); }, std::move(a));
+    @\exposid{s}@.reset(static_cast<SP>(@\exposid{p}@), std::forward<Args>(args)...); }, std::move(@\exposid{a}@));
 }
 \end{codeblock}
 if the expression
-\tcode{s.reset(static_cast<SP>(p), std::forward<Args>(args)...)}
+\tcode{\exposid{s}.reset(static_cast<SP>(\exposid{p}), std::forward<Args>(args)...)}
 is well-\newline formed;
 \item
 otherwise,
 \begin{codeblock}
 @\exposid{release-statement}@;
-if (p) {
+if (@\exposid{p}@) {
   apply([&](auto&&... args) {
-    s = Smart(static_cast<SP>(p), std::forward<Args>(args)...); }, std::move(a));
+    @\exposid{s}@ = Smart(static_cast<SP>(@\exposid{p}@), std::forward<Args>(args)...); }, std::move(@\exposid{a}@));
 }
 \end{codeblock}
 if \tcode{is_constructible_v<Smart, SP, Args...>} is \tcode{true};
@@ -5831,7 +5831,7 @@
 
 \pnum
 \returns
-\tcode{addressof(const_cast<Pointer\&>(p))}.
+\tcode{addressof(const_cast<Pointer\&>(\exposid{p}))}.
 \end{itemdescr}
 
 \begin{itemdecl}
@@ -5856,12 +5856,12 @@
 A pointer value \tcode{v} such that:
 \begin{itemize}
 \item
-the initial value \tcode{*v} is equivalent to \tcode{static_cast<void*>(p)} and
+the initial value \tcode{*v} is equivalent to \tcode{static_cast<void*>(\exposid{p})} and
 \item
 any modification of \tcode{*v}
 that is not followed by subsequent modification of \tcode{*this}
-affects the value of \tcode{p} during the destruction of \tcode{*this},
-such that \tcode{static_cast<void*>(p) == *v}.
+affects the value of \exposid{p} during the destruction of \tcode{*this},
+such that \tcode{static_cast<void*>(\exposid{p}) == *v}.
 \end{itemize}
 
 \pnum