tmp/tmp_dkv_ytx/{from.md → to.md}
RENAMED
|
@@ -20,32 +20,32 @@ int_type overflow(int_type c = traits::eof());
|
|
| 20 |
|
| 21 |
*Effects:* Consumes some initial subsequence of the characters of the
|
| 22 |
*pending sequence*. The pending sequence is defined as the concatenation
|
| 23 |
of
|
| 24 |
|
| 25 |
-
- the empty sequence if `pbase()` is
|
| 26 |
`pptr() - pbase()` characters beginning at `pbase()`, followed by
|
| 27 |
- the empty sequence if `traits::eq_int_type(c, traits::eof())` returns
|
| 28 |
`true`, otherwise the sequence consisting of `c`.
|
| 29 |
|
| 30 |
*Remarks:* The member functions `sputc()` and `sputn()` call this
|
| 31 |
function in case that no room can be found in the put buffer enough to
|
| 32 |
accommodate the argument character sequence.
|
| 33 |
|
| 34 |
-
*
|
| 35 |
-
|
| 36 |
|
| 37 |
-
|
| 38 |
-
|
| 39 |
-
|
| 40 |
-
|
| 41 |
-
|
| 42 |
`pbase()` are the associated output stream. In case `r` is zero (all
|
| 43 |
characters of the pending sequence have been consumed) then either
|
| 44 |
-
|
| 45 |
-
|
| 46 |
-
|
| 47 |
associated output stream fails or if it is unable to establish
|
| 48 |
`pbase()` and `pptr()` according to the above rules.
|
| 49 |
|
| 50 |
*Returns:* `traits::eof()` or throws an exception if the function fails.
|
| 51 |
|
|
|
|
| 20 |
|
| 21 |
*Effects:* Consumes some initial subsequence of the characters of the
|
| 22 |
*pending sequence*. The pending sequence is defined as the concatenation
|
| 23 |
of
|
| 24 |
|
| 25 |
+
- the empty sequence if `pbase()` is null, otherwise the
|
| 26 |
`pptr() - pbase()` characters beginning at `pbase()`, followed by
|
| 27 |
- the empty sequence if `traits::eq_int_type(c, traits::eof())` returns
|
| 28 |
`true`, otherwise the sequence consisting of `c`.
|
| 29 |
|
| 30 |
*Remarks:* The member functions `sputc()` and `sputn()` call this
|
| 31 |
function in case that no room can be found in the put buffer enough to
|
| 32 |
accommodate the argument character sequence.
|
| 33 |
|
| 34 |
+
*Preconditions:* Every overriding definition of this virtual function
|
| 35 |
+
obeys the following constraints:
|
| 36 |
|
| 37 |
+
- The effect of consuming a character on the associated output sequence
|
| 38 |
+
is specified.[^16]
|
| 39 |
+
- Let `r` be the number of characters in the pending sequence not
|
| 40 |
+
consumed. If `r` is nonzero then `pbase()` and `pptr()` are set so
|
| 41 |
+
that: `pptr() - pbase() == r` and the `r` characters starting at
|
| 42 |
`pbase()` are the associated output stream. In case `r` is zero (all
|
| 43 |
characters of the pending sequence have been consumed) then either
|
| 44 |
+
`pbase()` is set to `nullptr`, or `pbase()` and `pptr()` are both set
|
| 45 |
+
to the same non-null value.
|
| 46 |
+
- The function may fail if either appending some character to the
|
| 47 |
associated output stream fails or if it is unable to establish
|
| 48 |
`pbase()` and `pptr()` according to the above rules.
|
| 49 |
|
| 50 |
*Returns:* `traits::eof()` or throws an exception if the function fails.
|
| 51 |
|