tmp/tmpisuo2ad2/{from.md → to.md}
RENAMED
|
@@ -13,16 +13,16 @@ The *pending sequence* is defined as for `underflow()`, with the
|
|
| 13 |
modifications that
|
| 14 |
|
| 15 |
- If `traits::eq_int_type(c, traits::eof())` returns `true`, then the
|
| 16 |
input sequence is backed up one character before the pending sequence
|
| 17 |
is determined.
|
| 18 |
-
- If `traits::eq_int_type(c,traits::eof())` returns `false`, then `c`
|
| 19 |
-
prepended. Whether the input sequence is backed up or modified in
|
| 20 |
-
other way is unspecified.
|
| 21 |
|
| 22 |
-
On return, the constraints of `gptr()`, `eback()`, and
|
| 23 |
-
same as for `underflow()`.
|
| 24 |
|
| 25 |
*Returns:* `traits::eof()` to indicate failure. Failure may occur
|
| 26 |
because the input sequence could not be backed up, or if for some other
|
| 27 |
reason the pointers could not be set consistent with the constraints.
|
| 28 |
`pbackfail()` is called only when put back has really failed.
|
|
|
|
| 13 |
modifications that
|
| 14 |
|
| 15 |
- If `traits::eq_int_type(c, traits::eof())` returns `true`, then the
|
| 16 |
input sequence is backed up one character before the pending sequence
|
| 17 |
is determined.
|
| 18 |
+
- If `traits::eq_int_type(c, traits::eof())` returns `false`, then `c`
|
| 19 |
+
is prepended. Whether the input sequence is backed up or modified in
|
| 20 |
+
any other way is unspecified.
|
| 21 |
|
| 22 |
+
*Postconditions:* On return, the constraints of `gptr()`, `eback()`, and
|
| 23 |
+
`pptr()` are the same as for `underflow()`.
|
| 24 |
|
| 25 |
*Returns:* `traits::eof()` to indicate failure. Failure may occur
|
| 26 |
because the input sequence could not be backed up, or if for some other
|
| 27 |
reason the pointers could not be set consistent with the constraints.
|
| 28 |
`pbackfail()` is called only when put back has really failed.
|