From Jason Turner

[fmtflags.state]

Diff to HTML by rtfpessoa

tmp/tmptra0cy8t/{from.md → to.md} RENAMED
@@ -8,11 +8,11 @@ fmtflags flags() const;
8
 
9
  ``` cpp
10
  fmtflags flags(fmtflags fmtfl);
11
  ```
12
 
13
- `fmtfl == flags()`.
14
 
15
  *Returns:* The previous value of `flags()`.
16
 
17
  ``` cpp
18
  fmtflags setf(fmtflags fmtfl);
@@ -44,11 +44,11 @@ streamsize precision() const;
44
 
45
  ``` cpp
46
  streamsize precision(streamsize prec);
47
  ```
48
 
49
- `prec == precision()`.
50
 
51
  *Returns:* The previous value of `precision()`.
52
 
53
  ``` cpp
54
  streamsize width() const;
@@ -59,9 +59,9 @@ certain output conversions.
59
 
60
  ``` cpp
61
  streamsize width(streamsize wide);
62
  ```
63
 
64
- `wide == width()`.
65
 
66
  *Returns:* The previous value of `width()`.
67
 
 
8
 
9
  ``` cpp
10
  fmtflags flags(fmtflags fmtfl);
11
  ```
12
 
13
+ *Postconditions:* `fmtfl == flags()`.
14
 
15
  *Returns:* The previous value of `flags()`.
16
 
17
  ``` cpp
18
  fmtflags setf(fmtflags fmtfl);
 
44
 
45
  ``` cpp
46
  streamsize precision(streamsize prec);
47
  ```
48
 
49
+ *Postconditions:* `prec == precision()`.
50
 
51
  *Returns:* The previous value of `precision()`.
52
 
53
  ``` cpp
54
  streamsize width() const;
 
59
 
60
  ``` cpp
61
  streamsize width(streamsize wide);
62
  ```
63
 
64
+ *Postconditions:* `wide == width()`.
65
 
66
  *Returns:* The previous value of `width()`.
67