|
2175 | 2175 | \lhdr{Expression} & \chdr{Return type} & \chdr{Operational} & \rhdr{Assertion/note} \\
|
2176 | 2176 | & & \chdr{semantics} & \rhdr{pre-/post-condition} \\ \capsep
|
2177 | 2177 |
|
2178 |
| -\tcode{\dcr r} & |
| 2178 | +\tcode{--r} & |
2179 | 2179 | \tcode{X\&} &
|
2180 | 2180 | &
|
2181 | 2181 | \expects there exists \tcode{s} such that \tcode{r == ++s}.\br
|
2182 | 2182 | \ensures \tcode{r} is dereferenceable.\br
|
2183 |
| - \tcode{\dcr(++r) == r}.\br |
2184 |
| - \tcode{\dcr r == \dcr s} implies \tcode{r == s}.\br |
2185 |
| - \tcode{addressof(r) == addressof(\dcr r)}. \\ \hline |
| 2183 | + \tcode{--(++r) == r}.\br |
| 2184 | + \tcode{--r == --s} implies \tcode{r == s}.\br |
| 2185 | + \tcode{addressof(r) == addressof(--r)}. \\ \hline |
2186 | 2186 |
|
2187 |
| -\tcode{r\dcr} & |
| 2187 | +\tcode{r--} & |
2188 | 2188 | convertible to \tcode{const X\&} &
|
2189 | 2189 | \tcode{\{ X tmp = r;}\br
|
2190 |
| - \tcode{ \dcr r;}\br |
| 2190 | + \tcode{ --r;}\br |
2191 | 2191 | \tcode{ return tmp; \}}& \\ \rowsep
|
2192 | 2192 |
|
2193 |
| -\tcode{*r\dcr} & |
| 2193 | +\tcode{*r--} & |
2194 | 2194 | \tcode{reference} && \\
|
2195 | 2195 | \end{libreqtab4b}
|
2196 | 2196 |
|
|
2224 | 2224 | \tcode{X\&} &
|
2225 | 2225 | \tcode{\{ difference_type m = n;}\br
|
2226 | 2226 | \tcode{ if (m >= 0)}\br
|
2227 |
| - \tcode{ while (m\dcr)}\br |
| 2227 | + \tcode{ while (m--)}\br |
2228 | 2228 | \tcode{ ++r;}\br
|
2229 | 2229 | \tcode{ else}\br
|
2230 | 2230 | \tcode{ while (m++)}\br
|
2231 |
| - \tcode{ \dcr r;}\br |
| 2231 | + \tcode{ --r;}\br |
2232 | 2232 | \tcode{ return r; \}}& \\ \rowsep
|
2233 | 2233 |
|
2234 | 2234 | \tcode{a + n}\br
|
|
3316 | 3316 | \begin{itemdescr}
|
3317 | 3317 | \pnum
|
3318 | 3318 | \effects
|
3319 |
| -As if by: \tcode{\dcr current;} |
| 3319 | +As if by: \tcode{--current;} |
3320 | 3320 |
|
3321 | 3321 | \pnum
|
3322 | 3322 | \returns
|
|
3339 | 3339 | \end{codeblock}
|
3340 | 3340 | \end{itemdescr}
|
3341 | 3341 |
|
3342 |
| -\indexlibrarymember{operator\dcr}{reverse_iterator}% |
| 3342 | +\indexlibrarymember{operator--}{reverse_iterator}% |
3343 | 3343 | \begin{itemdecl}
|
3344 | 3344 | constexpr reverse_iterator& operator--();
|
3345 | 3345 | \end{itemdecl}
|
|
3354 | 3354 | \tcode{*this}.
|
3355 | 3355 | \end{itemdescr}
|
3356 | 3356 |
|
3357 |
| -\indexlibrarymember{operator\dcr}{reverse_iterator}% |
| 3357 | +\indexlibrarymember{operator--}{reverse_iterator}% |
3358 | 3358 | \begin{itemdecl}
|
3359 | 3359 | constexpr reverse_iterator operator--(int);
|
3360 | 3360 | \end{itemdecl}
|
|
4291 | 4291 | Otherwise, equivalent to \tcode{++current}.
|
4292 | 4292 | \end{itemdescr}
|
4293 | 4293 |
|
4294 |
| -\indexlibrarymember{operator\dcr}{move_iterator}% |
| 4294 | +\indexlibrarymember{operator--}{move_iterator}% |
4295 | 4295 | \begin{itemdecl}
|
4296 | 4296 | constexpr move_iterator& operator--();
|
4297 | 4297 | \end{itemdecl}
|
4298 | 4298 |
|
4299 | 4299 | \begin{itemdescr}
|
4300 | 4300 | \pnum
|
4301 | 4301 | \effects
|
4302 |
| -As if by \tcode{\dcr current}. |
| 4302 | +As if by \tcode{--current}. |
4303 | 4303 |
|
4304 | 4304 | \pnum
|
4305 | 4305 | \returns
|
4306 | 4306 | \tcode{*this}.
|
4307 | 4307 | \end{itemdescr}
|
4308 | 4308 |
|
4309 |
| -\indexlibrarymember{operator\dcr}{move_iterator}% |
| 4309 | +\indexlibrarymember{operator--}{move_iterator}% |
4310 | 4310 | \begin{itemdecl}
|
4311 | 4311 | constexpr move_iterator operator--(int);
|
4312 | 4312 | \end{itemdecl}
|
|
0 commit comments