tmp/tmp5mwequvd/{from.md → to.md}
RENAMED
|
@@ -7,25 +7,27 @@ with an error.
|
|
| 7 |
filesystem_error(const string& what_arg, error_code ec);
|
| 8 |
```
|
| 9 |
|
| 10 |
*Ensures:*
|
| 11 |
|
| 12 |
-
- `code() == ec`,
|
| 13 |
-
- `path1().empty()
|
| 14 |
-
- `path2().empty()
|
| 15 |
-
- `string_view(what()).find(what_arg.c_str())` `!= string_view::npos`
|
|
|
|
| 16 |
|
| 17 |
``` cpp
|
| 18 |
filesystem_error(const string& what_arg, const path& p1, error_code ec);
|
| 19 |
```
|
| 20 |
|
| 21 |
*Ensures:*
|
| 22 |
|
| 23 |
-
- `code() == ec`,
|
| 24 |
- `path1()` returns a reference to the stored copy of `p1`,
|
| 25 |
-
- `path2().empty()
|
| 26 |
-
- `string_view(what()).find(what_arg.c_str())` `!= string_view::npos`
|
|
|
|
| 27 |
|
| 28 |
``` cpp
|
| 29 |
filesystem_error(const string& what_arg, const path& p1, const path& p2, error_code ec);
|
| 30 |
```
|
| 31 |
|
|
|
|
| 7 |
filesystem_error(const string& what_arg, error_code ec);
|
| 8 |
```
|
| 9 |
|
| 10 |
*Ensures:*
|
| 11 |
|
| 12 |
+
- `code() == ec` is `true`,
|
| 13 |
+
- `path1().empty()` is `true`,
|
| 14 |
+
- `path2().empty()` is `true`, and
|
| 15 |
+
- `string_view(what()).find(what_arg.c_str())` `!= string_view::npos` is
|
| 16 |
+
`true`.
|
| 17 |
|
| 18 |
``` cpp
|
| 19 |
filesystem_error(const string& what_arg, const path& p1, error_code ec);
|
| 20 |
```
|
| 21 |
|
| 22 |
*Ensures:*
|
| 23 |
|
| 24 |
+
- `code() == ec` is `true`,
|
| 25 |
- `path1()` returns a reference to the stored copy of `p1`,
|
| 26 |
+
- `path2().empty()` is `true`, and
|
| 27 |
+
- `string_view(what()).find(what_arg.c_str())` `!= string_view::npos` is
|
| 28 |
+
`true`.
|
| 29 |
|
| 30 |
``` cpp
|
| 31 |
filesystem_error(const string& what_arg, const path& p1, const path& p2, error_code ec);
|
| 32 |
```
|
| 33 |
|