|
2194 | 2194 | \lhdr{Expression} & \chdr{Return type} & \chdr{Operational} & \rhdr{Assertion/note} \\
|
2195 | 2195 | & & \chdr{semantics} & \rhdr{pre-/post-condition} \\ \capsep
|
2196 | 2196 | \endhead
|
2197 |
| -\tcode{\dcr r} & |
| 2197 | +\tcode{--r} & |
2198 | 2198 | \tcode{X\&} &
|
2199 | 2199 | &
|
2200 | 2200 | \expects there exists \tcode{s} such that \tcode{r == ++s}.\br
|
2201 | 2201 | \ensures \tcode{r} is dereferenceable.\br
|
2202 |
| - \tcode{\dcr(++r) == r}.\br |
2203 |
| - \tcode{\dcr r == \dcr s} implies \tcode{r == s}.\br |
2204 |
| - \tcode{addressof(r) == addressof(\dcr r)}. \\ \hline |
| 2202 | + \tcode{--(++r) == r}.\br |
| 2203 | + \tcode{--r == --s} implies \tcode{r == s}.\br |
| 2204 | + \tcode{addressof(r) == addressof(--r)}. \\ \hline |
2205 | 2205 |
|
2206 |
| -\tcode{r\dcr} & |
| 2206 | +\tcode{r--} & |
2207 | 2207 | convertible to \tcode{const X\&} &
|
2208 | 2208 | \tcode{\{ X tmp = r;}\br
|
2209 |
| - \tcode{ \dcr r;}\br |
| 2209 | + \tcode{ --r;}\br |
2210 | 2210 | \tcode{ return tmp; \}}& \\ \rowsep
|
2211 | 2211 |
|
2212 |
| -\tcode{*r\dcr} & |
| 2212 | +\tcode{*r--} & |
2213 | 2213 | \tcode{reference} && \\
|
2214 | 2214 | \end{libreqtab4b}
|
2215 | 2215 |
|
|
2243 | 2243 | \tcode{X\&} &
|
2244 | 2244 | \tcode{\{ difference_type m = n;}\br
|
2245 | 2245 | \tcode{ if (m >= 0)}\br
|
2246 |
| - \tcode{ while (m\dcr)}\br |
| 2246 | + \tcode{ while (m--)}\br |
2247 | 2247 | \tcode{ ++r;}\br
|
2248 | 2248 | \tcode{ else}\br
|
2249 | 2249 | \tcode{ while (m++)}\br
|
2250 |
| - \tcode{ \dcr r;}\br |
| 2250 | + \tcode{ --r;}\br |
2251 | 2251 | \tcode{ return r; \}}& \\ \rowsep
|
2252 | 2252 |
|
2253 | 2253 | \tcode{a + n}\br
|
|
3329 | 3329 | \begin{itemdescr}
|
3330 | 3330 | \pnum
|
3331 | 3331 | \effects
|
3332 |
| -As if by: \tcode{\dcr current;} |
| 3332 | +As if by: \tcode{--current;} |
3333 | 3333 |
|
3334 | 3334 | \pnum
|
3335 | 3335 | \returns
|
|
3352 | 3352 | \end{codeblock}
|
3353 | 3353 | \end{itemdescr}
|
3354 | 3354 |
|
3355 |
| -\indexlibrarymember{operator\dcr}{reverse_iterator}% |
| 3355 | +\indexlibrarymember{operator--}{reverse_iterator}% |
3356 | 3356 | \begin{itemdecl}
|
3357 | 3357 | constexpr reverse_iterator& operator--();
|
3358 | 3358 | \end{itemdecl}
|
|
3367 | 3367 | \tcode{*this}.
|
3368 | 3368 | \end{itemdescr}
|
3369 | 3369 |
|
3370 |
| -\indexlibrarymember{operator\dcr}{reverse_iterator}% |
| 3370 | +\indexlibrarymember{operator--}{reverse_iterator}% |
3371 | 3371 | \begin{itemdecl}
|
3372 | 3372 | constexpr reverse_iterator operator--(int);
|
3373 | 3373 | \end{itemdecl}
|
|
4300 | 4300 | Otherwise, equivalent to \tcode{++current}.
|
4301 | 4301 | \end{itemdescr}
|
4302 | 4302 |
|
4303 |
| -\indexlibrarymember{operator\dcr}{move_iterator}% |
| 4303 | +\indexlibrarymember{operator--}{move_iterator}% |
4304 | 4304 | \begin{itemdecl}
|
4305 | 4305 | constexpr move_iterator& operator--();
|
4306 | 4306 | \end{itemdecl}
|
4307 | 4307 |
|
4308 | 4308 | \begin{itemdescr}
|
4309 | 4309 | \pnum
|
4310 | 4310 | \effects
|
4311 |
| -As if by \tcode{\dcr current}. |
| 4311 | +As if by \tcode{--current}. |
4312 | 4312 |
|
4313 | 4313 | \pnum
|
4314 | 4314 | \returns
|
4315 | 4315 | \tcode{*this}.
|
4316 | 4316 | \end{itemdescr}
|
4317 | 4317 |
|
4318 |
| -\indexlibrarymember{operator\dcr}{move_iterator}% |
| 4318 | +\indexlibrarymember{operator--}{move_iterator}% |
4319 | 4319 | \begin{itemdecl}
|
4320 | 4320 | constexpr move_iterator operator--(int);
|
4321 | 4321 | \end{itemdecl}
|
|
0 commit comments