tmp/tmpdfyjsii8/{from.md → to.md}
RENAMED
|
@@ -20,16 +20,16 @@ iostate rdstate() const;
|
|
| 20 |
|
| 21 |
``` cpp
|
| 22 |
void clear(iostate state = goodbit);
|
| 23 |
```
|
| 24 |
|
| 25 |
-
If `rdbuf()!=0` then `state == rdstate()`; otherwise
|
| 26 |
`rdstate() == (state | ios_base::badbit)`.
|
| 27 |
|
| 28 |
*Effects:* If
|
| 29 |
`((state | (rdbuf() ? goodbit : badbit)) & exceptions()) == 0`, returns.
|
| 30 |
-
Otherwise, the function throws an object
|
| 31 |
`basic_ios::failure` ([[ios::failure]]), constructed with
|
| 32 |
*implementation-defined* argument values.
|
| 33 |
|
| 34 |
``` cpp
|
| 35 |
void setstate(iostate state);
|
|
@@ -71,9 +71,9 @@ exceptions to be thrown.
|
|
| 71 |
|
| 72 |
``` cpp
|
| 73 |
void exceptions(iostate except);
|
| 74 |
```
|
| 75 |
|
| 76 |
-
`except == exceptions()`.
|
| 77 |
|
| 78 |
*Effects:* Calls `clear(rdstate())`.
|
| 79 |
|
|
|
|
| 20 |
|
| 21 |
``` cpp
|
| 22 |
void clear(iostate state = goodbit);
|
| 23 |
```
|
| 24 |
|
| 25 |
+
*Postconditions:* If `rdbuf() != 0` then `state == rdstate()`; otherwise
|
| 26 |
`rdstate() == (state | ios_base::badbit)`.
|
| 27 |
|
| 28 |
*Effects:* If
|
| 29 |
`((state | (rdbuf() ? goodbit : badbit)) & exceptions()) == 0`, returns.
|
| 30 |
+
Otherwise, the function throws an object of class
|
| 31 |
`basic_ios::failure` ([[ios::failure]]), constructed with
|
| 32 |
*implementation-defined* argument values.
|
| 33 |
|
| 34 |
``` cpp
|
| 35 |
void setstate(iostate state);
|
|
|
|
| 71 |
|
| 72 |
``` cpp
|
| 73 |
void exceptions(iostate except);
|
| 74 |
```
|
| 75 |
|
| 76 |
+
*Postconditions:* `except == exceptions()`.
|
| 77 |
|
| 78 |
*Effects:* Calls `clear(rdstate())`.
|
| 79 |
|