tmp/tmp2m33omt_/{from.md → to.md}
RENAMED
|
@@ -6,11 +6,11 @@ basic_filebuf();
|
|
| 6 |
|
| 7 |
*Effects:* Constructs an object of class `basic_filebuf<charT, traits>`,
|
| 8 |
initializing the base class with
|
| 9 |
`basic_streambuf<charT, traits>()` ([[streambuf.cons]]).
|
| 10 |
|
| 11 |
-
`is_open() == false`.
|
| 12 |
|
| 13 |
``` cpp
|
| 14 |
basic_filebuf(basic_filebuf&& rhs);
|
| 15 |
```
|
| 16 |
|
|
|
|
| 6 |
|
| 7 |
*Effects:* Constructs an object of class `basic_filebuf<charT, traits>`,
|
| 8 |
initializing the base class with
|
| 9 |
`basic_streambuf<charT, traits>()` ([[streambuf.cons]]).
|
| 10 |
|
| 11 |
+
*Postconditions:* `is_open() == false`.
|
| 12 |
|
| 13 |
``` cpp
|
| 14 |
basic_filebuf(basic_filebuf&& rhs);
|
| 15 |
```
|
| 16 |
|