From Jason Turner

[iostate.flags]

Diff to HTML by rtfpessoa

tmp/tmppv_a9w_l/{from.md → to.md} RENAMED
@@ -20,19 +20,19 @@ iostate rdstate() const;
20
 
21
  ``` cpp
22
  void clear(iostate state = goodbit);
23
  ```
24
 
25
- *Ensures:* 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 `ios_base::failure`
31
  [[ios.failure]], constructed with *implementation-defined* argument
32
  values.
33
 
 
 
 
34
  ``` cpp
35
  void setstate(iostate state);
36
  ```
37
 
38
  *Effects:* Calls `clear(rdstate() | state)` (which may throw
@@ -52,11 +52,11 @@ bool eof() const;
52
 
53
  ``` cpp
54
  bool fail() const;
55
  ```
56
 
57
- *Returns:* `true` if `failbit` or `badbit` is set in `rdstate()`.[^11]
58
 
59
  ``` cpp
60
  bool bad() const;
61
  ```
62
 
@@ -71,9 +71,9 @@ exceptions to be thrown.
71
 
72
  ``` cpp
73
  void exceptions(iostate except);
74
  ```
75
 
76
- *Ensures:* `except == exceptions()`.
77
-
78
  *Effects:* Calls `clear(rdstate())`.
79
 
 
 
 
20
 
21
  ``` cpp
22
  void clear(iostate state = goodbit);
23
  ```
24
 
 
 
 
25
  *Effects:* If
26
  `((state | (rdbuf() ? goodbit : badbit)) & exceptions()) == 0`, returns.
27
  Otherwise, the function throws an object of class `ios_base::failure`
28
  [[ios.failure]], constructed with *implementation-defined* argument
29
  values.
30
 
31
+ *Ensures:* If `rdbuf() != 0` then `state == rdstate()`; otherwise
32
+ `rdstate() == (state | ios_base::badbit)`.
33
+
34
  ``` cpp
35
  void setstate(iostate state);
36
  ```
37
 
38
  *Effects:* Calls `clear(rdstate() | state)` (which may throw
 
52
 
53
  ``` cpp
54
  bool fail() const;
55
  ```
56
 
57
+ *Returns:* `true` if `failbit` or `badbit` is set in `rdstate()`.[^10]
58
 
59
  ``` cpp
60
  bool bad() const;
61
  ```
62
 
 
71
 
72
  ``` cpp
73
  void exceptions(iostate except);
74
  ```
75
 
 
 
76
  *Effects:* Calls `clear(rdstate())`.
77
 
78
+ *Ensures:* `except == exceptions()`.
79
+