[lib] Avoid redundant \tcode{\exposid{...}} and add a check

Author: jensmaurer

source/containers.tex

@@ -18389,8 +18389,8 @@
 
 \pnum
 \effects
-Initializes \tcode{\exposid{data_}} with \tcode{to_address(first)} and
-\tcode{\exposid{size_}} with \tcode{count}.
+Initializes \exposid{data_} with \tcode{to_address(first)} and
+\exposid{size_} with \tcode{count}.
 
 \pnum
 \throws
@@ -18432,8 +18432,8 @@
 
 \pnum
 \effects
-Initializes \tcode{\exposid{data_}} with \tcode{to_address(first)} and
-\tcode{\exposid{size_}} with \tcode{last - first}.
+Initializes \exposid{data_} with \tcode{to_address(first)} and
+\exposid{size_} with \tcode{last - first}.
 
 \pnum
 \throws
@@ -18510,8 +18510,8 @@
 
 \pnum
 \effects
-Initializes \tcode{\exposid{data_}} with \tcode{ranges::data(r)} and
-\tcode{\exposid{size_}} with \tcode{ranges::size(r)}.
+Initializes \exposid{data_} with \tcode{ranges::data(r)} and
+\exposid{size_} with \tcode{ranges::size(r)}.
 
 \pnum
 \throws

source/locales.tex

@@ -4855,7 +4855,7 @@
 \begin{itemdescr}
 \pnum
 \returns
-\tcode{\exposid{mib_}}.
+\exposid{mib_}.
 \end{itemdescr}
 
 \indexlibrarymember{name}{text_encoding}%
@@ -4866,15 +4866,15 @@
 \begin{itemdescr}
 \pnum
 \returns
-\tcode{\exposid{name_}} if \tcode{(\exposid{name_}[0] != '\textbackslash 0')}
+\exposid{name_} if \tcode{(\exposid{name_}[0] != '\textbackslash 0')}
 is \tcode{true}, and
 \keyword{nullptr} otherwise.
 
 \pnum
 \remarks
 If \tcode{name() == nullptr} is \tcode{false},
 \tcode{name()} is an \ntbs{} and
-accessing elements of \tcode{\exposid{name_}}
+accessing elements of \exposid{name_}
 outside of the range \countedrange{name()}{strlen(name()) + 1}
 is undefined behavior.
 \end{itemdescr}

source/ranges.tex

@@ -13529,7 +13529,7 @@
     using @\exposid{Base}@ = @\exposid{maybe-const}@<Const, V>;                 // \expos
     iterator_t<@\exposid{Base}@> @\exposid{current_}@   = iterator_t<@\exposid{Base}@>();   // \expos
     iterator_t<@\exposid{Base}@> @\exposid{last_ele_}@  = iterator_t<@\exposid{Base}@>();   // \expos,
-                                               // present only if \tcode{\exposid{Base}} models \tcode{\exposconcept{slide-caches-first}}
+                                               // present only if \exposid{Base} models \tcode{\exposconcept{slide-caches-first}}
     range_difference_t<@\exposid{Base}@> @\exposid{n_}@ = 0;                    // \expos
 
     constexpr @\exposid{iterator}@(iterator_t<@\exposid{Base}@> current, range_difference_t<@\exposid{Base}@> n) // \expos

tools/check-source.sh

@@ -83,6 +83,10 @@ fgrep -n '\^' $texfiles |
 grep -n 'U+' $texfiles |
     fail 'use \\unicode or \\ucode or \\uname instead' || failed=1
 
+# Discourage double-wrapping \tcode{\exposid{data_}}
+grep -n '\\tcode{\\exposid{[a-zA-Z0-9_]*}}' $texfiles |
+    fail 'double-wrapped \\exposid in \\tcode' || failed=1
+
 # Hex digits inside \ucode and \unicode must be lowercase so that \textsc works
 grep -n 'ucode{[^}]*[^0-9a-f}][^}]*}' $texfiles |
     fail 'use lowercase hex digits inside \\ucode' || failed=1