[ranges] Missed markings for exposition-only names.

Author: jensmaurer

source/ranges.tex

@@ -1605,7 +1605,7 @@
 \begin{itemize}
 \item If \exposid{StoreSize} is \tcode{true},
 \begin{codeblock}
-auto d = n - ranges::advance(begin_, n, @\exposid{end_}@);
+auto d = n - ranges::advance(@\exposid{begin_}@, n, @\exposid{end_}@);
 if (d >= 0)
   @\exposid{size_}@ -= @\placeholdernc{make-unsigned-like}@(d);
 else
@@ -1614,7 +1614,7 @@
 \end{codeblock}
 \item Otherwise,
 \begin{codeblock}
-ranges::advance(begin_, n, @\exposid{end_}@);
+ranges::advance(@\exposid{begin_}@, n, @\exposid{end_}@);
 return *this;
 \end{codeblock}
 \end{itemize}
@@ -1898,9 +1898,9 @@
     requires @\exposconcept{weakly-equality-comparable-with}@<W, Bound>
   class iota_view : public view_interface<iota_view<W, Bound>> {
   private:
-    // \ref{range.iota.iterator}, class \tcode{iota_view::iterator}
+    // \ref{range.iota.iterator}, class \tcode{iota_view::\exposid{iterator}}
     struct @\exposid{iterator}@;            // \expos
-    // \ref{range.iota.sentinel}, class \tcode{iota_view::sentinel}
+    // \ref{range.iota.sentinel}, class \tcode{iota_view::\exposid{sentinel}}
     struct @\exposid{sentinel}@;            // \expos
     W @\exposid{value_}@ = W();             // \expos
     Bound @\exposid{bound_}@ = Bound();     // \expos
@@ -2124,7 +2124,7 @@
 \end{codeblock}
 \end{itemdescr}
 
-\rSec3[range.iota.iterator]{Class \tcode{iota_view::iterator}}
+\rSec3[range.iota.iterator]{Class \tcode{iota_view::\exposid{iterator}}}
 
 \indexlibraryglobal{iota_view::iterator}%
 \begin{codeblock}
@@ -2495,7 +2495,7 @@
 \end{codeblock}
 \end{itemdescr}
 
-\rSec3[range.iota.sentinel]{Class \tcode{iota_view::sentinel}}
+\rSec3[range.iota.sentinel]{Class \tcode{iota_view::\exposid{sentinel}}}
 
 \indexlibraryglobal{iota_view::sentinel}%
 \begin{codeblock}
@@ -2661,7 +2661,7 @@
 Equivalent to: \tcode{return basic_istream_view<Val, CharT, Traits>\{s\};}
 \end{itemdescr}
 
-\rSec3[range.istream.iterator]{Class template \tcode{basic_istream_view::iterator}}
+\rSec3[range.istream.iterator]{Class template \tcode{basic_istream_view::\exposid{iterator}}}
 
 \indexlibraryglobal{basic_istream_view::iterator}%
 \begin{codeblock}
@@ -2720,7 +2720,7 @@
 \effects
 Equivalent to:
 \begin{codeblock}
-*@\exposid{parent_}@->stream >> @\exposid{parent_}@->@\exposid{object_}@;
+*@\exposid{parent_}@->@\exposid{stream_}@>> @\exposid{parent_}@->@\exposid{object_}@;
 return *this;
 \end{codeblock}
 \end{itemdescr}
@@ -3004,9 +3004,9 @@
     V @\exposid{base_}@ = V();                      // \expos
     @\placeholdernc{semiregular-box}@<Pred> @\exposid{pred_}@;  // \expos
 
-    // \ref{range.filter.iterator}, class \tcode{filter_view::iterator}
+    // \ref{range.filter.iterator}, class \tcode{filter_view::\exposid{iterator}}
     class @\exposid{iterator}@;                     // \expos
-    // \ref{range.filter.sentinel}, class \tcode{filter_view::sentinel}
+    // \ref{range.filter.sentinel}, class \tcode{filter_view::\exposid{sentinel}}
     class @\exposid{sentinel}@;                     // \expos
 
   public:
@@ -3082,7 +3082,7 @@
 \tcode{filter_view} for use on subsequent calls.
 \end{itemdescr}
 
-\rSec3[range.filter.iterator]{Class \tcode{filter_view::iterator}}
+\rSec3[range.filter.iterator]{Class \tcode{filter_view::\exposid{iterator}}}
 
 \indexlibrarymember{iterator}{filter_view}%
 \begin{codeblock}
@@ -3122,13 +3122,13 @@
       noexcept(noexcept(ranges::iter_move(i.@\exposid{current_}@)));
     friend constexpr void iter_swap(const @\exposid{iterator}@& x, const @\exposid{iterator}@& y)
       noexcept(noexcept(ranges::iter_swap(x.@\exposid{current_}@, y.@\exposid{current_}@)))
-      requires indirectly_swappable<@\exposid{iterator}@_t<V>>;
+      requires indirectly_swappable<iterator_t<V>>;
   };
 }
 \end{codeblock}
 
 \pnum
-Modification of the element a \tcode{filter_view::iterator} denotes is
+Modification of the element a \tcode{filter_view::\exposid{iterator}} denotes is
 permitted, but results in undefined behavior if the resulting value does not
 satisfy the filter predicate.
 
@@ -3332,7 +3332,7 @@
 Equivalent to \tcode{ranges::iter_swap(x.\exposid{current_}, y.\exposid{current_})}.
 \end{itemdescr}
 
-\rSec3[range.filter.sentinel]{Class \tcode{filter_view::sentinel}}
+\rSec3[range.filter.sentinel]{Class \tcode{filter_view::\exposid{sentinel}}}
 
 \indexlibrarymember{sentinel}{filter_view}%
 \begin{codeblock}
@@ -3360,7 +3360,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Initializes \exposid{end_} with \tcode{ranges::end(\exposid{parent_}.\exposid{base_})}.
+Initializes \exposid{end_} with \tcode{ranges::end(parent.\exposid{base_})}.
 \end{itemdescr}
 
 \indexlibrarymember{base}{filter_view::sentinel}%
@@ -3426,9 +3426,9 @@
              regular_invocable<F&, range_reference_t<V>>
   class transform_view : public view_interface<transform_view<V, F>> {
   private:
-    // \ref{range.transform.iterator}, class template \tcode{transform_view::iterator}
+    // \ref{range.transform.iterator}, class template \tcode{transform_view::\exposid{iterator}}
     template<bool> struct @\exposid{iterator}@;             // \expos
-    // \ref{range.transform.sentinel}, class template \tcode{transform_view::sentinel}
+    // \ref{range.transform.sentinel}, class template \tcode{transform_view::\exposid{sentinel}}
     template<bool> struct @\exposid{sentinel}@;             // \expos
 
     V @\exposid{base_}@ = V();                              // \expos
@@ -3584,7 +3584,7 @@
 \end{codeblock}
 \end{itemdescr}
 
-\rSec3[range.transform.iterator]{Class template \tcode{transform_view::iterator}}
+\rSec3[range.transform.iterator]{Class template \tcode{transform_view::\exposid{iterator}}}
 
 \indexlibraryglobal{transform_view::iterator}%
 \begin{codeblock}
@@ -3609,7 +3609,7 @@
 
     @\exposid{iterator}@() = default;
     constexpr @\exposid{iterator}@(@\exposid{Parent}@& parent, iterator_t<@\exposid{Base}@> current);
-    constexpr @\exposid{iterator}@(iterator<!Const> i)
+    constexpr @\exposid{iterator}@(@\exposid{iterator}@<!Const> i)
       requires Const && convertible_to<iterator_t<V>, iterator_t<@\exposid{Base}@>>;
 
     constexpr iterator_t<@\exposid{Base}@> base() const &
@@ -3975,7 +3975,7 @@
 \end{itemdescr}
 
 
-\rSec3[range.transform.sentinel]{Class template \tcode{transform_view::sentinel}}
+\rSec3[range.transform.sentinel]{Class template \tcode{transform_view::\exposid{sentinel}}}
 
 \indexlibraryglobal{transform_view::sentinel}%
 \begin{codeblock}
@@ -4122,7 +4122,7 @@
   private:
     V @\exposid{base_}@ = V();                                      // \expos
     range_difference_t<V> @\exposid{count_}@ = 0;                   // \expos
-    // \ref{range.take.sentinel}, class template \tcode{take_view::sentinel}
+    // \ref{range.take.sentinel}, class template \tcode{take_view::\exposid{sentinel}}
     template<bool> struct @\exposid{sentinel}@;                     // \expos
   public:
     take_view() = default;
@@ -4217,7 +4217,7 @@
 and \exposid{count_} with \tcode{count}.
 \end{itemdescr}
 
-\rSec3[range.take.sentinel]{Class template \tcode{take_view::sentinel}}
+\rSec3[range.take.sentinel]{Class template \tcode{take_view::\exposid{sentinel}}}
 
 \indexlibraryglobal{take_view::sentinel}%
 \begin{codeblock}
@@ -4227,7 +4227,7 @@
   class take_view<V>::@\exposid{sentinel}@ {
   private:
     using @\exposid{Base}@ = conditional_t<Const, const V, V>;      // \expos
-    using CI = counted_iterator<iterator_t<@\exposid{Base}@>>;      // \expos
+    using @\exposid{CI}@ = counted_iterator<iterator_t<@\exposid{Base}@>>;      // \expos
     sentinel_t<@\exposid{Base}@> @\exposid{end_}@ = sentinel_t<@\exposid{Base}@>();         // \expos
   public:
     @\exposid{sentinel}@() = default;
@@ -4237,7 +4237,7 @@
 
     constexpr sentinel_t<@\exposid{Base}@> base() const;
 
-    friend constexpr bool operator==(const CI& y, const @\exposid{sentinel}@& x);
+    friend constexpr bool operator==(const @\exposid{CI}@& y, const @\exposid{sentinel}@& x);
   };
 }
 \end{codeblock}
@@ -4278,7 +4278,7 @@
 
 \indexlibrarymember{operator==}{take_view::sentinel}%
 \begin{itemdecl}
-friend constexpr bool operator==(const CI& y, const @\exposid{sentinel}@& x);
+friend constexpr bool operator==(const @\exposid{CI}@& y, const @\exposid{sentinel}@& x);
 \end{itemdecl}
 
 \begin{itemdescr}
@@ -4388,7 +4388,7 @@
 Equivalent to: \tcode{return *\exposid{pred_};}
 \end{itemdescr}
 
-\rSec3[range.take.while.sentinel]{Class template \tcode{take_while_view::sentinel}}
+\rSec3[range.take.while.sentinel]{Class template \tcode{take_while_view::\exposid{sentinel}}}
 
 \indexlibraryglobal{take_while_view::sentinel}%
 \begin{codeblock}
@@ -4732,10 +4732,10 @@
   private:
     using @\exposid{InnerRng}@ =                    // \expos
       range_reference_t<V>;
-    // \ref{range.join.iterator}, class template \tcode{join_view::iterator}
+    // \ref{range.join.iterator}, class template \tcode{join_view::\exposid{iterator}}
     template<bool Const>
       struct @\exposid{iterator}@;                  // \expos
-    // \ref{range.join.sentinel}, class template \tcode{join_view::sentinel}
+    // \ref{range.join.sentinel}, class template \tcode{join_view::\exposid{sentinel}}
     template<bool Const>
       struct @\exposid{sentinel}@;                  // \expos
 
@@ -4815,7 +4815,7 @@
 Initializes \exposid{base_} with \tcode{views::all(std::forward<R>(r))}.
 \end{itemdescr}
 
-\rSec3[range.join.iterator]{Class template \tcode{join_view::iterator}}
+\rSec3[range.join.iterator]{Class template \tcode{join_view::\exposid{iterator}}}
 
 \indexlibraryglobal{join_view::iterator}%
 \begin{codeblock}
@@ -5120,7 +5120,7 @@
 Equivalent to: \tcode{return ranges::iter_swap(x.\exposid{inner_}, y.\exposid{inner_});}
 \end{itemdescr}
 
-\rSec3[range.join.sentinel]{Class template \tcode{join_view::sentinel}}
+\rSec3[range.join.sentinel]{Class template \tcode{join_view::\exposid{sentinel}}}
 
 \indexlibraryglobal{join_view::sentinel}%
 \begin{codeblock}
@@ -5168,7 +5168,8 @@
 Initializes \exposid{end_} with \tcode{std::move(s.\exposid{end_})}.
 \end{itemdescr}
 
-\indexlibrarymember{operator==}{join_view::sentinel}%
+\indexlibrarymember{operator==}{join_view::sentinel}%3431
+
 \begin{itemdecl}
 friend constexpr bool operator==(const @\exposid{iterator}@<Const>& x, const @\exposid{sentinel}@& y);
 \end{itemdecl}
@@ -5236,9 +5237,9 @@
     V @\exposid{base_}@ = V();                              // \expos
     Pattern @\exposid{pattern_}@ = Pattern();               // \expos
     iterator_t<V> @\exposid{current_}@ = iterator_t<V>();   // \expos, present only if \tcode{!forward_range<V>}
-    // \ref{range.split.outer}, class template \tcode{split_view::outer_iterator}
+    // \ref{range.split.outer}, class template \tcode{split_view::\exposid{outer-iterator}}
     template<bool> struct @\exposid{outer-iterator}@;       // \expos
-    // \ref{range.split.inner}, class template \tcode{split_view::inner_iterator}
+    // \ref{range.split.inner}, class template \tcode{split_view::\exposid{inner-iterator}}
     template<bool> struct @\exposid{inner-iterator}@;       // \expos
   public:
     split_view() = default;
@@ -5333,7 +5334,7 @@
 \exposid{pattern_} with \tcode{single_view\{\brk{}std::move(e)\}}.
 \end{itemdescr}
 
-\rSec3[range.split.outer]{Class template \tcode{split_view::outer_iterator}}
+\rSec3[range.split.outer]{Class template \tcode{split_view::\exposid{outer-iterator}}}
 
 \indexlibraryglobal{split_view::outer_iterator}%
 \begin{codeblock}
@@ -5354,7 +5355,7 @@
     using iterator_concept  =
       conditional_t<forward_range<@\exposid{Base}@>, forward_iterator_tag, input_iterator_tag>;
     using iterator_category = input_iterator_tag;
-    // \ref{range.split.outer.value}, class \tcode{split_view::outer_iterator::value_type}
+    // \ref{range.split.outer.value}, class \tcode{split_view::\exposid{outer-iterator}::value_type}
     struct value_type;
     using difference_type   = range_difference_t<@\exposid{Base}@>;
 
@@ -5388,9 +5389,9 @@
 
 \pnum
 Many of the following specifications refer to the notional member
-\exposid{current_} of \tcode{outer_iterator}.
+\exposid{current_} of \exposid{outer-iterator}.
 \exposid{current_} is equivalent to \exposid{current_} if \tcode{V}
-models \libconcept{forward_range}, and \tcode{\exposid{parent_}->current_} otherwise.
+models \libconcept{forward_range}, and \tcode{\exposid{parent_}->\exposid{current_}} otherwise.
 
 \indexlibraryctor{split_view::outer_iterator}%
 \begin{itemdecl}
@@ -5491,7 +5492,7 @@
 Equivalent to: \tcode{return x.\exposid{current_} == ranges::end(x.\exposid{parent_}->\exposid{base_});}
 \end{itemdescr}
 
-\rSec3[range.split.outer.value]{Class \tcode{split_view::outer_iterator::value_type}}
+\rSec3[range.split.outer.value]{Class \tcode{split_view::\exposid{outer-iterator}::value_type}}
 
 \indexlibraryglobal{split_view::outer_iterator::value_type}%
 \begin{codeblock}
@@ -5532,7 +5533,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{return inner_iterator<Const>\{i_\};}
+Equivalent to: \tcode{return \exposid{inner-iterator}<Const>\{\exposid{i_}\};}
 \end{itemdescr}
 
 \indexlibrarymember{begin}{split_view::outer_iterator::value_type}%
@@ -5543,7 +5544,7 @@
 \begin{itemdescr}
 \pnum
 \effects
-Equivalent to: \tcode{return inner_iterator<Const>\{std::move(i_)\};}
+Equivalent to: \tcode{return \exposid{inner-iterator}<Const>\{std::move(\exposid{i_})\};}
 \end{itemdescr}
 \indexlibrarymember{end}{split_view::outer_iterator::value_type}%
 \begin{itemdecl}
@@ -5556,7 +5557,7 @@
 Equivalent to: \tcode{return default_sentinel;}
 \end{itemdescr}
 
-\rSec3[range.split.inner]{Class template \tcode{split_view::inner_iterator}}
+\rSec3[range.split.inner]{Class template \tcode{split_view::\exposid{inner-iterator}}}
 
 \indexlibraryglobal{split_view::inner_iterator}%
 \begin{codeblock}
@@ -6178,7 +6179,7 @@
 Initializes \exposid{base_} with \tcode{std::move(base)}.
 \end{itemdescr}
 
-\rSec3[range.elements.iterator]{Class template \tcode{elements_view::iterator}}
+\rSec3[range.elements.iterator]{Class template \tcode{elements_view::\exposid{iterator}}}
 
 \indexlibraryglobal{elements_view::iterator}%
 \begin{codeblock}