From Jason Turner

[ostreambuf.iter.cons]

Diff to HTML by rtfpessoa

tmp/tmptg183e4f/{from.md → to.md} RENAMED
@@ -1,18 +1,18 @@
1
- #### `ostreambuf_iterator` constructors <a id="ostreambuf.iter.cons">[[ostreambuf.iter.cons]]</a>
2
 
3
  ``` cpp
4
  ostreambuf_iterator(ostream_type& s) noexcept;
5
  ```
6
 
7
- *Requires:* `s.rdbuf()` shall not be a null pointer.
8
 
9
  *Effects:* Initializes `sbuf_` with `s.rdbuf()`.
10
 
11
  ``` cpp
12
  ostreambuf_iterator(streambuf_type* s) noexcept;
13
  ```
14
 
15
- *Requires:* `s` shall not be a null pointer.
16
 
17
  *Effects:* Initializes `sbuf_` with `s`.
18
 
 
1
+ #### Constructors <a id="ostreambuf.iter.cons">[[ostreambuf.iter.cons]]</a>
2
 
3
  ``` cpp
4
  ostreambuf_iterator(ostream_type& s) noexcept;
5
  ```
6
 
7
+ *Preconditions:* `s.rdbuf()` is not a null pointer.
8
 
9
  *Effects:* Initializes `sbuf_` with `s.rdbuf()`.
10
 
11
  ``` cpp
12
  ostreambuf_iterator(streambuf_type* s) noexcept;
13
  ```
14
 
15
+ *Preconditions:* `s` is not a null pointer.
16
 
17
  *Effects:* Initializes `sbuf_` with `s`.
18